1 Formal Logic
2 Classical Propositional Logic
3 Formal Theories of Reasoning Well and Limitations of Propositional Logic
4 The Language of Predicate Logic
5 Semantics for Classical Predicate Logic
6 An Axioimatization of Classical Predicate Logic
7 Classical Predicate Logic with Equality
8 Formalizing in Classical Predicate Logic
9 Adverbs as Predicate Restrictors
10 Adjectives as Predicate Restrictors
11 A Formal Logic of Simple Predicate Restrictors for Unary Predicates
12 Examples of Formalizing
13 Are Predicate Restrictors Extensional?
14 Multiple Predicate Restrictors
15 Variable Predicate Restrictors
16 A Formal Theory of Classical Predicate Logic with Predicate Restrictors
17 Examples of Formalizing
18 Predicate Negators
19 Other Kinds of Predicate Modifiers?
20 Modifiers of Modifiers
21 The Pure Negator "Not"
22 Examples of Formalizing
23 "And" Joining Terms
24 "And" Joining Predicates
25 "And" Joining Modifiers
26 "Or" Joining Modifiers
27 Examples of Formalizing
28 Modifiers of Relations
29 Internal Conjunctions and Disjunctions with Relations
30 Examples of Formalizing
31 A Formal Theory
32 Predicates Restricting Predicates
33 Examples of Formalizing
Summary
34 Functions
35 Classical Predicate Logic with Function Names
36 Functions as Descriptive Names
37 The Syntax of Descriptive Names and Descriptive Functions
38 Semantics for Classical Predicate Logic with Descriptive Names and Descriptive Functions
39 An Axiomatization of Classical Predicate Logic with Descriptive Names and Descriptive Functions
40 Examples of Formalizing
41 Names that Don't Refer
42 Classical Predicate Logic with Non-Referring Simple Names
43 Examples of Formalizing
44 Non-Referring Names in Mathematics
45 Classical Predicate Logic with Non-Referring Simple Names and Names for Partial Functions
46 E

Filtros