Moderní vývoj symbolické logiky začal anglický matematik George Boole . V roce 1847 vydal brožuru , " Matematická analýza logiky , " ve kterém on argumentoval, že logika by měla být spojený s matematikou , spíše než filosofie. Pozorování spojení mezi deduktivní uvažování a symboly algebry , on vymyslel algebraický jazyk s třemi základními operacemi : AND , OR a NOT . Tyto tři funkce tvořily základ jeho předpoklad. Oni byli, a stále jsou , jediné operace nezbytné provést srovnání a základní matematické funkce .
Matematika
Symbolická logika přispěla k rozvoji nových axiomatických rámců , formální systémy používané k odvození logické věty , v několika odvětvích matematiky , včetně aritmetický , analýzy a geometrie . Studie symbolické logiky v matematice se vyvíjel co bylo nazýváno " teorie množin , " s jeho raných průkopníků 20. století , včetně Davida Hilberta , Kurt G ö ; DEL a Gerhard Gentzen . Vývoj teorie množin ukázal , že téměř všechny běžné matematika může být formalizována, pokud jde sad .
Propozice a operátory
V jazyce , symbolická logika může být usuzovat na výroky , které jsou výroky , které nelze v členění bez ztráty významu. Návrhy jsou znázorněny takto : A = B , B = C , pak A = C , s A , B , a C symbolizuje non - vyvratitelné prohlášení . V rámci těchto návrhů jsou operátoři - "a ", " buď ... nebo ", " jestliže ..., pak ", " pouze tehdy, pokud " a " znamená , " mimo jiné - , které působí jako spojovací bloky . V tvrzení , " Joe přijde na party jen v případě, Jane je tam ", " pouze tehdy, pokud " se chová jako operátor . V případě, že problém " Jane není na párty " je to pravda, pak je problém " Joe také není na večírku , " je samozřejmostí. Přidání více provozovatelů výsledky složitějších logických struktur .
Computer Science
Všechny symbolická logika je tak složité, jak pracovat s čísly tvořených jedniček a nul . Výsledkem je, že vývoj boole je v matematice výrazně přispěl k oblasti počítačové vědy . Dnes všechny počítače používají booleovské logiky systému prostřednictvím mikročipy , které obsahují tisíce drobných elektronických spínačů uspořádané do logických " brány " - tří základních AND, OR, NOT operací. Ty produkují předvídatelné a spolehlivé závěry a umožňují počítači provádět své operace pomocí binárního jazyka .