Philosophy Lexicon of Arguments

Calculus: a calculus is a system of symbols for objects (which are not further specified) as well as rules for the formation of expressions by the composition of these symbols. There are other rules for transforming composite expressions into other expressions. As long as no specified objects are accepted for the individual symbols, the calculus is not interpreted, otherwise interpreted.
Author Item Excerpt Meta data

Books on Amazon
I 63
artificial language / formal language/ counterpart / Mates: the statements of the natural language correspond the artificial formulas, as a counterpart, not as abbreviations - if symbols are associated with no sense, then it is an uninterpreted calculus.
I 115
Propositional calculus /p.c.: has no quantifiers.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Counter arguments against Mates

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-26