Den moderne udvikling af symbolsk logik begyndte med den engelske matematiker George Boole . I 1847 udgav han en pjece , " matematisk analyse af Logic" , hvori han hævdede, at logik bør allieret med matematik snarere end filosofi. Observere sammenhængen mellem deduktive ræsonnement og symboler algebra, han udtænkt en algebraisk sprog med tre grundlæggende operationer : AND, OR og NOT . Disse tre funktioner dannede grundlag for hans præmissen . De var , og stadig er , at de eneste aktiviteter , der er nødvendige udføre sammenligninger eller grundlæggende matematiske funktioner.
Matematik
Symbolsk logik har bidraget til udviklingen af nye aksiomatiske rammer , formelle systemer, der anvendes til at udlede logiske teoremer i flere grene af matematik , herunder aritmetik , analyse og geometri . Studiet af symbolsk logik i matematik udviklede hvad der blev kaldt " mængdelære , " med sin tidlige 20. århundrede pionerer herunder David Hilbert , Kurt G ö , del og Gerhard Gentzen . Udviklingen af mængdelære viste, at næsten alle almindelige matematik kan formaliseres i form af sæt.
Forslag og Operatører
sprog , symbolsk logik kan være udledes til udsagn , som er udsagn , der ikke kan opdeles uden tab i betydning . Udsagn er repræsenteret på denne måde: A = B, B = C , så A = C , med A, B , og C symboliserer ikke anfægtes udsagn. Inden for disse udsagn er operatører - "og ", " enten ... eller ", " hvis ... så ", " hvis " og " antyder, er" blandt andre - at optræde som forbinder blokke. I sætningen " Joe vil komme til festen , hvis Jane er der", "Kun hvis " fungerer som en operatør. Hvis sætningen "Jane er ikke til festen " er sandt, så sætningen " Joe er heller ikke til festen , " antydes . Tilføjelse af flere operatører medfører mere komplekse logiske strukturer .
Datalogi
Alle symbolsk logik er lige så kompleks som at arbejde med tal , der består af ettaller og nuller . Som et resultat, har Boole 's udvikling i matematik har bidraget markant til området for datalogi. I dag er alle computere bruger den booleske logik systemet gennem mikrochips , der indeholder tusindvis af bittesmå elektroniske afbrydere arrangeret i logiske "porte " - de tre grundlæggende AND, OR , NOT operationer. Disse producerer forudsigelige og pålidelige konklusioner og sætter computeren til at udføre sine aktiviteter ved hjælp af binær sprog .
Hoteltilbud