The following pages link to A defense of second-order logic (Q660454):
Displaying 7 items.
- Some uses of logic in rigorous philosophy (Q660455) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Conceptual realism versus Quine on classes and higher-order logic (Q1187230) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Second-order logic: properties, semantics, and existential commitments (Q2053351) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values (Q5241522) (← links)