Justification logic : reasoning with reasons /
Artemov, S. N.,
Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York - 1 online resource (xxi, 247 pages) : illustrations - Cambridge tracts in mathematics ; 216 . - Cambridge tracts in mathematics ; 216. .
Includes bibliographical references and index
Why justification logic? -- The basics of justification logic -- The ontology of justifications -- Fitting models -- Sequents and tableaus -- Realization: how it began -- Realization: generalized -- The range of realization -- Arithmetical completeness and BHK semantics -- Quantifiers in justification logic -- Going past modal logic
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory
9781108348034 1108348033 9781108661102 1108661106
Logic--Symbolic and mathematical.
Inquiry (Theory of knowledge)
Science--Theory reduction.
Reasoning.
MATHEMATICS--General.
Inquiry (Theory of knowledge)
Logic, Symbolic and mathematical.
Reasoning.
Science--Theory reduction.
Electronic books.
QA9 / .A78 2019eb
511.3
Justification logic : reasoning with reasons / Sergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York - 1 online resource (xxi, 247 pages) : illustrations - Cambridge tracts in mathematics ; 216 . - Cambridge tracts in mathematics ; 216. .
Includes bibliographical references and index
Why justification logic? -- The basics of justification logic -- The ontology of justifications -- Fitting models -- Sequents and tableaus -- Realization: how it began -- Realization: generalized -- The range of realization -- Arithmetical completeness and BHK semantics -- Quantifiers in justification logic -- Going past modal logic
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory
9781108348034 1108348033 9781108661102 1108661106
Logic--Symbolic and mathematical.
Inquiry (Theory of knowledge)
Science--Theory reduction.
Reasoning.
MATHEMATICS--General.
Inquiry (Theory of knowledge)
Logic, Symbolic and mathematical.
Reasoning.
Science--Theory reduction.
Electronic books.
QA9 / .A78 2019eb
511.3