Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.

Modaliteit (Logica) --- Modality (Logic) --- Modalité (Logique) --- Modale logica. --- Mathematics --- Mathematical Theory --- Physical Sciences & Mathematics --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...'' FROM THE INTRODUCTIONAmong the aims of this book are: - The discussion of some important philosophical issues using the precision

Mathematical logic --- Modality (Logic) --- Constructive mathematics. --- Intuitionistic mathematics. --- Constructive mathematics --- Intuitionistic mathematics --- Constructie [Wiskunde]. (Versch. onderwerpen) --- Modaliteit [Logica]. (Versch. onderwerpen) --- Mathématiques intuitionnistes. (Mélanges) --- Construction [Mathématiques]. (Mélanges) --- Modalité [Logique]. (Mélanges) --- Wiskunde (Intuitionistische). (Versch. onderwerpen) --- Mathematics --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lexicology. Semantics --- Philosophy of language --- Metafysica --- Metaphysics --- Modaliteit (Logica) --- Modality (Logic) --- Modalité (Logique) --- Métaphysique --- Semantics --- Semantics (Philosophy) --- Semantiek --- Semantiek (Filosofie) --- Sémantique --- Sémantique (Philosophie) --- Sémasiologie --- Language and languages --- Langage et langues --- Philosophy --- Philosophie --- -Modality (Logic) --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Lexicology --- God --- Ontology --- Philosophy of mind --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Philology --- Linguistics --- Métaphysique --- Modalité (Logique) --- Sémantique --- Sémantique (Philosophie) --- Language and languages - Philosophy --- Modalité (linguistique) --- Modalité (logique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Das Buch beabsichtigt, mit den Mitteln einer phänomenologischen Semantik, einen Beitrag zum Verständnis der Modallogik und ihrer philosophischen Implikationen zu liefern. Es richtet sich in erster Linie an Phänomenologen, aber auch an analytische Philosophen und an philosophisch interessierte Logiker.Bereits im vorigen Jahrhundert begannen Mathematik und Logik, sich zu abstrakten Wissenschaften zu entwickeln. Husserl nannte die schließlich resultierende Einheit beider `Mathesis Universalis'. Diese bildet nicht nur den Boden aus dem Husserls philosophische Arbeit erwuchs, sondern auch den Rahmen, in den die moderne Modallogik zu stellen ist. Als abstrakte Disziplin der Mathesis Universalis erfordert ihre phänomenologische Aufklärung detaillierte Analysen der Genese von Modalisierung, die weit in die kognitiven Strukturen von (vorsprachlicher) Wahrnehmung hineinreichen. Das so gewonnene Verständnis von Modalisierung erbringt ein zweifaches Resultat: Zum einen kann die insbesondere im Rahmen der analytischen Philosophie geführte Diskussion der erkenntnistheoretischen und ontologischen Schwierigkeiten der Modallogik eine phänomenologische Aufklärung erfahren. Zum anderen erlaubt die Tatsache, daß der Beweisbegriff als mathematische Modalität zu verstehen ist, eine präzise phänomenologische Bestimmung des Verhältnisses von formaler Logik und Mathematik.

Fenomenologie --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Modaliteit (Logica) --- Modality (Logic) --- Modalité (Logique) --- Phenomenology --- Phénoménologie --- Logique symbolique et mathématique --- Logic, symbolic and mathematical --- Modal logic --- Nonclassical mathematical logic --- Bisimulation --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Phenomenology. --- Modality (Logic). --- Modalité (Logique) --- Logique symbolique et mathématique --- Phénoménologie --- Logic, Symbolic and mathematical --- Science --- Philosophy, Modern --- Logic --- Mathematical logic --- Mathematics --- Set theory --- Normal science --- Philosophy of science --- Philosophy --- Theory of knowledge --- Logic, Symbolic and mathematical. --- Philosophy. --- Sciences --- Philosophie --- Science - Philosophy --- Logique modale

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ancient logic --- Antieke logica --- Argumentation (Logic) --- Eidos --- Essence (Philosophie) --- Essence (Philosophy) --- Essentialism (Philosophy) --- Essentialisme (Filosofie) --- Essentialisme (Philosophie) --- Essentie (Filosofie) --- Logic [Ancient ] --- Logica [Antieke ] --- Logica van de Oudheid --- Logique ancienne --- Logique de l'Antiquité --- Modaliteit (Logica) --- Modality (Logic) --- Modalité (Logique) --- Sluitrede --- Syllogism --- Syllogisme --- Logic, Ancient --- Argumentation --- Logic --- Reasoning --- Logic, Symbolic and mathematical --- Modal logic --- Nonclassical mathematical logic --- Bisimulation --- Philosophy --- Substance (Philosophy) --- Aristoteles --- Contributions in modal syllogistic. --- Aristote --- Aristotle --- Aristotile --- Aristotle. --- Aristoteles. --- Contributions in modal syllogistic --- Aristotle - Contributions in modal syllogistic. --- Arisṭāṭṭil --- Aristo, --- Aristotel --- Aristotele --- Aristóteles, --- Aristòtil --- Arisṭū --- Arisṭūṭālīs --- Arisutoteresu --- Arystoteles --- Ya-li-shih-to-te --- Ya-li-ssu-to-te --- Yalishiduode --- Yalisiduode --- Ἀριστοτέλης --- Αριστοτέλης --- Аристотел --- ארסטו --- אריםטו --- אריסטו --- אריסטוטלס --- אריסטוטלוס --- אריסטוטליס --- أرسطاطاليس --- أرسططاليس --- أرسطو --- أرسطوطالس --- أرسطوطاليس --- ابن رشد --- اريسطو --- Pseudo Aristotele --- Pseudo-Aristotle --- アリストテレス