Relevant logic : a philosophical examination of inference
著者
書誌事項
Relevant logic : a philosophical examination of inference
B. Blackwell, 1988
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"First published in USA 1989"
内容説明・目次
内容説明
A logical theory should provide a general criterion of validity. "Relevant Logic" sets out to establish such a criterion, and to describe the philosophical basis and the formal theory of logical argument. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof. Stephen Read essays a deduction of proof-theory embracing classical, relevant and modal logics and consistent with the appropriate semantics. "Relevant Logic" also contains a philosophical analysis of the notion of meaning as it relates to logical theory. The work is aimed at specialists in philosophical logic, formal logic, cognitive science, semantics and computer science.
目次
- 1. Scepticism and Logic
- 2. Classical Logic
- 3. An Intensional Conjunction
- 4. Proof-Theory for Relevant Logic
- 5. Worlds Semantics for Relevant Logics
- 6. Relevance
- 7. Logic on the Scottish Plan
- 8. Deviant Logic and the Sense of Connectives
- 9. Semantics and the Theory of Meaning
- 10. Conclusion.
「Nielsen BookData」 より