230 likes | 507 Views
BAB I. DASAR-DASAR LOGIKA. PERTEMUAN KE-2. OLEH: SUHARMAWAN, S.Pd., S.Kom. PENGERTIAN UMUM LOGIKA.
E N D
BAB I DASAR-DASAR LOGIKA PERTEMUAN KE-2 OLEH: SUHARMAWAN, S.Pd., S.Kom.
PENGERTIAN UMUM LOGIKA • Filsafatdanmatematikaadalahbidangpengetahuanrasional yang adasejakdahulu. Jauhsebelummatematikaberkembangsepertisekaranginidanpenerapannyamenyentuhhampirseluruhbidangilmupengetahuan modern, ilmuwandanfilosofyunanitelahmengembangkandasarpemikiranilmugeometridanlogika.
PENGERTIAN UMUM LOGIKA • Sebutsaja THALES (640-546 SM) yaituseorangilmuwangeometri yang jugadisebutsebagaibapakfilosofidanpenalarandeduktif. Adajugaahlimatematikadanfilosof PHYTAGORAS (572-497 SM) dengandalilphytagoras-nya yang terkenalyaitu a2+b2=c2
Matematika dan Filsafat • Persamaan filsafat dan matematika • Kerja Filosof adalah berpikir konsep. • Kerja Matematikawan adalah mem-perjelas konsep yang dikembangkan oleh filosof. • Perbedaanfilsafatdanmatematika • Filsafat bebas menerapkan berba-gai metode rasional. • Matematikawan hanya menerap-kan metode deduksi.
Matematika dan Logika Menurut BETRAND RUSSEL matematika adalah ilmu yang menyangkut deduksi logis tentang akibat-akibat dari pangkal fikir umum semua penalaran. Ini berkaitan dengan konsepsi matematika sebagai ilmu formal, ilmu tentang bilangan dan ruang, ilmu tentang besaran dan keluasan, ilmu tentang hubungan, pola bentuk, dan rakitan juga sebagai ilmu yang bersifat abstrak dan deduktif.
Matematika dan Logika Logika berasal dari bahasa Yunani yaitu “LOGOS” yang artinya kata, ucapan atau alasa. Jadi logika adalah metode atau teknik yang diciptakan untuk untuk meneliti ketepatan penalaran. Logika pada prinsipnya mengkaji prinsip-prinsippenalaran yang benar dan penalarankesimpulan yang absah.
Matematika dan Logika Ilmuinipertamakalidikembangkansekitar 300 SM oleh ARISTOTELES dan dikenalsebagailogikatradisioanalataulogikaklasik. Duaributahunkemudiandikembangkanlogikamodernoleh GEORGE BOOLE dan DE MORGAN yang disebutdenganLogikaSimbolikkarenamenggunakan simbol-simbol logika secara intensif.
Matematika dan Logika Dasarpemikiranlogikaklasikadalahlogikabenar dan salah yang disimbolkandengan 0 (untuklogikasalah) dan 1 (untuklogikabenar) yang disebut juga LOGIKA BINER. Tetapi pada kenyataanyadalamkehidupansehari-haribanyakhal yang kitajumpai yang tidak bisa dinyatakanbahwasesuatuitumutlakbenarataumutlaksalah. Ada daerah dimana benar dan salahtersebutnilainyatidak bisa ditentukanmutlakbenarataumutlaksalah alias kabur.
Matematika dan Logika Untukmengatasimasalah yang terjadidalamlogikaklasik yang dikembangkanoleh ARISTOTELES tersebut, seorangilmuwandariUniversitas California Berkeley, PROF. LOTFI A.ZADEH pada tahun 1965 mengenalkansuatukonsepberpikirlogika yang baruyaitu LOGIKA KABUR (FUZZY LOGIC).
Logika Fuzzy • Nilaikebenaran bukanbersifat crisp(tegas) 0 dan 1 sajatetapiberadadianta-ranya (multivariabel). • Digunakanuntukmerumuskanpengeta-huandanpengalamanmanusia yang mengakomodasiketidakpastiankedalambentukmatematistanpaharusmengetahui model matematikanya. • Padaaplikasinyadalambidangkomputer, logika fuzzy diimplementasikanuntukmemenuhikebutuhanmanusiaakansistemkomputer yang dapatmerepresen-tasikancaraberpikirmanusia.
Logika Fuzzy • Menurut RUDOLF CARNAP (1931) • Konsepmatematikadapatditurunkandarikonsep-konseplogikadenganmelaluibatasan-batasan yang jelas. • Dalil-dalilmatematikadapatditurun-kandariaksioma-aksiomalogikadenganperantaradeduksilogissecaramurni. • Menurut BETRAND RUSSEL • Logikaadalahmasamudamatematikadanmatematikaadalahmasadewasalogika.
Logika dan Komputer Arsitektur sistem komputer tersusun atas rangkaian logika 1 (true) dan 0 (false) yang dikombinasikan dengan sejumlah gerbang logika AND. OR, NOT, XOR, dan NAND. Program komputer berjalan di atas struktur penalaran yang baik dari suatu solusi terhadap suatu permasalahan dengan bantuan komponen program IF…THEN…ELSE, FOR…TO…DO, WHILE, CASE…OF.
Gambaran Umum Logika • Logika Pasti • Logika Pernyataan (Proportional) • LogikaPredikat (Predicate Logic) • LogikaHubungan (Relation Logic) • LogikaHimpunan { Logika • Logika Pasti • Logika Samar atau Logika Kabur
Gambaran Umum Logika • LogikaPernyataanmembicarakantentangpernyataantunggaldankatahubungnyasehinggadidapatkalimatmajemuk yang berupakalimatdeklaratif. • LogikaPredikatmenelaahvariabeldalamsuatukalimat, kuantifikasidanvaliditassebuahargumen. • Logikahubunganmempelajarihubunganantarapernyataan, relasisimetri, refleksif, antisimtris, dll.
Gambaran Umum Logika • Logikahimpunanmembicarakantentangunsur-unsurhimpunandanhukum-hukum yang berlakudidalamnya • Logika Samar merupakanpertengahandariduanilaibineryaitu ya-tidak, nol-satu, benar-salah. Kondisi yang ditunjukkanolehlogikasamardiantara: banyak, sedikit, sekitar x, sering, umumnya. Logikasamarbanyakditerapkandalamkecerdasanbuatan, mesin pintar atausistem cerdas dan alat-alatelektronika
Aliran-Aliran Dalam Logika • LogikaTradisional • PelopornyaadalahAristoteles (384-322 SM) • Terdiridarianalitikadandialektika. Ilmuanalitikayaitucarapenalaran yang didasarkanpadapernyataan yang benarsedangkandialektikayaitucarapenalaran yang didasarkanpadadugaan.
Aliran-Aliran Dalam Logika • LogikaMetafisis • Dipelopori oleh F. Hegel (1770-1831 M) • Menurut Hegel, logika dianggap sebagai metafisika dimana susunan pikiran dianggap sebagai kenyataan.
Aliran-Aliran Dalam Logika • LogikaEpistimologi • Diperkenalkanoleh FH. Bradley (1846-1924) dan Bernhard Bosanquet (1848-1923 M). • Prisipdarilogikaepistimologiiniadalahuntukmencapaipengetahuan yang memadai, pikiran yang logisdanperasaanhalusdigabungkan. Selainitu, untukmencapaikebenaran, logikaharusdihubungkandenganseluruhpengeta-huan yang lainnya.
Aliran-Aliran Dalam Logika • LogikaInstrumentalis/Fragmatis • DipeloporiolehJhon Dewey (1859-1952) • Prinsipnyaadalahlogikamerupakanalatatauinstrumenuntukmenyelesai-kanmasalah.
Aliran-Aliran Dalam Logika • LogikaSimbolis • Logikasimbolisadalahilmutentangpenyimpulan yang sah (absah) yang dikembangkanmenggunakanmetodematematikadanbantuansimbol-simbolkhusussehinggamemungkin-kanseseorangmenghindarimaknagandadaribahasasehari-hari.
Aliran-Aliran Dalam Logika • Pelopornyaadalah Leibniz, De Morgan, dan Boole • Logikainimenggunakanbahasa simbol untukmempelajari secara rincibagaimanaakalharusbekerja dan bercirikanteknis, matematis, dan ilmiah. Pemakaian simbol matematikainiuntukmewakilibahsadalambentukpernyataan yang bernilaibenaratausalah.
Aliran-Aliran Dalam Logika • Logikasimbolisinikemudianmenjadidasarlogikamatematikamodernyaitulogika formal yang semata-mata menelaahbentuk da bukanisidariapa yang dibicarakan.