Abstract
We begin with a discussion of the basic tool of mathematical reasoning: the sentential calculus (or, calculus of propositions, propositional calculus, propositional logic). By a proposition, sentence we mean any statement about reality of interest to us whose truth value can be established with certainty. By a truth value of a proposition, we understand either of two possible values: truth (T or 1), falsity (F or 0). A proposition p may be therefore either true or false and only one of the two possibilities actually holds for p. For instance, the statement “if today is Monday then tomorrow is Tuesday” is according to our best knowledge true while the statement of ordinary arithmetic “ 2+2 = 3” is false. In the sequel, we denote truth values with the symbols 0, 1.
By the very act of arguing, you awake the patient’s reason; and once it is awake, who can foresee the result?
C.S. Lewis, The Screwtape Letters, I
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Works quoted
P. Bernays, Axiomatische Untersuchung den Aussagenkalkiils der “Principia Mathematica”, Mathematische Zeitschrift, 25 (1926).
G. Frege, Begriffsschrift, eine der mathematischen nachgebildete Formelsprache des Reinen Denkens, Halle, 1874.
G. Gentzen, Untersuchungen über das logische Schliessen. I, II., Mathematische Zeitschrift 39 (1934–5), pp. 176–210, 405–431.
J. Herbrand, Recherches sur la theôrie de la démonstration, Travaux de la Soc.Sci. Lettr. de Varsovie, III, 33 (1930), pp. 33–160.
L. Kalmár, Über die Axiomatisierbarkeit des Aussagenkalküls,Acta Scientiarum Mathematicarum, 7 (1934–5), pp.222–243.
S. Kanger, Provability in Logic,Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy I, 1957. in: Jan Łukasiewicz. Selected Works, L. Borkowski (ed.), North Holland — Polish Scientific Publishers, Amsterdam — Warsaw, 1970, pp. 197–217].
J. Łukasiewicz, On the history of the logic of propositions, in: Jan Łukasiewicz. Selected Works, L. Borowski (ed.), North Holland — Polish Scientific Publishers, Amsterdam — Warsaw, 1970, pp. 197–217].
J. Łukasiewicz, Elements of Mathematical Logic, Pergamon Press — Polish Scientific Publishers, Oxford — Warsaw, 1963.
E. Post, Introduction to a general theory of elementary propositions, Amer. J. Math., 43 (1921), 163–185.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Polkowski, L. (2002). The Sentential Calculus. In: Rough Sets. Advances in Soft Computing, vol 15. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1776-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1776-8_2
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-1510-8
Online ISBN: 978-3-7908-1776-8
eBook Packages: Springer Book Archive