De moderne ontwikkeling van de symbolische logica begon met het Engels wiskundige George Boole . In 1847 publiceerde hij een pamflet , " Wiskundige analyse van Logica ', waarin hij stelde dat de logica moet worden verbonden met de wiskunde in plaats van de filosofie . Het observeren van de verbinding tussen deductieve redenering en de symbolen van algebra , bedacht hij een algebraïsche taal met drie basishandelingen : AND , OR en NOT . Deze drie functies vormen de basis van zijn uitgangspunt . Ze waren , en zijn nog steeds , de enige handelingen die nodig zijn om vergelijkingen of elementaire wiskundige functies uit te voeren .
Wiskunde
Symbolische logica heeft bijgedragen aan de ontwikkeling van nieuwe axiomatische kaders , formele systemen die worden gebruikt om logische stellingen af te leiden , in verschillende takken van de wiskunde , zoals rekenen, analyse en meetkunde . De studie van de symbolische logica in de wiskunde ontwikkeld wat genoemd werd " verzamelingenleer, " met een vroeg 20e- eeuwse pioniers waaronder David Hilbert , Kurt G ö ; del en Gerhard Gentzen . De ontwikkeling van de set theorie bleek dat bijna alle gewone wiskunde geformaliseerd kan worden in termen van de sets.
Stellingen en Operators
In taal , symbolische logica kan zijn afgeleid naar proposities , die uitspraken die niet kunnen worden gesplitst zonder verlies aan betekenis zijn . Stellingen worden voorgesteld als volgt: A = B , B = C , dan is A = C , met A , B , en C symboliseren niet- weerlegbare verklaringen . Binnen deze stellingen zijn operators - " en ", " of ... of ',' als ... dan ',' alleen als , " en "houdt ", onder anderen - die fungeren als het aansluiten van blokken . In de stelling , " Joe zal naar het feest komen alleen als Jane is er , " "alleen als " werkt als een operator . Als de stelling " Jane is niet op het feest " waar is, dan is de stelling " Joe is ook niet op het feest , " wordt geïmpliceerd . Het toevoegen van meer exploitanten resulteert in meer complexe logische structuren .
Computer Science
Alle symbolische logica is zo complex als het werken met getallen bestaat uit enen en nullen . Daardoor hebben ontwikkelingen Boole in de wiskunde sterk bijgedragen tot het gebied van informatica . Vandaag zijn alle computers gebruik maken van de Booleaanse logica systeem door middel van microchips die duizenden kleine elektronische schakelaars geordend in logische "poorten " bevatten - de drie fundamentele AND , OR, NOT operaties. Deze produceren voorspelbare en betrouwbare conclusies en laat de computer om haar activiteiten met behulp van binaire taal uit te voeren.