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.
@article{MSH_1991__116__57_0, author = {Malinowski, Grzegorz}, title = {Sur les principes s\'emantiques de {Frege} et sur une d\'efinition non-freg\'eenne de la notion d'identit\'e propositionnelle}, journal = {Math\'ematiques informatique et sciences humaines}, pages = {57--62}, publisher = {Ecole des hautes-\'etudes en sciences sociales}, volume = {116}, year = {1991}, mrnumber = {1167763}, zbl = {0794.03009}, language = {fr}, url = {http://archive.numdam.org/item/MSH_1991__116__57_0/} }
TY - JOUR AU - Malinowski, Grzegorz TI - Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle JO - Mathématiques informatique et sciences humaines PY - 1991 SP - 57 EP - 62 VL - 116 PB - Ecole des hautes-études en sciences sociales UR - http://archive.numdam.org/item/MSH_1991__116__57_0/ LA - fr ID - MSH_1991__116__57_0 ER -
%0 Journal Article %A Malinowski, Grzegorz %T Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle %J Mathématiques informatique et sciences humaines %D 1991 %P 57-62 %V 116 %I Ecole des hautes-études en sciences sociales %U http://archive.numdam.org/item/MSH_1991__116__57_0/ %G fr %F MSH_1991__116__57_0
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 informatique et sciences humaines, Tome 116 (1991), pp. 57-62. http://archive.numdam.org/item/MSH_1991__116__57_0/
[1] A completeness theorem for "Theories of kind W", Studia Logica, XXVII (1971), pp. 43-55. | MR | Zbl
,[2] Über sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, 1982, pp. 25-50.
,[3] O logice trójwartósciowej, Ruch filozoficzny, V (1920), pp.170-171.
,[4] Classical characterization of n-valued Lukasiewicz calculi, Reports on Mathematical Logic, 9 (1977), pp. 41-45. | MR | Zbl
,[5] Abolition of the Fregean Axiom, Lecture Notes in Mathematics, Vol. 453, pp. 169-239. | MR | Zbl
,[6] Formalna teoria wartości logicznych, Studia Logica, VI (1957), pp. 145-230. | MR | Zbl
,[7] Identity connective and modality, Studia Logica, XXVII (1971), pp. 7-39. | MR | Zbl
,[8] Ontology in the Tractatus of L. Wittgenstein, Notre-Dame Journal of Formal Logic, 9 (1968), pp. 7-33. | MR | Zbl
,[9] Remarks on Łukasiewicz's three-valued logic, Bulletin of the Section of Logic, Vol. 4 (1975), pp. 87-90. | Zbl
,[10] Tractatus Logico-Philosophicus, Annalen der Naturphilosophie, 1922. | JFM
,