Muutke küpsiste eelistusi

E-raamat: Logic: The Basics 2nd edition [Taylor & Francis e-raamat]

(University of Connecticut, USA),
  • Formaat: 312 pages
  • Sari: The Basics
  • Ilmumisaeg: 21-Feb-2017
  • Kirjastus: Routledge
  • ISBN-13: 9781315723655
Teised raamatud teemal:
  • Taylor & Francis e-raamat
  • Hind: 110,79 €*
  • * hind, mis tagab piiramatu üheaegsete kasutajate arvuga ligipääsu piiramatuks ajaks
  • Tavahind: 158,27 €
  • Säästad 30%
Logic: The Basics 2nd editionSuurem pilt
  • Formaat: 312 pages
  • Sari: The Basics
  • Ilmumisaeg: 21-Feb-2017
  • Kirjastus: Routledge
  • ISBN-13: 9781315723655
Teised raamatud teemal:
Taylor & Francis e-raamatudRohkem infot Taylor & Francis e-raamatute kohta
Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as:

· mathematical preliminaries

· propositional logic

· quantified logic (first monadic, then polyadic)

· English and standard symbolic translations

· tableau procedures.

Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of how they can take their knowledge further. With its wealth of exercises (solutions available in the encyclopedic online supplement), Logic: The Basics is a useful textbook for courses ranging from the introductory level to the early graduate level, and also as a reference for students and researchers in philosophical logic.
Preface xv
Acknowledgments xxi
Part I: Background Ideas 1(50)
1 Consequences
3(9)
1.1 Relations of support
4(1)
1.2 Logical consequence: the basic recipe
5(2)
1.3 Valid arguments and truth
7(2)
1.4 Summary, looking ahead, and further reading
9(1)
1.5 Exercises
10(1)
1.6 Notes
11(1)
2 Models, modeled, and modeling
12(6)
2.1 Models
12(1)
2.2 Models in science
13(2)
2.3 Logic as modeling
15(1)
2.4 A note on notation, metalanguages, and so on
15(1)
2.5 Summary, looking ahead, and further reading
16(1)
2.6 Exercises
16(1)
2.7 Notes
17(1)
3 Language, form, and logical theories
18(18)
3.1 Language and formal languages
18(1)
3.2 Languages: syntax and semantics
19(4)
3.3 Atoms, connectives, and molecules
23(4)
3.4 Connectives and form
27(2)
3.5 Validity and form
29(2)
3.6 Logical theories: rivalry
31(1)
3.7 Summary, looking ahead, and further reading
32(1)
3.8 Exercises
33(1)
3.9 Notes
34(2)
4 Set-theoretic tools
36(15)
4.1 Sets
36(4)
4.2 Ordered sets: pairs and n-tuples
40(2)
4.3 Relations
42(2)
4.4 Functions
44(2)
4.5 Sets as tools
46(1)
4.6 Summary, looking ahead, and further reading
46(1)
4.7 Exercises
47(1)
4.8 Notes
48(3)
Part II: The Basic Classical Theory 51(46)
5 Basic classical syntax and semantics
53(21)
5.1 Cases: complete and consistent
54(1)
5.2 Classical 'truth conditions'
55(2)
5.3 Basic classical consequence
57(2)
5.4 Motivation: precision
59(1)
5.5 Formal picture
60(6)
5.6 Defined connectives
66(1)
5.7 Some notable valid forms
67(2)
5.8 Summary, looking ahead, and further reading
69(1)
5.9 Exercises
70(1)
5.10 Notes
71(3)
6 Basic classical tableaux
74(12)
6.1 What are tableaux?
74(3)
6.2 Tableaux for the basic classical theory
77(6)
6.3 Summary, looking ahead, and further reading
83(1)
6.4 Exercises
83(1)
6.5 Notes
84(2)
7 Basic classical translations
86(11)
7.1 Atoms, punctuation, and connectives
86(4)
7.2 Syntax, altogether
90(2)
7.3 Semantics
92(1)
7.4 Consequence
92(2)
7.5 Summary, looking ahead, and further reading
94(1)
7.6 Exercises
94(2)
7.7 Notes
96(1)
Part III: First-Order Classical Theory 97(74)
8 Atomic innards: unary
99(12)
8.1 Atomic innards: names and predicates
99(2)
8.2 Truth and falsity conditions for atomics
101(1)
8.3 Cases, domains, and interpretation functions
102(2)
8.4 Classicality
104(1)
8.5 A formal picture
105(3)
8.6 Summary, looking ahead, and further reading
108(1)
8.7 Exercises
108(1)
8.8 Notes
109(2)
9 Everything and something
111(12)
9.1 Validity involving quantifiers
111(2)
9.2 Quantifiers: an informal sketch
113(1)
9.3 Truth and falsity conditions
114(1)
9.4 A formal picture
115(4)
9.5 Summary, looking ahead, and further reading
119(1)
9.6 Exercises
120(2)
9.7 Notes
122(1)
10 First-order language with any-arity innards
123(10)
10.1 Truth and falsity conditions for atomics
124(2)
10.2 Cases, domains, and interpretation functions
126(1)
10.3 Classicality
126(1)
10.4 A formal picture
127(3)
10.5 Summary, looking ahead, and further reading
130(1)
10.6 Exercises
130(2)
10.7 Notes
132(1)
11 Identity
133(12)
11.1 Logical expressions, forms, and sentential forms
135(1)
11.2 Validity involving identity
135(2)
11.3 Identity: informal sketch
137(1)
11.4 Truth conditions: informal sketch
138(1)
11.5 Formal picture
139(3)
11.6 Summary, looking ahead, and further reading
142(1)
11.7 Exercises
142(2)
11.8 Notes
144(1)
12 Tableaux for first-order logic with identity
145(15)
12.1 A few reminders
145(1)
12.2 Tableaux for polyadic first-order logic
146(11)
12.3 Summary, looking ahead, and further reading
157(1)
12.4 Exercises
157(1)
12.5 Notes
158(2)
13 First-order translations
160(11)
13.1 Basic classical theory with innards
160(2)
13.2 First-order classical theory
162(1)
13.3 Polyadic innards
163(1)
13.4 Examples in the polyadic language
164(2)
13.5 Adding identity
166(2)
13.6 Summary, looking ahead, and further reading
168(1)
13.7 Exercises
169(1)
13.8 Notes
170(1)
Part IV: Nonclassical Theories 171(108)
14 Alternative logical theories
173(17)
14.1 Apparent unsettledness
173(3)
14.2 Apparent overdeterminacy
176(1)
14.3 Options
177(1)
14.4 Cases
178(1)
14.5 Truth and falsity conditions
179(4)
14.6 Logical consequence
183(4)
14.7 Summary, looking ahead, and further reading
187(1)
14.8 Exercises
188(1)
14.9 Notes
189(1)
15 Nonclassical sentential logics
190(11)
15.1 Syntax
190(1)
15.2 Semantics, broadly
191(5)
15.3 Defined connectives
196(1)
15.4 Some notable forms
196(2)
15.5 Summary, looking ahead, and further reading
198(1)
15.6 Exercises
199(1)
15.7 Note
200(1)
16 Nonclassical first-order theories
201(7)
16.1 An informal gloss
201(1)
16.2 A formal picture
202(3)
16.3 Summary, looking ahead, and further reading
205(1)
16.4 Exercises
206(1)
16.5 Notes
207(1)
17 Nonclassical tableaux
208(8)
17.1 Closure conditions
208(2)
17.2 Tableaux for nonclassical first-order logics
210(5)
17.3 Summary, looking ahead, and further reading
215(1)
17.4 Exercises
215(1)
18 Nonclassical translations
216(8)
18.1 Syntax and semantics
216(4)
18.2 Consequence
220(2)
18.3 Summary, looking ahead, and further reading
222(1)
18.4 Exercises
222(1)
18.5 Note
223(1)
19 Speaking freely
224(11)
19.1 Speaking of nonexistent 'things'
224(1)
19.2 Existential import
225(1)
19.3 Freeing our terms, expanding our domains
226(1)
19.4 Truth conditions: an informal sketch
227(1)
19.5 Formal picture
228(3)
19.6 Summary, looking ahead, and further reading
231(1)
19.7 Exercises
232(1)
19.8 Notes
233(2)
20 Possibilities
235(19)
20.1 Possibility and necessity
236(1)
20.2 Towards truth and falsity conditions
237(5)
20.3 Cases and consequence
242(1)
20.4 Formal picture
243(4)
20.5 Remark on going beyond possibility
247(3)
20.6 Summary, looking ahead, and further reading
250(1)
20.7 Exercises
251(1)
20.8 Notes
252(2)
21 Free and modal tableaux
254(10)
21.1 Free tableaux
254(3)
21.2 Modal tableaux
257(4)
21.3 Summary, looking ahead, and further reading
261(1)
21.4 Exercises
262(2)
22 Glimpsing different logical roads
264(15)
22.1 Other conditionals
265(2)
22.2 Other negations
267(3)
22.3 Other alethic modalities: actuality
270(1)
22.4 Same connectives, different truth conditions
271(2)
22.5 Another road to difference: consequence
273(2)
22.6 Summary, looking behind and ahead, and further reading
275(2)
22.7 Exercises
277(1)
22.8 Notes
277(2)
References 279(4)
Index 283
Jc Beall is Board of Trustees Distinguished Professor of Philosophy at the University of Connecticut, Storrs, USA; and Professor of Philosophy at the University of Tasmania, Hobart, Australia.



Shay Allen Logan is a Postdoctoral Scholar in Logic at North Carolina State University, USA.
Püsilink: https://www.kriso.ee/db/9781315723655_pe.html
Märksõnad: