OXFORD UNIVERSITY PRESS

Core Logic

ISBN : 9780198777892

参考価格(税込): 
¥8,217
著者: 
Neil Tennant
ページ
360 ページ
フォーマット
Hardcover
サイズ
171 x 246 mm
刊行日
2017年08月

カートに入れる

購入するには、商品をカートに入れ、ページ上方の「ショッピングカート」より手続きを行ってください。

メール送信
印刷

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitive irrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ensure that one can make deductive progress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes.

目次: 

1 Introduction and Overview
2 The Road to Core Logic
3 The Logic of Evaluation
4 From the Logic of Evaluation to the Logic of Deduction
5 Motivating the Rules of Sequent Calculus
6 Transitivity of Deducibility
7 Epistemic Gain
8 Truthmakers and Consequence
9 Transmission of Truthmakers
10 The Relevance Properties of Core Logic
11 Core Logic and the Paradoxes
12 Replies to Critics of Core Logic

著者について: 

Neil Tennant isArts & Humanities Distinguished Professor of Philosophy and Distinguished University Scholar at the Ohio State University. He has taught at the Universities of Edinburgh and Stirling and at the Australian National University. His books include Anti-Realism and Logic (OUP 1987), The Taming of the True (OUP 1997), Changes of Mind (OUP 2012), and Introducing Philosophy: God, Mind, World, and Logic (Routledge 2015).

このページに掲載の「参考価格」は日本国内における希望小売価格です。当ウェブサイトでのご購入に対して特別価格が適用される場合、販売価格は「割引価格」として表示されます。なお、価格は予告なく変更されることがございますので、あらかじめご了承ください。