



LEADER 
02486nmm a2200313 u 4500 
001 
EB000710754 
003 
EBX01000000000000000563836 
005 
00000000000000.0 
007 
cr 
008 
140122  eng 
020 


a 9789400905252

100 
1 

a Epstein, R.L.

245 
0 
0 
a The Semantic Foundations of Logic Volume 1: Propositional Logics
h Elektronische Ressource
c by R.L. Epstein

250 


a 1st ed. 1990

260 


a Dordrecht
b Springer Netherlands
c 1990, 1990

300 


a XXII, 388 p
b online resource

505 
0 

a 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   ManyValued Logics  L3, Ln, L?, K3, G3, Gn, G?, S5   A Paraconsistent Logic: J3  Translations Between Logics  The Semantic Foundations of Logic  Summary of Logics

653 


a Mathematical logic

653 


a Logic

653 


a Artificial Intelligence

653 


a Artificial intelligence

653 


a Mathematical Logic and Foundations

041 
0 
7 
a eng
2 ISO 6392

989 


b SBA
a Springer Book Archives 2004

490 
0 

a Nijhoff International Philosophy Series

028 
5 
0 
a 10.1007/9789400905252

856 
4 
0 
u https://doi.org/10.1007/9789400905252?nosfx=y
x Verlag
3 Volltext

082 
0 

a 160

520 


a 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
