nowoczesny rozwój logiki symbolicznej rozpoczął się angielskiego matematyka George'a Boole'a . W 1847 roku opublikował broszurę , " Analiza matematyczna Logika ", w którym twierdził, że logika powinna być sprzymierzony z matematyki , a nie filozofii . Obserwując połączenie między dedukcyjnego i symboli algebry , obmyślił języka algebraicznych z trzech podstawowych operacji : AND, OR i NOT . Te trzy funkcje stanowiły podstawę jego założeniu . Byli i nadal są , tylko czynności niezbędne do przeprowadzenia porównań i podstawowe funkcje matematyczne .
Matematyka
Symbolic Logic przyczynił się do rozwoju nowych ram aksjomatycznych , układy formalne wykorzystywane przy twierdzeń logicznych , w kilku działów matematyki , w tym analizy i arytmetyki, geometrii . Badanie logiki symbolicznej w matematyce rozwiniętych , co się nazywa " teorii mnogości , " z jego początku 20 wieku , w tym pionierów David Hilbert , Kurt G & ouml ; del i Gerharda Gentzen . Rozwój teorii mnogości udowodnił, że prawie wszystkie zwykłe matematyka może być sformalizowana w zakresie zestawów .
Propozycje i Operatorzy
W języku , może być logika symboliczna wywnioskować z propozycji , które są wypowiedzi , które nie mogą być w podziale bez utraty znaczenia. Propozycje są reprezentowane tak: A = B , B = C , to A = C , z A, B i C, symbolizujące nie do obalenia, oświadczenia. W ramach tych propozycji są operatorzy - "i ", " albo ... albo ", " jeżeli ... to ", " tylko wtedy, gdy " a " oznacza " między innymi - że działają jak bloków przyłączeniowych . W tej propozycji , " Joe przyjdzie na imprezę tylko wtedy, gdy Jane jest tam", " tylko wtedy, gdy " działa jako operator. Jeżelipropozycja " Jane nie jest w partii" jest prawdą, topropozycja " Joe nie jest w partii , " zakłada się . Dodawanie kolejnych operatorów wyniki w bardziej złożonych struktur logicznych .
Informatyka
Wszystko symboliczne logika jest tak złożone, jak pracować z numerów składających się z zer i jedynek . W wyniku zmiany Boole'a z matematyki przyczyniły się dramatycznie w dziedzinie informatyki . Obecnie wszystkie komputery używają Boolean systemu logicznego poprzez mikroczipy , które zawierają tysiące drobnych przełączników elektronicznych umieszczonych na logiczne "bram " - trzech podstawowych operacji AND, OR, NOT . Wytwarzają one przewidywalne i pewne wnioski i pozwolićkomputerowi wykonać swoje działania za pomocą języka binarnego .