Title | Philosophical Logic in Poland [electronic resource] / edited by Jan Woleล{132}ski |
---|---|

Imprint | Dordrecht : Springer Netherlands : Imprint: Springer, 1994 |

Connect to | http://dx.doi.org/10.1007/978-94-015-8273-5 |

Descript | VIII, 367 p. 1 illus. online resource |

SUMMARY

Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a field covering different topics relevant to philosophical foundations of logic itself, as well as various individual sciences. This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic. This book will be of interest to logicians, mathematicians, philosophers, and linguists

CONTENT

Morals of Thought and Speech โ{128}{148} Reminiscences -- What Has Logic Given to Philosophy? -- Classical, Relativistic and Constructivist Ways of Asserting Theorems -- Semantic Niches Or a Logic for Historians -- Objects and Properties -- Inferential Many-Valuedness -- A Ja?kowski-Style System of Computer-Assisted Reasoning -- Hilbertโ{128}{153}s Program: Incompleteness Theorems Vs. Partial Realizations -- The Logic of Objects -- Non-Fregean Semantics for Sentences -- Relational Semantics for Non-Classical Logics: Formulas are Relations -- Non-Standard Possible Worlds, Generalised Quantifiers and Modal Logic -- Against Straightforward Anti-Realism -- A Minimal Implicational Logic -- Knowledge Representation Systems for Groups of Agents -- Characterizing Propositional Logics by Formulas -- The Reification of Situations -- Intuitionism and Indeterminism (Tense-Logical Considerations) -- Asymmetrical Relations -- Types of Predication -- Remarks on Extensionality and Intensionality -- On the Synthetic a priori -- Realism Vs Relativism in Philosophy of Science (Some Comments on Tarskiโ{128}{153}s Theory of Truth) -- Index of Names

Mathematics
Logic
Language and languages -- Philosophy
Mathematical logic
Computational linguistics
Mathematics
Mathematical Logic and Foundations
Logic
Computational Linguistics
Philosophy of Language