Arhive pe etichete: Hintikka

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

Reclame

Un comentariu

Din categoria logica, logica filosofica