An introduction to non-classical logic
This welcome book provides, in unified format, treatments of a variety of different propositional logics. We begin with the presumed familiar classical logic, introducing the tableau method of proof for it, and proceed to various systems of modal logic, conditional logics, intuitionist logic, many-valued logics, first-degree entailment, relevant and other paraconsistent logics, and fuzzy logics (including fuzzified relevant logics, p. 222). For each class of logics we have an introduction, semantics (in terms of possible, or in some cases impossible, worlds), rules for tableau-style proofs (except for the fuzzy logics from \({\L}_\aleph)\), a general discussion of some of the distinctive features and of relations among the different logics of the class, examples and counter-examples illustrating these, a starred (omissible) section giving proofs of the appropriate soundness and completeness theorems, a brief (sometimes too brief) history of the circumstances in which logics of that class were introduced, suggestions for further reading, and some (well-devised) problems. There is a recurrent focus on how conditionals behave in each logic, which gives a unity to the project. Using the tableau methods simplifies soundness and (even more so) completeness proofs, and working through them will give the student a good feel for what is, and what is not, valid in each different logic. This book deserves to become the standard textbook in its field.
- An introduction to non-classical logic. From if to is
- An introduction to non-classical logic. Transl. from the English and edited by Stephan Cursiefen and Tanja Osswald. With the collaboration of Miriam Ossa
- scientific article; zbMATH DE number 2205635
- scientific article; zbMATH DE number 1937274
- scientific article; zbMATH DE number 107515
- Supervaluationism and logical consequence: A third way
- A model of tolerance
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Another solution to the problem of theoretical terms
- Interpolation in non-classical logics
- On permutation in simplified semantics
- Truth values and proof theory
- Saving the truth schema from paradox
- Probabilistic opinion pooling generalized. I: General agendas
- Probabilistic opinion pooling generalized. II: The premise-based approach
- Paradoxes of logical equivalence and identity
- The hooded man
- The philosophical significance of Cox's theorem
- Russell and his sources for non-classical logics
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Simple hyperintensional belief revision
- Implicational tonoid logics: algebraic and relational semantics
- On the universality of atomic and molecular logics via protologics
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- Free logics are cut-free
- Radical interpretation and logical pluralism
- Semantic penumbra: concept similarity in logic
- Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
- Probability, fuzziness and borderline cases
- Logical pluralism and semantic information
- A generalised model of judgment aggregation
- Dynamic and stochastic systems as a framework for metaphysics and the philosophy of science
- A plea for KR
- On ground and consequence
- Non-classical logics and intelligent systems
- Language and logics. An introduction to the logical foundations of language
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
- Realism, Antirealism, and Paraconsistency
- Reasoning About Belief Revision
- The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism
- Logic. The basics
- Philosophical logic
- From iff to is: some new thoughts on identity in relevant logics
- Two negations are more than one
- The Byzantine liar
- Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}
- An introduction to non-classical logic. From if to is
- An introduction to non-classical logic. Transl. from the English and edited by Stephan Cursiefen and Tanja Osswald. With the collaboration of Miriam Ossa
- Jaina Logic: A Contemporary Perspective
- Many-valued modal logics: a simple approach
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- FOUR BASIC LOGICAL ISSUES
- scientific article; zbMATH DE number 107515 (Why is no real title available?)
- The logic of Quinean revisability
- scientific article; zbMATH DE number 556651 (Why is no real title available?)
- scientific article; zbMATH DE number 1027922 (Why is no real title available?)
- scientific article; zbMATH DE number 1937274 (Why is no real title available?)
- scientific article; zbMATH DE number 1554267 (Why is no real title available?)
- Elementary logic with applications. A procedural perspective for computer scientists
- Logical consequences. Theory and applications: an introduction
- scientific article; zbMATH DE number 872888 (Why is no real title available?)
- Strict-choice validities: A note on a familiar pluralism
- scientific article; zbMATH DE number 918109 (Why is no real title available?)
- A paraconsistent and substructural conditional logic
- Distribution in the logic of meaning containment and in quantum mechanics
- A note on entropy of logic
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Rough and Near: Modal History of Two Theories
- Logic and Implication
- A method of defining paraconsistent tableaus
- Should Deflationists Be Dialetheists?
- Natural derivations for Priest, an introduction to non-classical logic
- scientific article; zbMATH DE number 2205635 (Why is no real title available?)
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- Completeness and Herbrand theorems for nominal logic
- On the logical form of evidential conditionals
- An introduction to classical and modal logics. The outlines of knowledge (to appear)
- Tri-simplicial contradiction: the ``Pascalian 3D simplex for the oppositional tri-segment
- Odd objects: LEM violations and indeterminacy
- The logic of fast and slow thinking
- Topologies and fixpoints on weak partial metric spaces
- 3 + 1 formalism of the minimally extended varying speed of light model
- Quantification in nonclassical logic. Volume I.
- A positive information logic for inferential information
- Modeling sorites reasoning with adaptive fuzzy logic
- Restricted arrow
- Relevant restricted quantification
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- The possibility of judgment aggregation on agendas with subjunctive implications
- A modal view of the semantics of theoretical sentences
- Epistemic modals and informational consequence
This page was built for publication: An introduction to non-classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2748497)
