Medieval Logic and Metaphysics: A Modern Introduction

Abelard abstract nouns admissible representations albedo albus aliquid album aliquid habens albedinem analyses animal Anselm of Canterbury antecedent Aquinas argument assertion axiom Boethius broom Burleigh Cl[a collective class conjunction consequent corresponding defined descensus disjunction Disjunctive propositional distinction dots elucidation ergo essence ex(a example existential fact functor functor of existence further Gaunilo given habet hence higher-order homo human Hume inference infinite name interpretation involved language Leśniewski's logicians lower-order medieval logic mentioned Mereology modern logic name-like expressions nature nihil nominal negation noun-expressions ob(a object object-parts Ockham's Ontology paronyms Pegasus philosophical Platonic realism possible predicate present proper propositional negation Proslogion question quia quod restricted quantification Russell's paradox Scotist semantical categories sense sentences significat signify Socrates sol(a sort species St Anselm substituends suggested suppositio supposition theory thesis thing thought to-be true truth Truth-conditions universal unshared name variables verb verb-like whole