Abstract
Mathematical logic was not treated in the three-volume History of Mathematics. We shall, therefore, briefly survey its perhistory before analyzing its development in the nineteenth century.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Al-Farabi, Logicheskie traktaty, Alma-Ata 1975.
Aristoteles, Analytica priora. Venetiis 1557.
Boole, G., An investigation of the laws of thought. London-Cambridge 1854.
Boole, G., The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. Cambridge-London 1847.
Church, A., Introduction to mathematical logic, Vol. 1. Princeton NJ 1956.
Couturat, L., La logique de Leibniz. Paris 1901.
Couturat, L., L’algèbre de la logique. Paris 1914.
Euler, L., Lettres à une princesse d’Allemagne sur divers sujets de physique et de philosophie, T. 2. St.-Pétersbourg 1768.
Hamilton, W., Lectures on metaphysics and logic, Vol. 1–4. Edinburgh-London 1860.
Ibn Sina, Danish-mame (Book of knowledge). Stalinabad 1957.
Jevons, W.S., On the mechanical performance of logical inference. Philos. Trans., 1870, 160, 497–517.
Leibniz, G.W., Die philosophischen Schriften, Bd. 7. Berlin 1890.
Leibniz, G.W., Opera philosophica quae exstant latina, gallica, germanica, J.E. Erdmann (Ed.). Berlin 1840.
Leibniz, G.W., Opuscules et fragments inédits de Leibniz, L. Couturat (Ed.). Paris 1903.
Leibniz, G.W., Philosophische Werke, Bd. 3. Neue Abhandl ungen über den menschlichen Verstand. Leipzig 1904.
Minto, W., Inductive and deductive logic. New York 1893.
Morgan, A. de, Formal logic: or the calculus of inference, necessary and probable. London 1847.
Morgan, A. de, Trigonometry and double algebra. London 1849.
Poretskii, P.S., Izlozhenie osnovnykh nachal logiki v vozmozhno bolee naglyad-noi i obshchedostupnoi forme. Kazan’ 1881.
Poretskii, P.S., Iz oblasti matematicheskoi logiki. Moscow 1902.
Poretskii, P.S., Po povodu broshyury g. Volkova “Logicheskoe ischislenie”. Kazan’ 1884.
Poretskii, P.S., O sposobakh resheniya logicheskikh ravenstv i ob obratnom sposobe matematicheskoi logiki. Kazan’ 1884.
Schröder, E., Der Operationskreis des Logikkalküls. Leipzig 1877.
Schröder, E., Vorlesungen über die Algebra der Logik, Bd. 1–3. Leipzig 1890–1905.
Venn, J., Symbolic logic. London 1881; 2nd ed. 1894.
Venn, J., On the diagrammatic and mechanical representations of propositions and reasoning. The London, Edinburgh and Dublin Philos. Mag. and J. Sci., ser. 5, 1880, 10.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Basel AG
About this chapter
Cite this chapter
Kuzicheva, Z.A. (1992). Mathematical Logic. In: Kolmogorov, A.N., Yushkevich, A.P. (eds) Mathematics of the 19th Century. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-5112-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-0348-5112-1_1
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-5114-5
Online ISBN: 978-3-0348-5112-1
eBook Packages: Springer Book Archive