Vad är Symbolic Logic

? Symbolisk logik , även kallad första ordningens logik , är handlingen att inrätta en konstgjord "språk " för att hantera komplexa logiska argument . Ett av de enklaste formerna av logik, är dess syfte att spara tid i argumentation och bidra till att förhindra förvirring, oklarhet och tvetydighet av tal . Det används i språkvetenskap , filosofi , datavetenskap och , framför allt matematik. Modern Symbolic Logic Stiftelse

Den moderna utvecklingen av symbolisk logik började med den engelska matematikern George Boole . År 1847 publicerade han en broschyr , " Matematisk Analys av logik , " där han hävdade att logiken borde allierade med matematik snarare än filosofin . Observation sambandet mellan deduktiva resonemang och symboler algebra , utarbetade han en algebraisk språk med tre grundläggande funktioner : AND , OR och NOT . Dessa tre funktioner utgjorde grunden för hans premiss . De var , och är fortfarande , att de enda åtgärder som är nödvändiga för att utföra jämförelser eller grundläggande matematiska funktioner .
Matematik

Symbolisk logik har bidragit till utvecklingen av nya axiomatiska ramar , formella system som används för att härleda logiska satser , i flera grenar av matematiken , bland annat aritmetik , analys och geometri . Studien av symbolisk logik i matematik utvecklade vad som kallades " mängdlära , " med dess tidiga 20th century pionjärer inklusive David Hilbert , Kurt G ö del och Gerhard Gentzen . Utvecklingen av mängdteorin visade att nästan alla vanliga matematiken kan formaliseras i termer av set. Addera Propositioner och Operatörer

I språk , symbolisk logik kan vara härledas till propositioner , vilket är uttalanden som inte kan brytas ned utan en förlust i betydelse . Propositions representeras så här: A = B , B = C , sedan A = C , med A , B och C symboliserar icke vederläggligt uttalanden. Inom dessa propositioner är operatörer - "och ", " antingen ... eller , " "Om ... då, " " om " och " antyder , " bland andra - som fungerar som förbindelseblock. I propositionen , " Joe kommer till festen om Jane är där , " " endast om " fungerar som en operatör . Om propositionen " Jane inte på festen " är sant, då propositionen " Joe är inte heller på festen , " är underförstått . Lägga till fler operatörer ger mer komplexa logiska strukturer .
Datavetenskap

All symbolisk logik är så komplicerat som att arbeta med siffror som består av ettor och nollor . Som ett resultat har Boole s utveckling i matematik bidrog kraftigt till området för datavetenskap . Idag , alla datorer använder boolesk logik systemet genom mikrochips som innehåller tusentals små elektroniska omkopplare ordnade i logiska "grindar " - de tre grundläggande AND , OR, NOT verksamhet . Dessa producerar förutsägbara och tillförlitliga slutsatser och gör att datorn för att utföra sin verksamhet med hjälp av binära språket . Addera