Notre Dame Journal of Formal Logic, Volumes 1-2University of Notre Dame., 1960 - Logic |
Other editions - View all
Common terms and phrases
a b c aleph antecedent argument Arithmetic assumption axiom of choice axiom of comprehension B₁ belongs Bolesław Sobociński cardinal number categorical syllogism concept red consequence corresponding Cretan Cretan assertion Dame deductions defined definition domain entails expression extension algebra extensionality false finite formula free variables function functors Fundamenta Mathematicae G-number Hence implies inference inferentially equivalent Jan Łukasiewicz language Lemma Leśniewski linguistic ability Łukasiewicz means metarule metatheorem modal nonverbal thought obtain occurs Ockham paradoxical Peter of Spain predicated principle of bivalency proof propositional calculus prosleptic premiss prosleptic syllogism protothetic provable proved quantifier recursive respect satisfied selectors semantical category sense sentence sequence SIII single axiom statements symbol T₁ Tarski theorem theory therbligs thesis tion Topics true truth-value Umgangssprache δὲ καὶ κατὰ τὸ