Essays in Logic and OntologyJacek Malinowski, Andrzej Pietruszczak The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part. |
Contents
9 | |
Uwe Meixner An OntoNomological Theory of Modality | 47 |
Roberto Poli The Ontology of What is Not There | 73 |
Krister Segerberg Moore Problems in Full Dynamic Doxastic Logic | 95 |
Jacek Malinowski On the Formalization of Strawsons Presupposition | 111 |
Andrzej Pietruszczak On Applications of TruthValue Connectives | 143 |
Loffredo DOttaviano Hércules Araujo Feitosa Translating | 157 |
Diderik Batens Narrowing Down Suspicion in Inconsistent Premise Sets | 185 |
Handling Internal | 211 |
Sergei P Odintsov Absurdity as Unary Operator | 225 |
Guido Vanackere A World of Experiences an Adequate Language | 243 |
Sonja Smets From Intuitionistic Logic to Dynamic Operational Quantum | 257 |
Erik Weber Are There Ontological Explanations? | 277 |
What is at Stake? | 301 |
Other editions - View all
Common terms and phrases
action actual world adaptive logics algebra argument assumption axioms Batens C-presentation causal classical logic CLuN Coecke combinatorial concept condition consequence consider contradiction Deduction Theorem defined definite value derived disjunction doxastic doxastic logic entities epistemic Epistemology equivalent example existence experience fact false formal formula Gödel Hence idea implication inconsistent independent interpretation introduced introspection intuitionistic intuitive language large cardinal Lemma logically possible logically possible world LPC-Mw MaxCon maximally consistent means mereology metaphysical realism minimal modal logic Moore problems necessity negation notion objects observable obtained ontology operator paraconsistent logic philosophy of mathematics physical Pietruszczak possible world Poznań predicate premises present presupposition principles proof propositional provable prove quantum logic question realism debate rule Science Scientific semantics sense sentence set theory social relations structure T.A.F. Kuipers tableau theorem Toruń true truth University Znaniecki