A modern fejlődése szimbolikus logika kezdődött az angol matematikus George Boole . A 1847 -ben kiadott egy brosúrát a "matematikai elemzése Logic ", amelyben azt állította, hogy a logika kell szövetkezett matematika, nem pedig a filozófia . Figyelve a kapcsolat között deduktív érvelés és a szimbólumok algebra , aki kidolgozott egy algebrai nyelv három alapvető műveletek : AND , OR és NOT . E három funkció képezte az alapját a feltevése . Voltak , és még mindig vannak , az egyetlen művelet elvégzéséhez szükséges összehasonlítások és alapvető matematikai műveletek .
Matematika
A szimbolikus logika hozzájárult az új axiomatikus keretek , formális rendszerek levezetéséhez használt logikai tételek, több ága a matematika , beleértve a számtani , elemzés és geometria . A tanulmány a szimbolikus logika a matematika fejlett , amit az úgynevezett "set elmélet" és a korai 20. század úttörői többek között David Hilbert , Kurt G & ouml , del és Gerhard Gentzen . A fejlesztés a halmazelmélet bebizonyította, hogy szinte az összes szokásos matematika lehet hivatalossá szempontjából készletek.
Javaslatok és operátorok : Matton
A nyelv , a szimbolikus logika levezethető a javaslatok , amelyek a nyilatkozatok, hogy nem lehet lebontani nélkül veszteség értelmét. Javaslatok képviselteti magát , mint ez: A = B , B = C , akkor A = C , A, B , és C szimbolizáló nem megcáfolható állítások . Ezen belül a kijelentések szereplők - " és ", " vagy ... vagy ", " ha ... akkor ", " csak akkor ", és "azt jelenti , " többek között - , hogy úgy viselkednek, mint összekötő blokkokat. A javaslat " Joe jön a párt csak akkor, ha Jane ott van ", " csak akkor" működik, mint egy operátor . Ha a javaslat " Jane nem a párt " az igaz , akkor a javaslat " Joe szintén nem a párt , " utalnak. Hozzátéve, több gazdasági eredményeket bonyolultabb logikai struktúrákat .
Computer Science : Matton
Az összes szimbolikus logika is olyan bonyolult, mint dolgozik a számok alkotják egyesek és nullák . Ennek eredményeként , a Boole fejlesztések matematika hozzájárultak drámaian a területén a számítástechnika . Ma minden számítógépek logikai logika rendszer segítségével mikrochip , amelyek több ezer apró elektronikus kapcsolók rendezve logikai " kapuk " - a három alapvető AND , OR, NOT műveleteket. Ezeket termelnek kiszámítható és megbízható következtetéseket , és lehetővé teszi , hogy a számítógép hajtja végre a műveleteket bináris nyelvet.