|
Part I Twardowski's School: The Period of Crystallization of LWS |
|
|
|
Introduction. The School: Its Genesis, Development and Significance |
|
|
3 | (1) |
|
Urszula Wybraniec-Skardowska |
|
|
1 A Short History and Influence of the School |
|
|
4 | (9) |
|
2 On the Structure and Contents of the Anthology |
|
|
13 | (2) |
|
|
|
13 | (2) |
|
Kazimierz Twardowski: A Great Teacher of Great Philosophers |
|
|
15 | (18) |
|
|
|
|
|
15 | (1) |
|
|
|
16 | (1) |
|
|
|
17 | (1) |
|
|
|
17 | (13) |
|
|
|
30 | (1) |
|
|
|
31 | (2) |
|
Kazimierz Twardowski's Works Mentioned in the Paper |
|
|
32 | (1) |
|
Jan Lukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History |
|
|
33 | (14) |
|
|
|
|
|
33 | (1) |
|
|
|
34 | (1) |
|
|
|
35 | (1) |
|
|
|
35 | (2) |
|
|
|
37 | (5) |
|
|
|
42 | (2) |
|
|
|
44 | (3) |
|
Jan Lukasiewicz's Works Mentioned in the Paper |
|
|
45 | (2) |
|
Kazimierz Ajdukiewicz: The Cognitive Role of Language |
|
|
47 | (18) |
|
|
|
|
|
47 | (1) |
|
|
|
48 | (1) |
|
|
|
48 | (12) |
|
4 Disciples and Continuators |
|
|
60 | (5) |
|
|
|
60 | (5) |
|
On Ajdukiewicz's Project of the Semantic Theory of Knowledge |
|
|
65 | (26) |
|
|
|
|
|
66 | (4) |
|
2 Presentation of the Meta-Epistemological Project of the Semantic Theory of Knowledge and Analysis Thereof |
|
|
70 | (17) |
|
|
|
87 | (4) |
|
|
|
88 | (3) |
|
Categorial Grammars and Their Logics |
|
|
91 | (26) |
|
|
|
|
|
91 | (2) |
|
2 Basic Categorial Grammars |
|
|
93 | (5) |
|
|
|
98 | (19) |
|
|
|
112 | (5) |
|
Material Implication and Conversational Implicature in Lvov-Warsaw School |
|
|
117 | (16) |
|
|
|
Michal Tomasz Godziszewski |
|
|
1 Ajdukiewicz's Equivalence Argument |
|
|
117 | (1) |
|
|
|
118 | (1) |
|
3 Ajdukiewicz on Disjunction |
|
|
119 | (2) |
|
4 Ajdukiewicz vs. Quine on Assertibility |
|
|
121 | (2) |
|
|
|
123 | (1) |
|
6 Ajdukiewicz on the Diagnostics of Improper Use |
|
|
124 | (1) |
|
7 Generalization, Weakening, Moore's Paradox |
|
|
125 | (1) |
|
8 Apparent Connection Between Disjuncts |
|
|
125 | (2) |
|
9 Ajdukiewicz's Diagnostics and Grice's Cancellability |
|
|
127 | (3) |
|
10 Golab on Indicative Conditionals |
|
|
130 | (1) |
|
11 Stupecki's Reply to Golab |
|
|
131 | (1) |
|
12 Ajdukiewicz's Solution and Golab's Problem |
|
|
131 | (2) |
|
|
|
132 | (1) |
|
|
|
133 | (4) |
|
|
|
|
|
133 | (2) |
|
|
|
135 | (1) |
|
|
|
135 | (1) |
|
|
|
135 | (1) |
|
|
|
135 | (1) |
|
|
|
136 | (1) |
|
|
|
136 | (1) |
|
Tadeusz Czezowski's Theory of Knowledge and Beliefs |
|
|
137 | (16) |
|
|
|
|
|
137 | (1) |
|
2 Modern Epistemological Individualism: Faith and Testimony in Epistemological Framework |
|
|
138 | (3) |
|
3 Methodism, Particularism and Belief-Formation Process |
|
|
141 | (1) |
|
4 What Can Justify Beliefs: Basic Beliefs, Internalism and Externalism |
|
|
142 | (1) |
|
5 Czezowski's Theory of Knowledge and Epistemological Individualism |
|
|
143 | (4) |
|
6 Czezowski's Internalism and Fallibilism |
|
|
147 | (2) |
|
7 Czezowski and Some Views on Belief-Formation Processes |
|
|
149 | (4) |
|
|
|
151 | (2) |
|
|
|
153 | (12) |
|
|
|
|
|
153 | (2) |
|
2 The Definition of Reasoning |
|
|
155 | (2) |
|
3 The Conditions of Correctness of Reasoning |
|
|
157 | (5) |
|
|
|
162 | (3) |
|
|
|
162 | (3) |
|
Tadeusz Kotarbinski: Socrates of Warsaw |
|
|
165 | (10) |
|
|
|
|
|
165 | (1) |
|
|
|
166 | (1) |
|
|
|
166 | (4) |
|
|
|
170 | (3) |
|
|
|
173 | (1) |
|
|
|
173 | (2) |
|
Tadeusz Kotarbinski's Works Mentioned in the Paper |
|
|
173 | (2) |
|
Agency in a Praxiological Approach |
|
|
175 | (14) |
|
|
|
|
|
175 | (1) |
|
2 Agency in Tadeusz Kotarbinski's Approach |
|
|
176 | (7) |
|
|
|
183 | (2) |
|
|
|
185 | (4) |
|
|
|
186 | (3) |
|
Zygmunt Zawirski: A Creator of New Ideas in Methodology of Science and Scientific Metaphysics |
|
|
189 | (12) |
|
|
|
|
|
189 | (2) |
|
|
|
191 | (1) |
|
|
|
192 | (4) |
|
|
|
196 | (1) |
|
|
|
197 | (1) |
|
|
|
197 | (4) |
|
Zygmunt Zawirski's Works Mentioned in the Paper |
|
|
198 | (3) |
|
Zygmunt Zawirski's Concept of Scientific Metaphysics |
|
|
201 | (8) |
|
|
|
|
|
201 | (1) |
|
2 Relation Between Science and Metaphysics |
|
|
202 | (2) |
|
3 Synthesis of Human Knowledge and Metaphysics |
|
|
204 | (3) |
|
|
|
207 | (2) |
|
Stanistaw Lesniewski: Original and Uncompromising Logical Genius |
|
|
209 | (14) |
|
|
|
|
|
209 | (1) |
|
|
|
210 | (1) |
|
|
|
211 | (1) |
|
4 Antinomies, Classes, Parts |
|
|
212 | (1) |
|
|
|
213 | (2) |
|
6 Consolidation and Publication |
|
|
215 | (1) |
|
|
|
216 | (1) |
|
|
|
216 | (1) |
|
|
|
217 | (1) |
|
10 Colleagues and Personality |
|
|
218 | (1) |
|
|
|
218 | (5) |
|
Stanistaw Lesniewski's Works Mentioned in the Paper |
|
|
219 | (4) |
|
Izydora Dambska: The First Lady of the Twentieth-Century Polish Philosophy |
|
|
223 | (12) |
|
|
|
|
|
|
|
223 | (1) |
|
|
|
224 | (1) |
|
|
|
224 | (1) |
|
4 The Lvov-Warsaw School Versus Neopositivism and Linguistic Philosophy |
|
|
225 | (1) |
|
|
|
226 | (1) |
|
|
|
227 | (2) |
|
|
|
229 | (2) |
|
|
|
231 | (2) |
|
|
|
233 | (2) |
|
Izydora Dambska's Works Mentioned in the Paper |
|
|
233 | (2) |
|
Maria Kokoszynska-Lutmanowa: The Great Polemist |
|
|
235 | (6) |
|
|
|
|
|
235 | (1) |
|
|
|
236 | (1) |
|
|
|
237 | (2) |
|
|
|
239 | (1) |
|
|
|
240 | (1) |
|
|
|
240 | (1) |
|
Seweryna Luszczewska-Romahnowa |
|
|
241 | (8) |
|
|
|
|
|
|
|
241 | (1) |
|
|
|
242 | (3) |
|
|
|
245 | (1) |
|
|
|
245 | (1) |
|
|
|
245 | (1) |
|
|
|
245 | (4) |
|
|
|
246 | (3) |
|
On Existential Dependence and Independence in the World of Thoughts and States of Affairs (with Reference to Eugenia Ginsberg-Blaustein's and Roman Ingarden's Analyses) |
|
|
249 | (14) |
|
|
|
|
|
249 | (2) |
|
2 Ingarden's Definitions and Theorems |
|
|
251 | (3) |
|
3 Dependence in the Mental Sphere of Thoughts |
|
|
254 | (6) |
|
|
|
260 | (3) |
|
|
|
261 | (2) |
|
|
|
263 | (10) |
|
|
|
|
|
263 | (1) |
|
2 Main Research Interests |
|
|
264 | (1) |
|
|
|
265 | (4) |
|
|
|
269 | (2) |
|
|
|
271 | (1) |
|
|
|
271 | (2) |
|
J.M. Bochenski's Theory of Signs |
|
|
273 | (6) |
|
|
|
|
|
273 | (1) |
|
2 Ontological Assumptions |
|
|
273 | (1) |
|
3 Psychological Assumptions |
|
|
274 | (1) |
|
4 The Concept of the Sign |
|
|
275 | (1) |
|
5 The Theory of Signs and Authority |
|
|
276 | (1) |
|
6 The Theory of Signs and `Philosophical Superstitions' |
|
|
276 | (1) |
|
|
|
277 | (2) |
|
|
|
277 | (2) |
|
Jan Salamucha (1903-1944) |
|
|
279 | (6) |
|
|
|
|
|
279 | (1) |
|
|
|
279 | (1) |
|
|
|
280 | (1) |
|
|
|
281 | (1) |
|
|
|
281 | (1) |
|
|
|
282 | (3) |
|
|
|
283 | (2) |
|
Struve and Biegariski: Towards Modern Approach to Logic |
|
|
285 | (16) |
|
|
|
|
|
285 | (5) |
|
|
|
290 | (5) |
|
|
|
295 | (6) |
|
|
|
296 | (5) |
|
Part II Warsaw School of Logic, Its Main Figures and Ideas: The Period of Prosperity |
|
|
|
Lukasiewicz and His Followers in Many-Valued Logic |
|
|
301 | (28) |
|
|
|
1 Lukasiewicz's Way to Many-Valuedness |
|
|
301 | (5) |
|
2 Matrix Semantics for n-Valued Logics |
|
|
306 | (3) |
|
3 Post Logics and Slupecki's Functional Completeness Programme |
|
|
309 | (3) |
|
4 Algebraic Interpretations of Lukasiewicz Logics |
|
|
312 | (3) |
|
5 In Search for Interpretation of Lukasiewicz Logics |
|
|
315 | (5) |
|
6 On Applications and Influence of Lukasiewicz Work |
|
|
320 | (9) |
|
|
|
326 | (3) |
|
Tomorrow's Sea-Battle and the Beginning of Temporal Logic |
|
|
329 | (8) |
|
|
|
|
|
329 | (2) |
|
|
|
331 | (2) |
|
|
|
333 | (1) |
|
4 Temporal Logic of Possible Worlds |
|
|
334 | (1) |
|
|
|
335 | (2) |
|
|
|
336 | (1) |
|
|
|
337 | (24) |
|
|
|
1 How Lesniewski Came to Mereology |
|
|
337 | (2) |
|
2 Lesniewski's Understanding of Sets or Classes |
|
|
339 | (2) |
|
|
|
341 | (1) |
|
|
|
341 | (3) |
|
5 Remarks About This System |
|
|
344 | (1) |
|
6 Symbolic Reconstruction |
|
|
345 | (2) |
|
|
|
347 | (2) |
|
8 Whitehead's Alternative Mereology |
|
|
349 | (2) |
|
9 The Polish Continuation |
|
|
351 | (1) |
|
|
|
352 | (2) |
|
11 Subsequent Developments |
|
|
354 | (4) |
|
|
|
358 | (3) |
|
|
|
358 | (3) |
|
Alfred Tarski (1901-1983) |
|
|
361 | (12) |
|
|
|
|
|
370 | (3) |
|
Some Philosophical Aspects of Semantic Theory of Truth |
|
|
373 | (18) |
|
|
|
|
|
387 | (4) |
|
Tarski's Influence on Computer Science |
|
|
391 | (14) |
|
|
|
|
|
402 | (3) |
|
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper |
|
|
405 | (20) |
|
|
|
|
|
|
|
406 | (4) |
|
2 Corcoran's Awareness of the Issue in the 1960s and 1970s |
|
|
410 | (3) |
|
3 The Place of the Monistic-Pluralistic Distinction |
|
|
413 | (4) |
|
4 The Origin of the Modern form of the Monistic Framework |
|
|
417 | (2) |
|
|
|
419 | (6) |
|
|
|
421 | (4) |
|
Alfred Tarski: Auxiliary Notes on His Legacy |
|
|
425 | (32) |
|
|
|
|
|
425 | (7) |
|
|
|
432 | (4) |
|
3 Geometry and Measure Theory |
|
|
436 | (3) |
|
4 Decidable and Undecidable Theories |
|
|
439 | (9) |
|
5 Selected Works of Tarski |
|
|
448 | (9) |
|
Stanistaw Jaskowski: Life and Work |
|
|
457 | (8) |
|
|
|
|
|
457 | (2) |
|
|
|
459 | (3) |
|
|
|
462 | (3) |
|
|
|
463 | (2) |
|
Stanistaw Jaskowski and Natural Deduction Systems |
|
|
465 | (20) |
|
|
|
|
|
465 | (1) |
|
2 Natural Deduction in General |
|
|
466 | (2) |
|
3 Jaskowski's Research on ND |
|
|
468 | (11) |
|
|
|
479 | (6) |
|
|
|
483 | (2) |
|
Variations on Jaskowski's Discursive Logic |
|
|
485 | (14) |
|
|
|
|
|
|
|
|
|
485 | (2) |
|
2 Theme: Jaskowski's Discursive Logic D2 |
|
|
487 | (1) |
|
3 Movement: Belief Bases and Belief Structures |
|
|
488 | (3) |
|
4 Variations Part I: D4--A New Framework for Discursive Logics |
|
|
491 | (1) |
|
5 Variations Part II: Relation to Dialogue |
|
|
492 | (1) |
|
6 Variations Part III: Relation to Argumentation |
|
|
493 | (2) |
|
|
|
495 | (4) |
|
|
|
496 | (3) |
|
Czestaw Lejewski: Propagator of Lvov-Warsaw Ideas Abroad |
|
|
499 | (6) |
|
|
|
|
|
499 | (1) |
|
|
|
500 | (1) |
|
|
|
500 | (3) |
|
4 Influence, Teaching, Personality |
|
|
503 | (2) |
|
Works by Czesiaw Lejewski Mentioned in the Paper |
|
|
503 | (2) |
|
Adolf Lindenbaum, Metric Spaces and Decompositions |
|
|
505 | (46) |
|
|
|
|
|
|
|
505 | (1) |
|
|
|
506 | (14) |
|
|
|
520 | (9) |
|
4 Decomposition of Point Sets, and Their Equivalence by Decomposition |
|
|
529 | (5) |
|
5 Decompositions and Equivalence of Polygons in Elementary Geometry |
|
|
534 | (3) |
|
|
|
537 | (10) |
|
|
|
547 | (4) |
|
Andrzej Mostowski: A Biographical Note |
|
|
551 | (4) |
|
|
|
|
|
551 | (1) |
|
|
|
551 | (1) |
|
3 Main Scientific Achievements |
|
|
552 | (1) |
|
|
|
553 | (1) |
|
|
|
553 | (1) |
|
|
|
553 | (2) |
|
|
|
554 | (1) |
|
Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy |
|
|
555 | (12) |
|
|
|
|
|
555 | (1) |
|
2 Some Mathematical Works in the Foundations |
|
|
556 | (6) |
|
3 Old School and Old Ideas |
|
|
562 | (1) |
|
4 The Old School and New Ideas: Computations |
|
|
563 | (1) |
|
|
|
563 | (1) |
|
|
|
564 | (3) |
|
|
|
564 | (3) |
|
Jerzy Slupecki (1904-1987) |
|
|
567 | (8) |
|
|
|
References and Bibliography |
|
|
572 | (3) |
|
Rejection in Lukasiewicz's and Slupecki's Sense |
|
|
575 | (24) |
|
Urszula Wybraniec-Skardowska |
|
|
|
|
575 | (3) |
|
2 Reconstruction of Concepts of Rejection and Decidability: The Notions Introduced and Used by Lukasiewicz |
|
|
578 | (1) |
|
3 The Problem of Decidability of Aristotle's Syllogistics, Set by Lukasiewicz, and Its Solution Given by Slupecki |
|
|
579 | (6) |
|
4 Notions of Rejection in a Deductive System and Notions of L-Decidability |
|
|
585 | (2) |
|
5 More Important Findings Concerning L-Decidability of Deductive Systems |
|
|
587 | (4) |
|
|
|
591 | (2) |
|
7 Rejection Operation as a Primitive Notion |
|
|
593 | (6) |
|
|
|
594 | (5) |
|
Boleslaw Sobocinski: The Ace of the Second Generation of the LWS |
|
|
599 | (16) |
|
|
|
|
|
600 | (2) |
|
|
|
602 | (2) |
|
|
|
604 | (3) |
|
4 Interests and Achievements |
|
|
607 | (2) |
|
|
|
609 | (1) |
|
6 Selected Publications by Boleslaw Sobocinski |
|
|
610 | (5) |
|
|
|
612 | (3) |
|
Boleslaw Sobocinski on Universals |
|
|
615 | (18) |
|
|
|
|
|
1 Lesniewski's Nominalist Argumentation in Sobociriski's Version |
|
|
617 | (7) |
|
2 Sobocinski's Metaconceptualism |
|
|
624 | (9) |
|
|
|
631 | (2) |
|
Many-Valued Logics in the Iberian Peninsula |
|
|
633 | (12) |
|
|
|
|
|
634 | (2) |
|
2 Many-Valued Logics and the Lvov-Warsaw School |
|
|
636 | (5) |
|
3 Reception of Many-valued Logics and Fuzzy Logic in the Iberian Peninsula |
|
|
641 | (1) |
|
|
|
642 | (3) |
|
|
|
643 | (2) |
|
Ontology of Logic and Mathematics in Lvov-Warsaw School |
|
|
645 | (20) |
|
|
|
1 Jan Lukasiewicz: (Neo)Platonism |
|
|
646 | (2) |
|
2 Stanistaw Lesniewski: Nominalism |
|
|
648 | (2) |
|
3 Alfred Tarski: Nominalism |
|
|
650 | (2) |
|
4 Tadeusz Kotarbiriski: Reism |
|
|
652 | (3) |
|
5 Leon Chwistek: Nominalism |
|
|
655 | (1) |
|
6 Kazimierz Ajdukiewicz and Ontology of Mathematics |
|
|
656 | (1) |
|
7 Andrzej Mostowski: Nominalism, Reism, Constructivism |
|
|
657 | (2) |
|
|
|
659 | (6) |
|
|
|
660 | (5) |
|
Part III The War and Post-War Period |
|
|
|
A View of Revival of Mathematical Logic in Warsaw, 1945-1975 |
|
|
665 | (8) |
|
|
|
|
|
665 | (1) |
|
|
|
666 | (1) |
|
3 Andrzej Mostowski and His Students |
|
|
667 | (1) |
|
4 Helena Rasiowa and Her Group |
|
|
668 | (1) |
|
|
|
669 | (2) |
|
|
|
671 | (2) |
|
|
|
671 | (2) |
|
Andrzej Mostowski and the Notion of a Model |
|
|
673 | (20) |
|
|
|
1 The Emergence of a New Discipline |
|
|
673 | (2) |
|
2 Mostowski's Writings in Model Theory |
|
|
675 | (1) |
|
3 Background and Notation |
|
|
676 | (1) |
|
4 Some of Tarski's Proposals |
|
|
677 | (2) |
|
|
|
679 | (2) |
|
|
|
681 | (3) |
|
7 Thirty Years of Foundational Studies |
|
|
684 | (1) |
|
|
|
685 | (2) |
|
9 Mostowski's Attributions in General |
|
|
687 | (1) |
|
|
|
688 | (5) |
|
|
|
689 | (4) |
|
All Quantifiers Versus the Quantifier AH |
|
|
693 | (10) |
|
|
|
1 The Universal Quantifier and Its Dual |
|
|
694 | (1) |
|
2 A Digression on the Range of the Familiar Quantifiers |
|
|
695 | (1) |
|
|
|
696 | (1) |
|
4 Generalized Quantifiers in Logic |
|
|
697 | (2) |
|
5 Characterizing Context-Independent Quantifiers |
|
|
699 | (2) |
|
6 Formalism-Free Definition of A-Definable Quantifiers? |
|
|
701 | (2) |
|
|
|
701 | (2) |
|
Helena Rasiowa (1917-1994) |
|
|
703 | (8) |
|
|
|
|
|
|
|
709 | (2) |
|
Post Algebras in the Work of Helena Rasiowa |
|
|
711 | (12) |
|
|
|
1 Plain Semi-Post Algebras |
|
|
712 | (3) |
|
2 Post Algebras of Order m |
|
|
715 | (1) |
|
3 Post Algebras of Order ω+ |
|
|
716 | (1) |
|
4 Post Algebras of Order ω + ω* |
|
|
717 | (6) |
|
|
|
719 | (4) |
|
Andrzej Grzegorczyk, a Logician Par Excellence |
|
|
723 | (8) |
|
|
|
|
|
723 | (1) |
|
2 Logical Accomplishments |
|
|
724 | (2) |
|
|
|
726 | (1) |
|
|
|
727 | (4) |
|
|
|
728 | (3) |
|
A Mystery of Grzegorczyk's Logic of Descriptions |
|
|
731 | (16) |
|
|
|
|
|
|
|
732 | (1) |
|
2 The Logic of Descriptions LD |
|
|
733 | (5) |
|
|
|
738 | (3) |
|
4 Extensions and Modifications of LD |
|
|
741 | (3) |
|
|
|
744 | (3) |
|
|
|
744 | (3) |
|
Roman Suszko: Logician and Philosopher |
|
|
747 | (6) |
|
|
|
|
|
747 | (1) |
|
|
|
748 | (2) |
|
|
|
750 | (1) |
|
|
|
751 | (1) |
|
|
|
752 | (1) |
|
From Formal Theory of Knowledge to Non-Fregean Logic |
|
|
753 | (10) |
|
|
|
|
|
754 | (3) |
|
|
|
757 | (6) |
|
|
|
762 | (1) |
|
Categories of First-Order Quantifiers |
|
|
763 | (16) |
|
Urszula Wybraniec-Skardowska |
|
|
|
|
764 | (1) |
|
|
|
764 | (1) |
|
3 Some Intuitive Foundations of the Theory of Categorial Languages |
|
|
765 | (4) |
|
4 The Solution of the Problem of Quantifiers of 1st-Order |
|
|
769 | (6) |
|
|
|
775 | (4) |
|
|
|
775 | (4) |
|
The Lvov-Warsaw School: A True Mythology |
|
|
779 | (33) |
|
|
|
1 From Bahi'a Blanca to Wroclaw |
|
|
780 | (7) |
|
2 The Atopicity of the Lvov-Warsaw School |
|
|
787 | (11) |
|
3 The Future of the Lvov-Warsaw School |
|
|
798 | (14) |
| References |
|
812 | |
