Moderné vývoj symbolické logiky začal anglický matematik George Boole . V roku 1847 vydal brožúru , " Matematická analýza logiky , " v ktorom on argumentoval , že logika by mala byť spojený s matematikou , skôr než filozofie . Pozorovanie spojenie medzi deduktívne uvažovanie a symboly algebry , on vymyslel algebraický jazyk s tromi základnými operáciami : AND , OR a NOT . Tieto tri funkcie tvorili základ jeho predpoklad . Oni boli , a stále sú , jediné operácie nevyhnutné vykonať porovnanie a základné matematické funkcie .
Matematika
Symbolická logika prispela k rozvoju nových axiomatických rámcov , formálne systémy používané na odvodenie logické vety , v niekoľkých odvetviach matematiky , vrátane aritmetický , analýzy a geometrie . Štúdie symbolické logiky v matematike sa vyvíjal čo bolo nazývané " teórie množín , " s jeho raných priekopníkov 20. storočia , vrátane Davida Hilberta , Kurt G ö ; DEL a Gerhard Gentzen . Vývoj teórie množín ukázal , že takmer všetky bežné matematika môže byť formalizovaná , pokiaľ ide sád .
Propozície a operátormi
V jazyku , symbolická logika môže byť usudzovať na výroky, ktoré sú výroky , ktoré nemožno v členení bez straty významu . Návrhy sú znázornené takto : A = B , B = C , potom A = C , s A , B , a C symbolizuje non - vyvrátiteľnej vyhlásenie . V rámci týchto návrhov sú operátori - " a " , " buď ... alebo " , "ak ... , potom " , " len ak " a " znamená , " okrem iného - , ktoré pôsobia ako spojovacie bloky . V tvrdenie , " Joe príde na party len v prípade , Jane je tam " , " len vtedy , ak " sa chová ako operátor . V prípade , že problém " Jane nie je na párty " je to pravda , potom je problém " Joe tiež nie je na večierku , " je samozrejmosťou . Pridanie viacerých prevádzkovateľov výsledky zložitejších logických štruktúr .
Computer Science
Všetky symbolická logika je tak zložité, ako pracovať s číslami tvorených jedničiek a núl . Výsledkom je , že vývoj Boole je v matematike výrazne prispel k oblasti počítačovej vedy . Dnes všetky počítače používajú boolovské logiky systému prostredníctvom mikročipy , ktoré obsahujú tisíce drobných elektronických spínačov usporiadané do logických " brány " - troch základných AND , OR , NOT operácií . Tie produkujú predvídateľné a spoľahlivé závery a umožňujú počítaču vykonávať svoje operácie pomocou binárneho jazyka .