Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    ISBN: 9789400744387
    Language: English
    Pages: Online-Ressource (VIII, 375 p. 31 illus, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 26
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Tanaka, Kōji, 1965 - Paraconsistency
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Aufsatzsammlung ; Parakonsistente Logik
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.
    Note: Includes bibliographical references and index , Part 2. Applications ; An Approach to Human-Level Commonsense Reasoning , Paraconsistency: Introduction , Distribution in the Logic of Meaning Containment and in Quantum Mechanics , Wittgenstein on Incompleteness Makes Paraconsistent Sense , Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices , Arithmetic Starred , Notes on Inconsistent Set Theory , Sorting out the Sorites , Are the Sorites and Liar Paradox of a Kind? , Vague Inclosures , Part 1. Logic ; Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic , On Discourses Addressed by Infidel Logicians , Information, Negation, and Paraconsistency , Noisy vs. Merely Equivocal Logics , Assertion, Denial and Non-classical Theories , New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency , Consequence as Preservation: Some Refinements , On Modal Logics Defining Jaśkowski's D2-Consequence , FDE: A Logic of Clutters , A Paraconsistent and Substructural Conditional Logic
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISBN: 9789400744646
    Language: English
    Pages: Online-Ressource (X, 156 p, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 29
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Frápolli, María José, 1960 - The nature of truth
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Pragmatism ; Semantics ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Pragmatism ; Semantics ; Truth ; Wahrheit ; Wahrheit
    Abstract: The book offers a characterization of the meaning and role of the notion of truth in natural languages and an explanation of why, in spite of the big amount of proposals about truth, this task has proved to be resistant to the different analyses. The general thesis of the book is that defining truth is perfectly possible and that the average educated philosopher of language has the tools to do it. The book offers an updated treatment of the meaning of truth ascriptions from taking into account the latest views in philosophy of language and linguistics.
    Abstract: The wealth of proposals about truth and its meaning in natural languages everywhere should open it to analysis and definition, but this book makes the startlingly rare assertion that we can define truth using the latest methods in linguistics and philosophy
    Description / Table of Contents: The Nature of Truth; Acknowledgements; Contents; Chapter 1: Some Preliminary Issues; 1.1 The General Purpose; 1.2 Some Features of the Proposal; 1.3 Required Philosophical Assumptions; 1.4 The Content of a Theory of Truth; 1.5 The Pragmatist Ingredient; 1.6 The Structure of the Book; Chapter 2: Syntax: Playing with Building Blocks; 2.1 Does Syntax Matter?; 2.2 The Truth Predicate; 2.3 The Truth Operator; 2.4 Truth and Identity; 2.5 Adverbs, Adjectives and Nouns; Chapter 3: The Meaning and Content of Truth Ascriptions; 3.1 The Distinction; 3.2 Kinds of Proforms; 3.3 Truth-Ascriptions
    Description / Table of Contents: 3.4 A Classification of Truth-Ascriptions3.5 Special Semantic Tasks; Chapter 4: What Do We Do with Truth Ascriptions?; 4.1 Pragmatics and Semantics; 4.2 Assertions; 4.3 Expressivism; 4.4 Particular Pragmatic Functions; Chapter 5: The Liar Paradox (And Other Logico-Semantic Issues); 5.1 Is There a Liar Paradox?; 5.2 Truth Bearers; 5.3 Logical Form; 5.4 The Paradox; Chapter 6: What Do You Mean by "Redundancy"?; 6.1 R amsey's View; 6.2 Redundancy, of What?; 6.3 Syntactic Redundancy; 6.4 Semantic Redundancy; 6.5 Pragmatic Redundancy; Chapter 7: Obvious Answers for Ready-Made Objections
    Description / Table of Contents: 7.1 Standard Objections7.2 The Epistemic Objections; 7.2.1 Definitions vs. Criteria; 7.2.2 The Causal Effect of Truth; 7.3 The Logical Objection; 7.4 The Semantic Objection; 7.5 Mathematical Truth and Other Metaphors; References; Index;
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401700832
    Language: English
    Pages: Online-Ressource (X, 251 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 310
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    RVK:
    RVK:
    Keywords: Science Philosophy ; Logic, Symbolic and mathematical ; Philosophy and science. ; Mathematics ; Logic ; Mathematical logic. ; Science—Philosophy. ; Arithmetik ; Logischer Schluss
    Abstract: Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...