History of Logic from Aristotle to Gödel

by Raul Corazzon | e-mail: rc@ontology.co

Download website as a PDF or eBook


  • "Theory and History of Ontology" and "Bibliographia. Annotated Bibliographies" are my other websites. For other indexes see the Sitemap; the "Search" function can be used to find a particular author or subject.


Main Site and Mirror Sites

About This Site

History of Logic from Aristotle to Gödel created January 5 2016, contains the pages previously published under the section "History of Logic" in the website Theory and History of Ontology; a mobile version (with a different menu) is available when the screen resolution is less than 480 x 500 pixels.

The site is best viewed with a recent version of one of the following browsers: Chrome, Edge, Firefox, Internet Explorer, Maxthon, Opera, Safari, UC Browser.

Ebook and PDF version: www.historyoflogic.co (the entire website can be downloaded in .epub or .mobi format, or as a searchable PDF file).

For readers with old browsers another website with an easier menu is available:

Please note that only Internet Explorer version 11 is supported by Microsoft after January 12, 2016 (see "Stay up-to-date with Internet Explorer").

Note on the Fonts

These fonts are used:

For the text: Georgia (Windows, Apple Mac, Linux);

For the terms in Ancient Greek: Arial (Windows, Apple Mac, Linux).

For the transliteration of Arabic terms: Arial (Windows, Apple Mac, Linux).

For the logical symbols: Lucida Sans Unicode (Windows); Lucida Grande (Apple Mac); Lucida Sans or DejaVu Sans Condensed (Linux).

If you need to download one of these fonts use these links:


How to Cite This Website

If you want to cite or link a page of my site please use the main addresswww.historyoflogic.com.

Test the security of a website

Website Status and Performance Monitor

To check if one of my website is up or down, try the "Site status" link at the bottom of every page.

To check if a generic website is down you can use: