History of Logic from Aristotle to Gödel

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


This site is for users that cannot see properly the Main Site (www.ontology.co) because they have an older browser (desktop or mobile). The content is identical, but the design is easier.


Main Site and Mirror Sites

About This Site

Theory and History of Ontology, created April 13, 2000 at the address www.formalontology.it, moved August 13th 2010 to a new address: www.ontology.co; a mobile version is available when the screen resolution is less than 480 x 500 pixels.

The site contains 283 pages ("History of Logic" 70 pages) and the two sites had more than 15,000 bibliographic references; they are best viewed with a recent version of one of the following browsers: Chrome, Edge, Firefox, Internet Explorer, Maxthon, Opera, Safari, UC Browser.

There are two sections, currently under development, for Italian and French readers (see Pages in Language other than English), that will contain bibliographical information and references to works published in these languages.

The site is available in five different location (the content is identical):

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

For readers with older 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").

I created these websites to ensure to my readers the best performance and accessibility everywhere in the world.


How to Cite This Website

If you want to cite or link a page of my site please use the main address www.ontology.co because the mirror sites will not be indexed by the Search Engines to avoid duplicated content.


Mobile Friendliness

Test the Mobile Friendliness of a website with these tools:


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:


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:


Test the security of a website

Some links to free tools useful to check Website security:



Summary of the Web Site

Ontologists of the 19th and 20th Centuries

Living Ontologists

History of Truth

History of the Doctrine of Categories

The Problem of Universals

Bibliographical Resources on Comparative Philosophy: Indian, Chinese, Buddhist, Arabic and Persian Logic and Ontology

History of Ancient Philosophy from the Presocratics to the Hellenistic Period

History of Medieval Philosophy from the Boethius to ca. 1400

History of Modern and Contemporary Philosophy

Annotated Bibliographies of Historians of Philosophy

Pages in French, Italian and German

Complete List of the Essays and Pages by Various Authors in PDF Format


A - C

D - H

I - O

P - R

S - Z


Index of the Bibliographies on Selected Authors (A - K)

Index of the Bibliographies on Selected Authors (L - Z)

Index of the Bibliographies on Selected Arguments