What people are saying - Write a review
We haven't found any reviews in the usual places.
vi Multiplication for Number
ii More on Proof and Deduction
B Numerousness and ObjectLanguage
ii Multiplication Again
Ordered Pairs Integers
1-1 proper correspondence abstract entities appear axioms chapter characterization chess claim class predicates CLASSPREDCON concepts condition conjunction connection contain defined definiens definition discussion disjunction DSTs dyadic relational E-element E-quantified embodiment English entailments equals equivalent example F statements finite NQD-matrix five follows formal system given horses identity INDCON individual constant instances integers involve kind term KINDPREDCON language linguistic items logic materially equivalent mathematics mbif ments metalanguage metalinguistic ML Inumerical ML variables multiplicative numerical words natural linguistic objects natural numbers NI-elements nominalist number universal numerical quantifier statements NUMQUANT old elements pawn Peano's axioms philosophical philosophy of mathematics PREDCON predicate statement proof of arithmetic proofs and deductions properties Q-matrix reconstruction of arithmetic relation tokens role rules of inference Sellarsian SGTs singular term sort statement matrix statements of arithmetic STPs subsection syntactical syntactical predicates system of arithmetic tion triangpf triangular trilateral trilatpf true truth two(there be three universally quantified