suvremeni razvoj simboličke logike počeo s engleskom matematičar George Boole . U 1847 , on je objavio pamflet " Matematička analiza logike ", u kojoj je tvrdio da je logika bi trebala biti povezana s matematike , a ne filozofije . Promatrajući povezanost deduktivno i simbola algebra , on je osmislio algebarskih jezik s tri osnovne operacije : I , ILI i NE . Ove tri funkcije čine osnovu njegove premise . Oni su bili , i još uvijek jesu , jedine operacije potrebne za obavljanje usporedbe ili osnovnih matematičkih funkcija .
Matematika
Simbolička logika je doprinijela razvoju novih aksiomatskim okvira , formalni sustavi koji se koriste za dobivanje logičke teoreme , u nekoliko grana matematike , uključujući i aritmetika , analize i geometrija . Studija simboličke logike u matematici razvijenim što se zove " teorija skupova , " s početka 20. stoljeća pionira uključujući David Hilbert , Kurt G & ouml , Del i Gerhard Gentzen . Razvoj teorije skupova pokazalo je da gotovo svi obični matematika može biti formalizirana u smislu setovima .
Propozicije i operatori
jeziku , simbolička logika može biti zaključiti da propozicijama , koje su izjave koje se ne mogu razbiti bez gubitka značenja . Propozicije su predstavljeni kao što je ovaj := B , B = C , onda= C , s A , B i C simbolizira ne- oboriva izjave . Unutar tih tvrdnji su operateri - "A ", " ili ... ili ", " ako ... onda ", " samo ako " i " podrazumijeva ", između ostalih - da se ponašaju kao priključnim blokovima . U prijedlogu , " Joe će doći na party samo ako Jane je tu ", "samo ako " djeluje kao operator . Akoprijedlog " Jane nije u stranci " je istina , onda je tvrdnja " Joe također nije u stranci ", podrazumijeva se . Dodavanje više operatora rezultate u složenijim logičkim strukturama .
Computer Science
Svi simbolička logika je kao složeno kao i rad s brojevima koji su sastavljeni od jedinica i nula . Kao rezultat toga , Boole je razvoj događaja u matematici su doprinijeli dramatično na području računalnih znanosti . Danas sva računala koriste Booleova logika sustava kroz mikročipove koji sadrže tisuće sitnih elektroničkih prekidača raspoređenih u logičke " vrata " - tri osnovne I , ILI , NE operacija . Te proizvode predvidljive i pouzdane zaključke i dopustitiračunalu da izvrši svoje operacije u binarnom jezik .