Arhive pe categorii: logica

Larisa Gogianu – Eliminarea semnului identităţii din logica de ordinul întâi

În lucrarea de față susțin o variantă wittgensteineană de eliminativism cu privire la semnul pentru identitate. Ideea lui Wittgentein din Tractatus presupune că adevărurile logice pot fi reformulate fără utilizarea unui semn special pentru identitate atât timp cât avem în vedere o regulă semantică prin care putem restrânge domeniul variabilelor în funcție de locul acestora într-o formulă. Astfel, se arată că semnul pentru identitate nu este indispensabil scrierii conceptuale. Voi apăra această propunere în fața obiecțiilor formulate de Russell, Quine și Carnap și voi arăta, prin prisma sistematizărilor oferite de Hintikka și Kai Wehmeier, că puterea de expresie a limbajului Lw este la fel de mare ca cea a logicii de ordinul întâi cu identitate. De asemenea, voi discuta câteva condiții de bună funcționare a regulilor pentru introducerea și eliminarea cuantorilor pentru deducția naturală în Lw.

L. Gogianu – Eliminarea semnului identitatii din logica de ordinul intai

Anunțuri

Un comentariu

Din categoria logica, logica filosofica

Alexandru Dragomir – „At world u, Quine is a distinguished philosopher”

Let M = (W;R;π) be a Kripke model. Suppose φ denotes the sentence: Quine is a distinguished philosopher, and φ is true at u from W. A question of Adrian Miroiu is: how can we decide at world w from W the truth of At world u, Quine is a distinguished philosopher? A. Miroiu creates a modal logic to represent and reason with world indexed sentences. I will argue that using the Public Announcement Logic language we can express the sentence At u, Quine is a distinguished philosopher and
using its logical apparatus we can decide its truth value.

Alexandru Dragomir – At world u Quine is a distinguished philosopher

Scrie un comentariu

Din categoria logica

Alexandru Dragomir – Modele minimale si bisimulare in logica modala

Voi de fini conceptele de model-Kripke, bisimulare, voi enunta cateva proprietati ale acestora si voi arata constructia unui model-Kripke minimal ca model minimal modulo o relatie de bisimulare sau factorizat la o relatie de bisimulare (mai exact, cea mai mare relatie de bisimulare pe model). Evident, modelul minimal contine cel mult numarul de stari ale modelului de baza. In acest fel, sunt eliminate starile superflue modelului. Modelul minimal poate util in logica (dinamica) epistemica: intuitia este ca acesta conserva cunoasterea unui agent eliminand posibilitatile (credintele, banuielile etc.) redundante (sau care nu afecteaza cunoasterea acestuia). In fi ne, imi ramane de explorat in amanunt utilitatea acestora.

Alexandru Dragomir – Modele minimale si bisimulare in logica modala

2 comentarii

Din categoria logica