Coba jelasin Sejarah dari Diagram Euler dong

Seperti yang ditunjukkan pada ilustrasi di sebelah kanan, Sir William Hamilton dalam bukunya yang diterbitkan secara anumerta  Lectures on Metaphysics and Logic  (1858–60) secara keliru menegaskan ... abstraksi Logika "(hlm. 180) bukanlah Leonhard Paul Euler (1707–1783) melainkan Christian Weise (1642–1708) dalam bukunya  Nucleus Logicae Weisianae  yang muncul pada 1712 secara anumerta, bagaimanapun, buku terakhir sebenarnya ditulis oleh Johann Christian Lange daripada Weise. He references Euler's Letters to a German Princess [Partie II, Lettre XXXV, February 17, 1791, ed. Cournot (1842), pp. 412-417.  – ED.]

Dalam ilustrasi Hamilton, empat proposisi kategorikal yang dapat terjadi dalam silogisme seperti yang disimbolkan oleh gambar A, E, I dan O adalah:

J: The  Universal Affirmative , Contoh: "Semua logam adalah unsur".

E: The  Universal Negative , Contoh: "Tidak ada logam yang merupakan zat majemuk".

I: The  Particular Affirmative , Contoh: "Beberapa logam rapuh".

O: The  Particular Negative , Contoh: "Beberapa logam tidak rapuh".

Dalam karyanya tahun 1881  Symbolic Logic  Bab V "Diagrammatic Representation", John Venn (1834–1923) mengomentari prevalensi yang luar biasa dari diagram Euler:

"...dari enam puluh risalah logis pertama, yang diterbitkan selama sekitar abad terakhir, yang dikonsultasikan untuk tujuan ini: -beberapa secara acak, karena kebetulan mereka paling mudah diakses: -tampaknya tiga puluh empat meminta bantuan diagram, hampir semua ini memanfaatkan Skema Eulerian. "(Catatan kaki 1 halaman 100)

Namun demikian, ia berpendapat, "ketidakmampuan skema ini untuk tujuan Logika yang sangat umum" (halaman 100), "Ini cocok tetapi buruk bahkan dengan empat proposisi dari Logika umum yang biasanya diterapkan." Venn mengakhiri babnya dengan observasi yang diilustrasikan dalam contoh di bawah — bahwa penggunaannya didasarkan pada praktik dan intuisi, bukan pada praktik algoritme yang ketat:

“Nyatanya ... diagram-diagram tersebut tidak hanya tidak cocok dengan skema proposisi biasa yang digunakan untuk menggambarkannya, tetapi tampaknya tidak memiliki skema proposisi yang diakui sehingga mereka dapat secara konsisten berafiliasi. " (hlm. 124–125)

Hubungan antara diagram Euler dan Venn