Hva er symbolsk Logic

? Symbolsk logikk, også kalt førsteordens logikk, er det lov å sette opp en kunstig "språk " for å håndtere komplekse logiske argumenter . En av de enkleste formene for logikk , er dens formål å spare tid i argumentasjon og bidra til å forhindre forvirring , uklarheter og tvetydigheten i tale. Den brukes i lingvistikk, filosofi , informatikk og spesielt matematikk. Moderne Symbolic Logic stiftelse

Den moderne utviklingen av symbolsk logikk begynte med den engelske matematikeren George Boole . I 1847 publiserte han en pamflett , " Mathematical Analysis of Logic ", der han hevdet at logikken bør alliert med matematikk i stedet for filosofi. Observere sammenhengen mellom deduktiv resonnering og symbolene på algebra , utviklet han en algebraisk språk med tre grunnleggende operasjoner : AND, OR og NOT . Disse tre funksjonene dannet grunnlaget for hans premiss. De var , og fortsatt er , å de eneste operasjonene nødvendige utføre sammenligninger eller grunnleggende matematiske funksjoner.
Matematikk

Symbolsk logikk har bidratt til utvikling av nye aksiomatiske rammer , formelle systemer som brukes til å utlede logiske teoremer , i flere grener av matematikken , inkludert aritmetikk, analyse og geometri . Studiet av symbolsk logikk i matematikk utviklet det som ble kalt " mengdelære ", med sine tidlige 20. århundre pionerene inkludert David Hilbert , Kurt G ö , del og Gerhard Gentzen . Utviklingen av mengdelære viste seg at nesten alle vanlige matematikk kan formaliseres i form av settene .
Proposisjoner og Operatører

I språk, symbolsk logikk kan være utledes til proposisjoner , som er utsagn som ikke kan brytes ned uten tap i betydning . Proposisjonene er representert slik: A = B, B = C , så A = C , med A, B , og C symboliserer ikke- refutable uttalelser. Innenfor disse forslagene er operatører - "og ", " enten ... eller ", " If ... Then ", " bare hvis " og "innebærer , " blant andre - som fungerer som forbindelses blokker. I proposisjonen , " Joe kommer til festen bare hvis Jane er der", "Bare hvis " fungerer som en operatør . Hvis forslaget " Jane er ikke på festen " er sant, så forslaget " Joe er heller ikke på festen , " er underforstått. Legge til flere operatører gir mer komplekse logiske strukturer.
Computer Science

All symbolsk logikk er så komplisert som å jobbe med tall består av enere og nuller . Som et resultat, har Boole sin utvikling i matematikk bidratt dramatisk til feltet av informatikk. I dag har alle datamaskiner bruker boolsk logikk systemet gjennom microchips som inneholder tusenvis av små elektroniske brytere ordnet i logiske " porter " - de tre grunnleggende AND, OR, NOT operasjoner. Disse produserer forutsigbare og pålitelige konklusjoner og gjør at datamaskinen kan utføre sin virksomhet ved hjelp av binære språket.