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).

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

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:

• Georgia
• Arial MS Unicode
• Lucida Sans Unicode