a bit misconception about logic

nah, gw juga baru 'ngeh' nih soal yang satu ini.

soal logika preposisi. pasti banyak juga orang yang ngga terlalu peduli sama hal yang satu ini. tapi efeknya parrah banget loh, bisa mempengaruhi paradigma dalam pengambilan asumsi.

gini.

di buku logic yang gw baca, ada satu hal yang menarik perhatian. ada pertentangan antara Boolean sama Aristotle

misal gw bilang

"semua kucing adalah mamalia", kesimpulannya

"ada kucing yang mamalia"

valid atau invalid?

nah pertentangan antara Boolean sama Aristotle disini. Aristotle bilang statement diatas valid, tapi Boolean bilang statement itu invalid. nah lho. kenapa bisa gitu? ok, liat statement ke 2

"semua unicorn adalah binatang"

"ada unicorn yang binatang"

both Boolean and Aristotle say it is invalid. nah di sini Aristotle ngga konsisten. secara struktur logic kedua statement sama, memang kalo secara fakta beda.

statement pertama emang terlihat valid, karna emang bener, kucing itu mamalia, dan nyatanya emang ada kucing yang mamalia, dan memang, conditionally valid. but, we lack sufficient information about the meaning of the premise to tell which is the case. jadi dua statement di atas sebenernya ngga bisa diambil kesimpulan apa apa.

coba liat statement yang ke2.

semua unicorn adalah binatang, maka ada unicorn yang binatang, nah, emang ada unicorn? itu kan cuma dongeng hehe.

Aristotle standpoint ngga bisa mengatasi preposisi yang "ngga ada" atau do not exist, dia mengadopsi dari hal hal yang ada dan nyata, tapi ngga mencakup preposisi preposisi yang imajiner seperti statement ke2

ini namanya existencial fallacy by the way, it commits when we presuppose that a class has members even when we are not explicitly told so; that is, we assume that the class has existential import

so the conclusion is,

All S are P doesn't not guarantee there is exist a S which is P

--------------------

how about Nothing is impossible? or there is nothing impossible?

the statement means All things are possible isn't it? so that does not guarentee there is exist a thing which is possible, right? haha yes, it is right, with condition that nothing is a kind of matter. or kind of 'thing'

it's just another of my freaky thoughts :P

Sekolah itu lembaga pedidikan, bukan pengajaran

ENJOY LOGIC AND EDUCATION!