Arhive pe categorii: logica

Dan Bragagiu – O defensivă naturalistă a statutului ontologic al categoriilor

Trecem, în a treia zi a Conferinței Naționale Online de Filosofie Teoretică pentru Studenți, la probleme ontologice. Punctul de pornire al prezentării de astăzi este următorul:

O poziție ce prevede angajarea ontologică față de categorii, fie acestea obiecte materiale, relații, proprietăți, clase sau entități matematice, poartă numele de realism platonic. Realiștii de acest gen asumă existența obiectivă a unor entități abstracte ca roșeața (proprietatea unui obiect de a fi roșu) sau relațiile dintre obiecte (e.g. fraternitatea – relația dintre doi particulari de a fi frați). Poziția naturalistă (care este obiectul lucrării de față) se opune unei astfel de perspective asupra categoriilor prin evitarea utilizării unui limbaj metafizic ce ne constrânge să ajungem la astfel de angajamente ontologice.

Textul prezentării poate fi descărcat de aici:
Dan Bragagiu – O defensivă naturalistă a statutului ontologic al categoriilor

Pe parcursul zilei de astăzi Dan Bragagiu va răspunde la întrebări și comentarii.

Reclame

5 comentarii

Din categoria filosofia limbajului, logica, logica filosofica, ontologie

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

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

Comentarii închise la Alexandru Dragomir – „At world u, Quine is a distinguished philosopher”

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