Malinowski, Grzegorz
Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
Mathématiques et Sciences humaines, Tome 116 (1991) , p. 57-62
Zbl 0794.03009 | MR 1167763
URL stable : http://www.numdam.org/item?id=MSH_1991__116__57_0

Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
A non-fregean realization of the semantic programme of G. Frege elaborated by R. Suszko is one of the most interesting recent logical constructions. The aim of the paper is to present formal and philosophical aspects of the sentential calculus with identity, SCI, constituting the base of that realization.

Bibliographie

[1] Bloom Stephen L., A completeness theorem for "Theories of kind W", Studia Logica, XXVII (1971), pp. 43-55. MR 297541 | Zbl 0249.02014

[2] Frege G., Über sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, 1982, pp. 25-50.

[3] Lukasiewicz J., O logice trójwartósciowej, Ruch filozoficzny, V (1920), pp.170-171.

[4] Malinowski G., Classical characterization of n-valued Lukasiewicz calculi, Reports on Mathematical Logic, 9 (1977), pp. 41-45. MR 535757 | Zbl 0392.03020

[5] Suszko R., Abolition of the Fregean Axiom, Lecture Notes in Mathematics, Vol. 453, pp. 169-239. MR 453498 | Zbl 0308.02026

[6] Suszko R., Formalna teoria wartości logicznych, Studia Logica, VI (1957), pp. 145-230. MR 102477 | Zbl 0173.00402

[7] Suszko R., Identity connective and modality, Studia Logica, XXVII (1971), pp. 7-39. MR 297540 | Zbl 0263.02015

[8] Suszko R., Ontology in the Tractatus of L. Wittgenstein, Notre-Dame Journal of Formal Logic, 9 (1968), pp. 7-33. MR 238685 | Zbl 0198.32001

[9] Suszko R., Remarks on Łukasiewicz's three-valued logic, Bulletin of the Section of Logic, Vol. 4 (1975), pp. 87-90. Zbl 0962.03503

[10] Wittgenstein L., Tractatus Logico-Philosophicus, Annalen der Naturphilosophie, 1922.