1.
ＥＢ
by Torben Braüner
2.
ＥＢ
by Piotr Lukowski
3.
ＥＢ
by Dirk Dalen
4.
ＥＢ
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
5.
ＥＢ
edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleńSki, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
出版情報:
Dordrecht : Springer Netherlands, 2009
シリーズ名:
Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-1-4020-8926-8
所蔵情報:
loading…
6.
ＥＢ
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
7.
ＥＢ
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
8.
ＥＢ
by Daniel Parrochia, Pierre Neuville
目次情報:
続きを見る
Foreword
1 Philosophical problems
2 Information data structures
3 Empirical Clustering and classic hierarchies
4 Algebra of trees
5 Generalized Classifications
6 Topology of generalized classifications
7 Meta-classification
8 For an axiomatic theory of classifications
9 Alternative theories and higher infinite
10 Postscript
Bibliography.
Foreword
1 Philosophical problems
2 Information data structures
9.
ＥＢ
edited by Amirouche Moktefi, Sun-Joo Shin
目次情報:
続きを見る
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
3. A diagrammatic calculus of syllogisms (Ruggero Pagnan)
4. Beyond syllogisms: Carroll’s (marked) quadriliteral diagram (Amirouche Moktefi)
5. A diagrammatic bridge between classical and fuzzy logics (Ferdinando Cavaliere)
6. Diagrammatic reasoning with Classes and relationships (Jørgen Fischer Nilsson)
7. On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter Chapman)
8. A practice-based approach to diagrams (Valeria Giardino)
9. Figures, formulae, and functors (Zach Weber)
10. Diagrams and concepts of graph theory (Mitsuko Mizuno)
Preface
1. What is a logical diagram? (Catherine Legg)
2. The geometry of diagrams and the logic of syllogisms (Richard Bosley)
10.
ＥＢ
by Christian Straßer
目次情報:
続きを見る
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics
Chapter 3. Sequential Combinations of ALs
Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit
Chapter 5. Generalizing the Standard Format
Part II. Conditional Logics of Normality
Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality
Chapter 7. An Adaptive Logic for Rational Closure
Part III. Argumentation Theory
Chapter 8. Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach
Chapter 9. Allowing for Joint Attacks
Part IV. Deontic Logics
Chapter 10. Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance
Chapter 11. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas
Chapter 12. A Deontic Logic Framework Allowing for Factual Detachment
Appendices
Chapter 1. Introduction
Part I. Adaptive Logics as a Framework for Defeasible Logics
Chapter 2 The Standard Format of Adaptive Logics
11.
ＥＢ
by Vito Michele Abrusci, Lorenzo Tortora Falco
目次情報:
続きを見る
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
4 Verso la teoria della dimostrazione: il teorema del taglio per LK
5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
12.
ＥＢ
edited by Arnold Koslow, Arthur Buchsbaum
目次情報:
続きを見る
Preface
Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami
Homotopical categories of logics by Peter Arndt
Semi‐implication: A Chapter in Universal Logic by Arnon Avron
A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo
Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha
The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu
Universal Logic as the Science of Patterns by Brian Gaines
Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart
The move from one to two quantifiers by Wilfrid Hodges
On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn
Aristotle on Language and Universal Proof by Jean‐Louis Hudry
Béziau on And and Or by Lloyd Humberstone
Universal Logic or Logics in Resemblance Families by Dale Jacquette
Causality and Attribution in an Aristotelian Theory by Srecko Kovac
Using Each Other's Words by Marcus Kracht
On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris
Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen
Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne
Nonsets by Daniel Parrochia
A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas
John Buridan on Non‐Contingency Syllogisms by Stephen Read
Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond
Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey
On Metalogical Pluralism by Vladimir L. Vasyukov
Constructivism and Metamathematics by Jan Woleński.
Preface
Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami
Homotopical categories of logics by Peter Arndt
13.
ＥＢ
edited by Arnold Koslow, Arthur Buchsbaum
目次情報:
続きを見る
1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others
2. Jean-Yves Beziau: Logical Autobiography 50
3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence
4. Hajnal Andréka and Istvan Németi: Finite-variable logics do not have weak Beth definability property
5. Irving Anellis: Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator
6. Ignacio Angelelli: The Meaning(s) of “is”: Normative vs. Naturalistic Views of Language
7. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou
8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics
9. Diderik Batens: Two, many and differently many
10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies
11. Otavio Bueno: Can Identity be relativized?
12. Luis Estrada-González: From (paraconsistent) topos logic to Universal (topos) Logic
13. Yvon Gauthier: A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory
14. I. Grattan-Guinness: Is logic universal or hierarchical?
15. Dany Jaspers: The English Tenses, Blanche and the Logical Kite
16. Azriel Laufer and Dov Gabbay: Topological Aspects of Matrix Abduction 1
17. Mai Ben Adar Bessos and Dov Gabbay: Topological Aspects of Matrix Abduction 2
18. Sérgio Marcelino, Carlos Caleiro and Pedro Baltazar: Deciding theoremhood in fibred logics without shared connectives
19. Amirouche Moktefi and Fabien Schang: On rules and refereeing in football
20. Alessio Moretti: Arrow - Hexagons
21. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language – DOL
22. Sergei Odintsov: Belnap constants and Nelson logic
23. Hitoshi Omori and Toshiharu Waragai: Negative modalities in the light of paraconsistency
24. Olga Pombo: Operativity and Representativity of the Sign in Leibniz
25. Henri Prade and Didier Dubois: Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases
26. Giuseppe Primiero: Realist consequence, epistemic inference, computational correctness
27. Christian de Ronde: Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy
1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others
2. Jean-Yves Beziau: Logical Autobiography 50
3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence
14.
ＥＢ
edited by Giovanni Sommaruga, Thomas Strahm
目次情報:
続きを見る
Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory
1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas
3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga
III Generalizing Turing computability theory
1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman
2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker
3. Discrete Transfinite Computation, Philip Welch
4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich
5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye
6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-IV Philosophical reflections
1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic
2. Proving Things about the Informal, Stewart Shapiro
3. Why Turing’s Thesis is Not a Thesis, Robert Soare
4. Incomputability, Emergent, and Higher Type Computation, S. Barry Cooper
Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory
1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas
15.
ＥＢ
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
16.
ＥＢ
by Heinz-Dieter Ebbinghaus
17.
ＥＢ
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
18.
ＥＢ
edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta
目次情報:
続きを見る
C. Baskent: Game Semantics and Paraconsistency
D. Batens: Some adaptive contributions to Logics of Formal Inconsistency
Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics
R. C. Ertola B. Rodriguez and C. Noguera I. lofent: Paraconsistent degree-preserving fuzzy logic
B. Brown: Symmetrical Preservation Relations and Cognitive Commitments
C. C. Caret Game Semantics and Paraconsistency
N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency
V. Degauquier: A unified proof-theoretic approach of partial and paraconsistent three-valued logics
S. Dutta: Consequence and Inconsistency: Paraconsistent Logics
E. Ficara:Negation and the Metaphysical Foundations of Logic
H. Field: Restricted Quantification in Paraconsistent and Other Nonclassical Logics
D. Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ in paraconsistent term
P. Greenough: Going Glutty, Staying Classical
C. Heunen: Combining logical viewpoints in quantum theory
R. I. Ingalalli: Consistency in Indian Logic
T. Jarmuzek: Tableau metatheory for paraconsistent logics defined by possible world's semantics
P. Jetli: Aristotle’s Syllogistic Logic is a Paraconsistent Logic
H. Kurokawa: Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube
O. Korkmaz: A paraconsistent solution to Kratzer’s modal semantics
H. Omori: Naive set theories based on expansions of BD enriched by classical negation
A. Moretti and R. Pélissier: Many-valuedness and paraconsistency in a 3-oppositional quadrisimplex of sheaves
C. Mortensen: Wedge Sum as Inconsistent
A. Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski's logic D2
G. Priest: The Adventures of the Catuskoti
G. Pulcini: Towards a unified setting for non-monotonicity and paraconsistency
V. Puncochár:Internal and External logics of Nelson Models
F. Putte: Adaptive Logics and Selection Function
D. Skurt: Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic
S. Tarafder and M. Chakraborty: The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics
E. Turunen: Two Paraconsistent Semantics for Pavelka's Fuzzy Logic
M. Vacek: Paraconsistency and Impossible Worlds
P. Verdée:Paraconsistent and classical negation in the context of relevant implication
D. Zaitsev: Propositions, Paraconsistency, Paracompleteness
C. Baskent: Game Semantics and Paraconsistency
D. Batens: Some adaptive contributions to Logics of Formal Inconsistency
Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics
19.
ＥＢ
edited by Matthew Foreman, Akihiro Kanamori
20.
ＥＢ
by Yu. I. Manin
21.
ＥＢ
by Andrzej Indrzejczak
22.
ＥＢ
edited by Jean-Yves Béziau, Dale Jacquette
23.
ＥＢ
by Paulo Guilherme Santos
目次情報:
続きを見る
Diagonalization in Mathematics
Diagonalization Lemma
Fixed Point Theorems
Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox
Diagonalization in Mathematics
Diagonalization Lemma
Fixed Point Theorems
24.
ＥＢ
edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
目次情報:
続きを見る
Well, Better, and in-between
The Categorical Structure of Well-Quasi Orders
On Kriz's Theorem
On the Width of FAC Orders, a Somewhat Rediscovered Notion
Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings
Well-Quasi Orders and Regularity
Well Quasi Ordering and Embeddability of Relational Structures
A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory
The Reverse Mathematics of wqos and bqos
Well-partial Ordering and the Maximal Order Type
TBC
The Worlds of Well-Partial-Orders and Ordinal Notation systems
Bounds for the Strength of the Graph Minor Theorem
Well, Better, and in-between
The Categorical Structure of Well-Quasi Orders
On Kriz's Theorem
25.
ＥＢ
by Andrzej Pietruszczak
目次情報:
続きを見る
Foreword
Chapter I. Introduction
Chapter II. “Existentially neutral” theories of parthood
Chapter III. Theories of parthood with sum existence axioms
Chapter IV. Theories of parthood without transitivity
Appendix A. Logic and set theory
Appendix B. Algebra
Foreword
Chapter I. Introduction
Chapter II. “Existentially neutral” theories of parthood
26.
ＥＢ
by Craig Smoryński
目次情報:
続きを見る
1 Introduction
2 Logic Puzzles
3 Some Basic Mathematical Exercises
4 Probability
5 Graph Theory
A Further Explorations
Index
1 Introduction
2 Logic Puzzles
3 Some Basic Mathematical Exercises
27.
ＥＢ
edited by Reinhard Kahle, Michael Rathjen
目次情報:
続きを見る
Preface
List of Contributors
Part I History and Memories
Part II Proof Theory at Work
Part III Further Legacy
Part IV Kurt Schüttes Spätwerk
Preface
List of Contributors
Part I History and Memories
28.
ＥＢ
edited by Julie Brumberg-Chaumont, Claude Rosental
目次情報:
続きを見る
Introduction
Part I. “Primitives” and Civilized Men
Decolonizing “Natural Logic”
Natural Logic, Anthropological Antilogies, and Savage Thought in the 19th Century
Referring to Logical Skills to Assess the Rationality of an Ethnic Group: The Zande Case in the History of the Social Sciences
“Some Stages of Logical Thought”: From Native Certainties to Acquired Doubts
Part II. Educated and Disabled Men
The Rise of Logical Skills and the 13th Century Origins of the “Logical Man”
Anti-dialecticians in the Middle Ages: Historiographic Myth or Reality?
Illogical Thinking: Problems Concerning Medieval Notions of “Idiocy” and “Rationality”
Natural Logic and the Course of Time: From Theology to Developmental Psychology
Index
Introduction
Part I. “Primitives” and Civilized Men
Decolonizing “Natural Logic”
29.
ＥＢ
by Mohamed A. Amer
目次情報:
続きを見る
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
Acknowledgements
1. Formalizations of AAS
2. Semantics of AAS
30.
ＥＢ
by Petr Cintula, Carles Noguera
目次情報:
続きを見る
Chapter 1. Preliminaries
Chapter 2. Weakly Implicative Logics
Chapter 3. Substructural Logics
Chapter 4. Generalized Disjunctions
Chapter 5. Semilinear Logics
Chapter 6. First-Order Predicate Logics
Chapter 1. Preliminaries
Chapter 2. Weakly Implicative Logics
Chapter 3. Substructural Logics
31.
ＥＢ
by Elena Anne Corie Marchisotto, Francisco Rodríguez-Consuegra, James T. Smith
目次情報:
続きを見る
Preface
Pieri's Contributions to Foundations and Philosophy of Mathematics
Pieri's Philosophy of Deductive Sciences
Two Paths to Logical Consequence: Pieri and the Peano School
Pieri's 1900 Paris Paper
Pieri and Projective Geometry
Pieri's 1898 Geometry of Position Memoir
Transformational Geometry
Pieri's 1900 Point-and-Motion Memoir
Pieri's Works on Foundations and Philosophy of Mathematics
Central Themes and Impact of Pieri's Work
Bibliography
Index
Preface
Pieri's Contributions to Foundations and Philosophy of Mathematics
Pieri's Philosophy of Deductive Sciences
32.
ＥＢ
edited by Maria Hämeen-Anttila, Jan von Plato
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Sources and Studies in the History of Mathematics and Physical Sciences ;
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-87296-0
所蔵情報:
loading…
目次情報:
続きを見る
Gödel's Functional Interpretation in Context
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
References
Name Index
Gödel's Functional Interpretation in Context
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
33.
ＥＢ
edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
出版情報:
Singapore : Springer Nature Singapore : Imprint: Springer, 2021
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 369
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-981-16-4173-2
所蔵情報:
loading…
目次情報:
続きを見る
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
T. Kurahashi, Rosser provability and the second incompleteness theorem
H. Kurokawa, On Takeuti’s early view of the concept of set
Yo Matsubara and T. Usuba, On Countable Stationary Towers
M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws
T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds
M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions
M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment
Y. Yoshinobu, Properness under closed forcing
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
34.
ＥＢ
by Andrzej Indrzejczak
目次情報:
続きを見る
Introduction
Analytic Sequent Calculus for CPL
Gentzen's Sequent Calculus LK
Purely Logical Sequent Calculus
Sequent Calculi for Modal Logics
Alternatives to CPL
Appendix
Introduction
Analytic Sequent Calculus for CPL
Gentzen's Sequent Calculus LK
35.
ＥＢ
edited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Logic, Epistemology, and the Unity of Science ; 49
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-53654-1
所蔵情報:
loading…
目次情報:
続きを見る
Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour)
Chapter 2. Extension and Interpretability (Albert Visser)
Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono)
Chapter 4. Bounded Distributive Lattices with Two Subordinations (Sergio Celani and Roman Jansana)
Chapter 5. The Termination Condition of Gossip Protocols (Rahim Ramezanian, Rasool Ramezanian, and Hans van Ditmarsch)
Chapter 6. On equivalence (Wim Veldman)
Chapter 7. Unification in basic logic (Mojatba Mojtahedi)
Chapter 8. Binary Modal Companions for Subintuitionistic Logics (Dick de Jongh and Fateme Shirmohammadzade Maleki)
Chapter 9. From Intuitionism to Many-Valued Logics through Kripke Models (Saeed Salehi Pourmehr)
Chapter 10. The Intuitionistic Logic of Language (Mehrnoosh Sadrzadeh)
Chapter 11. Non-Conditional Contracting Connectives (Luis Estrada-González and Elisángela Ramírez-Cámara)
Chapter 12. The Struggle between Syntax and Semantics in Mathematics (Siavash Shahshahani)
Chapter 13. De-Modalizeing the Language in an Empiricist-Friendly Way: The Case of Physics (Kave Lajevardi)
Chapter 14. Avicenna on Deductions from Contradictory Premises (Behnam Zolghar)
Chapter 15. On Descriptive Propositions in Ibn Sīnā: Elements for a Logical Analysis (Shahid Rahman and Mohammad Saleh Zarepour)
Chapter 16. TBA (Ali Farjami)
Chapter 17. Empiricism of Avicenna Reconsidered (Seyed N. Mousavian)
Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour)
Chapter 2. Extension and Interpretability (Albert Visser)
Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono)
36.
ＥＢ
edited by Jean-Yves Béziau, Jean-Pierre Desclés, Amirouche Moktefi, Anca Christine Pascu
目次情報:
続きを見る
Inference in nineteenth century British logic
The representation of negative terms with Euler diagrams
Logical hylemorphism in the 13th Latin century
What is the relation between Peirce’s logic and his philosophy of logic?
Boole’s symbolized laws of thought facing empiricism
Lewis Carroll’s almost diagrammatic notation
Boole's untruth tables: The formal conditions of meaning before the emergence of propositional logic
What is “ancient Chinese logic”?
Husserlian pure logic from the standpoint of intentionality
Definition and inference in Leśniewski’s logic
The place and value of logic in Louis Couturat’s philosophical thinking
Frege’s silence about Bolzano
Symbolism and unintepretability in Boole
Tabular notations
Identity, equality in logic, mathematics and politics
Logic and metaphysics
Can logic be cartesian?
Images and their ability to negate
What does “best explaining" mean? Explanatory virtues and the role of context in IBE
What does a concept entail?
The analytic and the synthetic from homology to heterology
About all and nothing. Meinongian views of all and nothing as maximal and minimal objects of thought
On dichotomy and analogy: A question on the next ‘unbloody’ revolution in logic
Logic and analogy
A Carnapian logic of conceivability
No, no and no
Philosophical logic = philosophy + logic?
‘Grammar is not a mechanism’ (Wittgenstein) or what could an anthropology of mathematics?
Existential Presupposition and Logical Square
The unification of mathematics via topos theory
Quasi-topological structuring of extensions within logic of typicals and atypicals (LTA)
Contributions of logical analysis for mathematics education
A categorical aspect of the analogy between quantifiers and modalities
The relevance logic program: Failed or just stalled?
Is logic relevant to classifications?
Logic and theory of representation
Back and forth in positive logic
Inference in nineteenth century British logic
The representation of negative terms with Euler diagrams
Logical hylemorphism in the 13th Latin century
37.
ＥＢ
by Peter van Emde Boas, Ghica van Emde Boas, Kaibo Xie, Bonan Zhao
目次情報:
続きを見る
Introduction
Sun Tzu and the Art of War
Diagramming Ancient Text
The Making of a Mind Map
Logic
Patterns
Conditional Sentences
The Linguistic Perspective
Game Theory and Strategic Thinking
The Mind Mapping Perspective
Start Planning
Waging War
Planning Attack
Tactical Dispositions
Energy
Weak Points and Strong
Contending
Nine Variations
The Army on the March
Terrain
The Nine Situations
The Attack by Fire
The Use of Spies
List of All Patterns
Translations of The Art of War
Introduction
Sun Tzu and the Art of War
Diagramming Ancient Text
38.
ＥＢ
by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
目次情報:
続きを見る
Chapter 1. Analyticity, Consequence, and Meaninglessness
Chapter 2. Płonka Sums and Regular Varieties
Chapter 3. Dualities for Regular Varieties
Chapter 4. Logics of Left Variable Inclusion
Chapter 5. Logics of Right Variable Inclusion
Chapter 6. Paraconsistent Weak Kleene Logic
Chapter 1. Analyticity, Consequence, and Meaninglessness
Chapter 2. Płonka Sums and Regular Varieties
Chapter 3. Dualities for Regular Varieties
39.
ＥＢ
edited by Jean-Yves Beziau, Ioannis Vandoulakis
目次情報:
続きを見る
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
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
40.
ＥＢ
by Ivano Ciardelli
目次情報:
続きを見る
1. Introduction
2. On the role of questions in logic
3. Questions in propositional logic
4. Reasoning with questions
5. Questions in first-order logic
6. Questions in modal logic
7. Connections with intuitionistic logic
8. Connections with dependence logic
9. Conclusion
1. Introduction
2. On the role of questions in logic
3. Questions in propositional logic
41.
ＥＢ
edited by David Binder, Thomas Piecha, Peter Schroeder-Heister
目次情報:
続きを見る
Part I: Articles
Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister)
Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper)
Chapter 3. Logic without Assumptions (1947) (Karl R. Popper)
Chapter 4. New Foundations for Logic (1947) (Karl R. Popper)
Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper)
Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper)
Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper)
Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper)
Chapter 9. A Note on Tarski’s Definition of Truth (1955) (Karl R. Popper)
Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper)
Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper)
Chapter 12. Lejewski’s Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper)
Chapter 13. Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al)
Part II: Manuscripts
Chapter 14. Introduction to Popper’s Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister)
Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays)
Chapter 16. A General Theory of Inference (Karl R. Popper)
Chapter 17. On the Logic of Negation (Karl R. Popper)
Chapter 18. A Note on the Classical Conditional (Karl R. Popper)
Part III: Correspondence
Chapter 19. Introduction to Popper’s Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister)
Chapter 20. Popper’s Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays)
Chapter 21. Popper’s Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer)
Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap)
Chapter 23. Popper’s Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church)
Chapter 24. Popper’s Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen)
Chapter 25. Popper’s Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder)
Chapter 26. Popper’s Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys)
Chapter 27. Popper’s Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene)
Chapter 28. Popper’s Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale)
Chapter 29. Popper’s Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine)
Chapter 30. Popper’s Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz)
Chapter 31. Popper’s Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister)
Concordances
Bibliography
Index
Part I: Articles
Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister)
Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper)
42.
ＥＢ
edited by Alex Citkin, Ioannis M. Vandoulakis
目次情報:
続きを見る
Chapter 1. Short autobiography (Vadim A. Yankov), Part I: Non-classical logics
Chapter 2. V. Yankov’s contributions to propositional Logic (Alex Citkin)
Chapter 3. Dialogues and proofs; Yankov’s contribution to proof theory (Andrzej Indrzejczak)
Chapter 4. Jankov formulas and axiomatization techniques for intermediate logics (Guram Bezhanishvili, Nick Bezhanishvili)
Chapter 5. Yankov Characteristic formulas (an algebraic account) (Alex Citkin)
Chapter 6. The invariance modality (Silvio Ghilardi)
Chapter 7. The Lattice NExtS41 as composed of replicas of NExtInt, and beyond (Alexei Muravitsky)
Chapter 8. An Application of the Yankov characteristic formulas (Valery Plisko)
Chapter 9. A note on disjunction and existence properties in predicate extensions of intuitionistic logic – An application of Jankov formulas to predicate logics (Nobu-Yuki Suzuki)
Part II: History and philosophy of mathematics
Chapter 10. On V.A. Yankov’s contribution to the history of foundations of mathematics (Ioannis M. Vandoulakis)
Chapter 11. On V.A. Yankov’s existential interpretation of the early Greek philosophy. The case of Heraclitus (Tatiana Yu. Denisova)
Chapter 12. On V.A. Yankov’s hypothesis of the rise of Greek mathematics (Ioannis M. Vandoulakis)
Chapter 1. Short autobiography (Vadim A. Yankov), Part I: Non-classical logics
Chapter 2. V. Yankov’s contributions to propositional Logic (Alex Citkin)
Chapter 3. Dialogues and proofs; Yankov’s contribution to proof theory (Andrzej Indrzejczak)
43.
ＥＢ
by Carlo Cellucci
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2022
シリーズ名:
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 470
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-031-13417-3
所蔵情報:
loading…
目次情報:
続きを見る
First-Order Logic
Completeness
First-Order Theories
Primitive Recursive Arithmetic
Encoding
Incompleteness
Other Limitative Results
Second-Order Logic
Second-Order Arithmetic
Appendix
First-Order Logic
Completeness
First-Order Theories
ＥＢ
