Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
| Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer |
| Autore | Amer Mohamed A. |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (100 pages) |
| Disciplina | 185 |
| Collana | SpringerBriefs in Philosophy |
| Soggetto topico |
Logic
Formal Logic Philosophical Logic Sil·logisme |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030873417
9783030873400 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. |
| Record Nr. | UNISA-996466554503316 |
Amer Mohamed A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
| Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer |
| Autore | Amer Mohamed A. |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (100 pages) |
| Disciplina |
185
166 |
| Collana | SpringerBriefs in Philosophy |
| Soggetto topico |
Logic
Formal Logic Philosophical Logic |
| ISBN |
9783030873417
9783030873400 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. |
| Record Nr. | UNINA-9910552733603321 |
|
Amer Mohamed A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Extent of Impossibility : The Case of Modal Realism / / by Martin Vacek
| The Extent of Impossibility : The Case of Modal Realism / / by Martin Vacek |
| Autore | Vacek Martin |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2025 |
| Descrizione fisica | 1 online resource (132 pages) |
| Disciplina | 121.2 |
| Collana | Religion and Philosophy Series |
| Soggetto topico |
Metaphysics
Logic Knowledge, Theory of Formal Logic Epistemology |
| ISBN | 3-031-99124-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ch 1: Mapping Impossibility -- Ch 2: The Indispensability Argument -- Ch 3: The Variety of Impossible Worlds -- Ch 4: The Metaphysics of Impossible Worlds -- Ch 5: Inconsistent Worlds -- Ch 6: Open Worlds -- Ch 7: The Trivial World -- Ch 8: The Empty World. |
| Record Nr. | UNINA-9911022361403321 |
|
Vacek Martin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Genetic Origination of Truth-Toward-Being : Edith Stein’s Reconfiguration of Husserl’s Phenomenology / / by Jim Ruddy
| The Genetic Origination of Truth-Toward-Being : Edith Stein’s Reconfiguration of Husserl’s Phenomenology / / by Jim Ruddy |
| Autore | Ruddy Jim |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022 |
| Descrizione fisica | 1 online resource (113 pages) |
| Disciplina |
193
142.7 |
| Collana | Palgrave pivot |
| Soggetto topico |
Phenomenology
Logic Formal Logic Philosophical Logic |
| ISBN |
9783031147944
9783031147937 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Preface -- 2. Scaling the First Slopes: The Nachlass of Wall -- 3. Scaling the Next Slopes: From Adesse to Fülle -- 4. Scaling the Final Mountain: Four Box-Canyons -- 5. At the Summit: Definitions and Something Else -- 6. An Interlude: Along Stein’s Way -- 7. At the Summit Waystation: No More Box-Canyons. |
| Record Nr. | UNINA-9910619287003321 |
|
Ruddy Jim
|
||
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic - Language - Ontology : Selected Works / / by Urszula B. Wybraniec-Skardowska
| Logic - Language - Ontology : Selected Works / / by Urszula B. Wybraniec-Skardowska |
| Autore | Wybraniec-Skardowska Urszula |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2022 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 401 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Logic Set theory Philosophy of Mathematics Mathematical Logic and Foundations Formal Logic Philosophical Logic General Logic Set Theory |
| ISBN |
9783031223303
9783031223297 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Introduction -- 1. The Dual Ontological Nature of Language Signs and the Problem of Their Mutual Relations -- 2 On the Structure and Contents of the Monograph -- Part II SelectedWorks -- 1. On the Type-Token Relationships -- 2. On the Axiomatic Systems of Syntactically-Categorial Languages -- 3. The Logical Foundations of Language Syntax Ontology -- 4. On the Eliminatibility of Ideal Linguistic Entities -- 5. Meaning and Interpretation. Part I -- 6. Meaning and Interpretation. Part II -- 7. Three Principles of Compositionality -- 8. On Meta-knowledge and Truth -- 9. On Language Adequacy -- 10. What Is the Sense in Logic and Philosophy of Language? -- 11. Categories of First-Order Quantifiers -- 12. Logic and the Ontology of Language -- 13. A Logical Conceptualization of Knowledge on the Notion of Language Communication. |
| Record Nr. | UNINA-9910633937003321 |
|
Wybraniec-Skardowska Urszula
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski
| Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (V, 243 p. 59 illus.) |
| Disciplina | 121.68 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Language and languages - Philosophy Formal Logic Philosophy of Language Philosophical Logic |
| ISBN | 3-030-53487-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Logic in High Definition, Trends in Logical Semantics (Alessandro Giordani and Jacek Malinowski) -- Chapter 2. Relating Semantics as Fine-grained Semantics for Intensional Propositional Logics (Tomasz Jarmuzek). Chapter 3. Some Intensional Logics Defined by Relating Semantics and Tableau systems (Tomasz Jarmuzek and Mateusz Klonowski) -- Chapter 4. Relating Semantics for Connexive Logic (Jacek Malinowski and Rafał Palczewski) -- Chapter 5. Discussion Note: Exact Truthmaking as Inexact Truthmaking by Minimal Totality Facts (Hannes Leitgeb) -- Chapter 6. Hyperintensionality in Imagination (Pierre Saint-Germier) -- Chapter 7. Deontic Logic with Action Types and Tokens (Alessandro Giordani) -- Chapter 8. Causal Agency and Responsibility: A Refinement of STIT Logic (Alexandru Baltag, Ilaria Canavotto and Sonja Smets) -- Chapter 9. Impossible Individuals as Necessarily Empty Individual Concepts (Marie Duzı, Daniela Glavanicova and Bjørn Jespersen) -- Chapter 10. Metalinguistic Focus in P-HYPE Semantics (Luke Burke). . |
| Record Nr. | UNINA-9910483322003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications / / Levis Zerpa
| The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications / / Levis Zerpa |
| Autore | Zerpa Levis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Palgrave Macmillan, , [2024] |
| Descrizione fisica | 1 online resource (298 pages) |
| Disciplina | 146.4 |
| Collana | History of Analytic Philosophy |
| Soggetto topico |
Analysis (Philosophy)
Logic Logic, Symbolic and mathematical Computer science Analytic Philosophy Formal Logic Mathematical Logic and Foundations Theory of Computation |
| ISBN |
9783031728518
3031728513 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Introduction -- 1 General Introduction and Motivation -- Part II: The Logic and Philosophy of the Lambda-Calculus: Lambda-Philosophy -- 2 Lambda-Philosophy: The General Program -- 3 The λ-Calculus as a Solution to a Problem of Philosophical Analysis -- 4 The λ-Calculus as a Formal System of Symbolic Logic and the Container Notation -- Part III: Two Applications: Arithmetic and Propositional Logic -- 5 The Container Notation in the λ-Calculus (1): Arithmetic -- 6 The Container Notation in the λ-Calculus (2): Propositional Logic -- Part IV: The Philosophy of Computer Science and Computability Theory in Lambda-Philosophy -- 7 Questioning a Dogma of Algorithmic Thinking in Our Time -- Part V: Ontology in Lambda-Philosophy -- 8 The Criterion of Ontological Commitment as a Logical Tester in Ontology -- 9 Church's Ontological Development -- 10 Compiler Output as a Programming Tester in Ontology -- Part VI: The History of The Lambda-Calculus: Three Comparative Studies -- 11 Comparative Historical Studies (0): Introduction -- 12 Comparative Historical Studies (1): Viète's Analytic Art in λ-Philosophy -- 13 Comparative Historical Studies (2): A Brief Analysis of Descartes' Correlation-Hypothesis and Church's Thesis -- 14 Comparative Historical Studies (3): Wittgenstein Anticipation of Church Numerals. |
| Record Nr. | UNINA-9910921014103321 |
|
Zerpa Levis
|
||
| Cham, Switzerland : , : Palgrave Macmillan, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Palgrave companion to the philosophy of set theory / / editors, Carolin Antos, Neil Barton, Giorgio Venturi
| The Palgrave companion to the philosophy of set theory / / editors, Carolin Antos, Neil Barton, Giorgio Venturi |
| Pubbl/distr/stampa | Cham : , : Springer, , [2025] |
| Descrizione fisica | 1 online resource (xv, 393 pages) |
| Disciplina | 510.1 |
| Collana | Palgrave Companions |
| Soggetto topico |
Set theory - Philosophy
Mathematics - Philosophy Logic Knowledge, Theory of Metaphysics Philosophy of Mathematics Formal Logic Epistemology |
| ISBN | 9783031623875 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Part I Epistemology -- Chapter 2.The Problem of Existence forDescriptivism About the Reference of Set-Theoretic Expressions -- Chapter 3. Intuition and Observation -- Chapter 4. Arealism, ThinRealism, and the Problem of Extrinsic Evidence -- Chapter 5. The Hidden Use of New Axioms -- Part II Formal Theories -- Chapter 6. The Iterative Notion of Function and the Iterative Notion of Set -- Chapter 7. What Set Theory Could Not Be About -- Chapter 8. Hamkins’ Analogy Between Set Theory and Geometry: Pluralism by Leveling Up? -- Chapter 9. Basic Mathematics Beyond Classicality -- Part III Ontology -- Chapter 10. Iteration and Dependence Again -- Chapter 11. What Is Forcing Potentialism? -- Chapter 12. On the Consistency of Height and Width Potentialism -- Chapter 13. Higher-Order Platonism and Multiversism -- Chapter 14. Language, Models, and Reality: Weak Existence and a Threefold Correspondence. |
| Record Nr. | UNINA-9910999778503321 |
| Cham : , : Springer, , [2025] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic Logic / / by Odysseus Makridis
| Symbolic Logic / / by Odysseus Makridis |
| Autore | Makridis Odysseus |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022 |
| Descrizione fisica | 1 online resource (493 pages) |
| Disciplina | 160 |
| Collana | Palgrave Philosophy Today |
| Soggetto topico |
Logic
Formal Logic Philosophical Logic |
| ISBN |
9783030673963
9783030673956 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. What Logic Studies -- 2. Concepts of Deductive Reasoning -- 3. Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic) -- 4. Sentential Logic Languages ∑ -- 5. Formal Predicate Logic (also called First-Order Logic) ∏ -- 6. Translations from English into ∏πφ= (also called Symbolizations, Formalizations) -- 7. Semantic Models for ∏: ∏⧉ -- 8. Proof-Theoretical System for Predicate Logic: ∏πφ= -- 9. Definite Descriptions: ∏πφ=⍳ -- 10. Basics of Set Theory. |
| Record Nr. | UNINA-9910548181603321 |
|
Makridis Odysseus
|
||
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / / edited by Laura Kovács, Karl Meinke
| Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / / edited by Laura Kovács, Karl Meinke |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (132 pages) |
| Disciplina |
005.3
005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic
Computer science Formal Logic Models of Computation |
| ISBN | 3-031-09827-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580161203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Formal Logic
(11)
- Logic (11)
- Philosophical Logic (7)
- Logic, Symbolic and mathematical (3)
- Computer science (2)