@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024},
author = {Mates,Benson},
subject = {Calculus},
note = {I 63
artificial language/formal language/counterpart/Mates: the statements of the natural language correspond the artificial formulas, as a counterpart, not as abbreviations.
>Symbols, >Equivalence, >Propositional forms, >Propositional functions,
>Formal language, >Natural language.
If symbols are associated with no sense, then it is an uninterpreted calculus.
>Interpretation/Mates.
I 115
Propositional calculus: the propositional calculus has no quantifiers.
>Propositional calculus, >Quantifiers, >Quantification.},
note = { Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=237036}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=237036}
}