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.
60 Years of Connexive Logic / / edited by Hitoshi Omori, Heinrich Wansing
| 60 Years of Connexive Logic / / edited by Hitoshi Omori, Heinrich Wansing |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XII, 252 p. 21 illus., 10 illus. in color.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Philosophical Logic |
| ISBN |
9783031829949
3031829948 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction, Heinrich Wansing and Hitoshi Omori -- Chapter 2: Flavours of connexivity, Andreas Kapsner -- Chapter 3: Relevant Semantics for connexive logics, Edwin Mares -- Chapter 4: An introduction to Boethian logics, Claudio E.A. Pizzi -- Chapter 5 A Variety of connexive logics in the light of relating semantics, Jacek Malinowski and Aleksander Parol -- Chapter 6 Inferentialism and connexivity, Vincenzo Crupi and Andrea Iacona -- Chapter 7 Conditionals, support and connexivity, Hans Rott -- Chapter 8 Experimental philosophy of connexivity, Niki Pfeifer and Leon Schöppl -- Chapter 9 Open problems in connexive logic, Hitoshi Omori and Heinrich Wansing. |
| Record Nr. | UNINA-9910983487003321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adequate Connections : Assessing Argument Ground Adequacy / / by James B. Freeman
| Adequate Connections : Assessing Argument Ground Adequacy / / by James B. Freeman |
| Autore | Freeman James B |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XIII, 179 p. 12 illus.) |
| Disciplina | 160 |
| Collana | Argumentation Library |
| Soggetto topico |
Logic
Philosophical Logic |
| ISBN |
9783031764776
3031764773 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Connection Adequacy and the Concept of Warrant -- Identifying the Warrant of an Argument -- What Types of Warrants Are There? -- Conclusive A Priori Warrants -- Defeasible Warrants and Probability -- Defeasible A Posteriori Warrants I: Empirical Warrants -- Defeasible A Posteriori Warrants II: Personal Warrants -- Defeasible A Posteriori Warrants III: Institutional Warrants -- Defeasible A Priori Warrants -- Virtually Conclusive A Posteriori Warrants -- Determining Whether a Particular Connection is Adequate. |
| Record Nr. | UNINA-9910988284403321 |
Freeman James B
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Architecture and Archaeology of Modern Logic : Studies Dedicated to Göran Sundholm / / edited by Ansten Klev
| The Architecture and Archaeology of Modern Logic : Studies Dedicated to Göran Sundholm / / edited by Ansten Klev |
| Autore | Klev Ansten |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (505 pages) |
| Disciplina | 160 |
| Collana | Logic, Epistemology, and the Unity of Science |
| Soggetto topico |
Logic
Language and languages - Philosophy Philosophy - History Philosophical Logic Philosophy of Language History of Philosophy |
| ISBN |
9783031524110
303152411X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: A brief summary of Göran Sundholm's philosophical work -- Chapter 2: Formative experiences -- Chapter 3: Bibliography -- Chapter 4: Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable? -- Chapter 5: Dialogical logic and constructive type theory: New explorations -- Chapter 6: Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics -- Chapter 7: How to classify varieties of consequence -- Chapter 8: Informal classical and intuitionistic proofs together -- Chapter 9: Judgmental and definitional equality from a Fregean perspective -- Chapter 10: "Sind die Zahlformeln beweisbar?" -- Chapter 11: Handling mobility failures by modal types -- Chapter 12: The ideal of unity of science tested against the Liar -- Chapter 13: Vindicating the future: A dialogical stance on Belnap's approach to tomorrow's sea battle -- Chapter 14: Goodbye Oxhead. Prolegomena to the philosophy of the letter -- Chapter 15: Logical deducibility and logicality in 1837 -- Chapter 16: Frege on knowing the fundamental laws of logic -- Chapter 17: Sundholm on Wittgenstein and Realism -- Chapter 18: Becker's rule is not Becker's rule -- Chapter 19: Judgment and commitment -- Chapter 20: Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity -- Chapter 21: Gastronomical Platonism. |
| Record Nr. | UNINA-9910896189303321 |
|
Klev Ansten
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
An Essay in the Logic of World-views : Knowledge and Belief-Systems in a Dialogue of Practical Frameworks / / by Lauri Snellman
| An Essay in the Logic of World-views : Knowledge and Belief-Systems in a Dialogue of Practical Frameworks / / by Lauri Snellman |
| Autore | Snellman Lauri |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (0 pages) |
| Disciplina | 210 |
| Collana | Religion and Philosophy Series |
| Soggetto topico |
Religion - Philosophy
Religion and sociology Psychology and religion Logic Philosophy of Religion Sociology of Religion Psychology of Religion and Spirituality Philosophical Logic |
| ISBN |
9783032045423
9783032045416 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction -- Chapter 2: World-views and the problem of mediated knowledge -- Chapter 3: The logic of world-views -- Chapter 4: Outline for the logic of world-views -- Chapter 5: Conclusion -- Chapter 6: Sources. |
| Record Nr. | UNINA-9911039326103321 |
|
Snellman Lauri
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition / / edited by Jean-Yves Beziau, Ioannis Vandoulakis
| The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition / / edited by Jean-Yves Beziau, Ioannis Vandoulakis |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2022 |
| Descrizione fisica | 1 online resource (480 pages) |
| Disciplina |
110
160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic Philosophy Mathematical Logic and Foundations Philosophical Logic |
| ISBN | 3-030-90823-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Square of opposition: Past, Present and Future -- Division of Entities and Foundations of Reality: Aristotle’s Ontological Square -- Logical Oppositions in Avicenna’s Hypothetical Logic -- Incommensurability and Inapplicability of the Squares of Opposition -- The square of opposition as a framework for Stephen Langton’s theological solutions -- The limits of the square - Hegel’s opposition to diagrams in its historical context -- Augustus De Morgan’s Unpublished Octagon of Opposition -- A Bitstring Semantic for Calculus CL -- Logical Diagrams, Visualization Criteria, and Boolean Algebras -- Turnstile Figures of Opposition -- The Naturalness of Jacques Lacan's Logic -- On Modal Opposition within some Modal Discussive Logics -- On the Transformations of the Square of Opposition from the point of view of Institution Model Theory -- Color-Coded Epistemic Modes in a Jungian Hexagon of Opposition -- Many-valued logical hexagons in a 3-oppositional trisimplex -- Tri-Simplicial Contradiction: the Pascalian 3D Simplex and its Oppositional Tri-Segment. |
| Record Nr. | UNINA-9910590078503321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Experimental Philosophy of Language: Perspectives, Methods, and Prospects / / edited by David Bordonaba-Plou
| Experimental Philosophy of Language: Perspectives, Methods, and Prospects / / edited by David Bordonaba-Plou |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 401 |
| Collana | Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences |
| Soggetto topico |
Language and languages - Philosophy
Logic Philosophy of Language Philosophical Logic |
| ISBN | 3-031-28908-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction: 20 Years of Experimental Philosophy of Language (David Bordonaba-Plou) -- Part 1. The Experimental Philosophy of Language Methodology -- 2. A Bibliometric Analysis of Experimental Philosophy of Language (Javier Osorio-Mancilla) -- 3. Experimental Philosophy and Ordinary Language Philosophy (Masaharu Mizumoto) -- 4. Does Scientific Conceptual Analysis Provide Better Justification than Armchair Conceptual Analysis? (Hristo Valchev) -- 5. Distributional Theories of Meaning: Experimental Philosophy of Language (Jumbly Grindrod) -- Part 2. Experimental Philosophy of Language and Corpus Methods -- 6. Are Moral Predicates Subjective? A Corpus Study (Isidora Stojanovic and Louise McNally) -- 7. Linguistic Corpora and Ordinary Language: On the Dispute between Ryle and Austin about the Use of ‘Voluntary’, ‘Involuntary’, ‘Voluntarily’, and ‘Involuntarily’ (Michael Zahorec, Robert Bishop, Nat Hansen, John Schwenkler and Justin Sytsma) -- 8. Light in Assessing Color Quality: An Arabic-Spanish Cross-Linguistic Study (David Bordonaba-Plou and Laila M. Jreis-Navarro) -- Part 3. Politically-Engaged Experimental Philosophy of Language -- 9. Experimentally-Informed Philosophy of Hate Speech (Bianca Cepollaro) -- 10. Slurs in the Rio de la Plata (Ana C. Polakof) -- 11. Who Has a Free Speech Problem? Motivated Censorship across the Ideological Divide? (Manuel Almagro-Holgado, Ivar A. Rodríguez and Neftalí Villanueva) -- Part 4. Experimental Philosophy of Language and Psychology -- 12. How Understanding Shapes Reasoning: Experimental Argument Analysis with Methods from Psycholinguistics and Computational Linguistics (Eugen Fischer and Aurélie Herbelot) -- 13. From Infants to Great Apes: False Belief Attribution and Primitivism about Truth (Joseph Ulatowski and Jeremy Wyatt). |
| Record Nr. | UNINA-9910731483503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frank Ramsey's Theory of Conditionals / / by Caterina Sisti
| Frank Ramsey's Theory of Conditionals / / by Caterina Sisti |
| Autore | Sisti Caterina |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 |
| Descrizione fisica | 1 online resource (214 pages) |
| Disciplina | 160 |
| Collana | History of Analytic Philosophy |
| Soggetto topico |
Knowledge, Theory of
Analysis (Philosophy) Logic Language and languages - Philosophy Epistemology Analytic Philosophy Philosophical Logic Philosophy of Language |
| ISBN |
9783031536342
3031536347 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Ramsey's Epistemology -- 3. Ramsey on Conditionals -- 4. Towards a Unified Account -- 5. Ramsey's Test and Ramsey Tests -- 6. Conclusion. |
| Record Nr. | UNINA-9910921008803321 |
|
Sisti Caterina
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frege's Views on Truth : Extending 'Logical Investigations' / / by Nathan Hawkins
| Frege's Views on Truth : Extending 'Logical Investigations' / / by Nathan Hawkins |
| Autore | Hawkins Nathan |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2026 |
| Descrizione fisica | 1 online resource (215 pages) |
| Disciplina | 146.4 |
| Collana | History of Analytic Philosophy |
| Soggetto topico |
Analysis (Philosophy)
Logic Language and languages - Philosophy Metaphysics Analytic Philosophy Philosophical Logic Philosophy of Language |
| ISBN | 3-032-09776-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ch 1: Introduction -- Ch 2: The Treadmill -- Ch 3: Thoughts -- Ch 4: The Equipollence Thesis -- Ch 5: Truth and Reference. |
| Record Nr. | UNINA-9911054597003321 |
|
Hawkins Nathan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
