History of Logic from Aristotle to Gödel (www.historyoflogic.com)

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

Main Site and Mirror Sites

About this website

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: Brave, Chrome, Edge, Firefox, Maxthon, Opera, Safari, UC Browser.

Please note that Internet Explorer is no longer supported by Microsoft as of June 15, 2022.

Ebook and PDF version: History of Logic from Aristotle to Gödel - ebook version (the entire website can be downloaded in .epub or .mobi format, or as a searchable PDF file).

How to cite this website

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

Note on the Fonts

These fonts are used:

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

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

For the transliteration of Arabic terms: Arial MS Unicode (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:

Logo of the websites

  • Ontology logo Theory and History of Ontology
  • Logic logo History of Logic from Aristotle to Gödel
  • Bibliographia logo Bibliographia. Annotated bibliographies

Mobile friendliness

Test the Mobile Friendliness of a website with these tools:


Test the security of a website

Website status and performance monitor

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

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