<strong>`</strong>Throughout, the treatment is thorough and the writing is clear. Superb bibliography; glossary; extensive index. Highly recommended for every specialist in logic.<strong>'</strong> <strong>Choice, 1991</strong> <br />

This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connection to our everyday reasoning? The answers I propose revolve around the perception that what one pays attention to in reasoning determines which logic is appropriate. The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value. For you to understand my answers, or perhaps better, conjectures, I have retraced my steps: from the concrete to the abstract, from examples, to general theory, to further confirming examples, to reflections on the significance of the work.
Les mer
The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.
Les mer
The Basic Assumptions of Propositional Logic.- Classical Propositional Logic - PC -.- Relatedness Logic: The Subject Matter of a Proposition - S and R -.- A General Framework for Semantics for Propositional Logics.- Dependence Logics - D, Dual D, Eq, DPC -.- Modal Logics - S4, S5, S4Grz, T, B, K, QT, MSI, ML, G, G* -.- Intuitionism - Int and J -.- Many-Valued Logics - L3, Ln, L?, K3, G3, Gn, G?, S5 -.- A Paraconsistent Logic: J3.- Translations Between Logics.- The Semantic Foundations of Logic.- Summary of Logics.
Les mer
Springer Book Archives
Springer Book Archives
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9789401067225
Publisert
2013-11-13
Utgiver
Vendor
Springer
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet

Forfatter