Kaj je Symbolic Logic ?

Simbolna logika , ki se imenuje tudi prvega reda logika , jedejanje vzpostavitve umetni " jezik" za reševanje kompleksnih logičnih argumentov. Eden od najpreprostejših oblik logike , njegov namen pa je prihranek časa pri argumentaciji in pomaga preprečiti zmedenost, nejasnosti in dvoumnosti govora . To se uporablja v lingvistike , filozofije, računalništva in matematike , še posebej . Fundacija sodobnega simbolna logika-ih

Sodobna razvoj simbolne logike začel z angleško matematik George Boole . Leta 1847 je izdal brošuro "matematično Analiza Logic ", v katerem je trdila, da bi morala biti logika povezal z matematiko , ne pa filozofije. Opazovanje povezavo med deduktivnega sklepanja in simbolov algebre , je oblikovala algebrski jezik s tremi osnovnimi operacijami : AND , OR in NOT. Te tri funkcije, je bila podlaga za njegove premise . Bili so in so še vedno , samo operacije, potrebne za izvedbo primerjanja ali osnovne matematične funkcije .
Matematika

Simbolna logika je prispevalo k razvoju novih aksiomatskega okvirov , formalni sistemi , ki se uporabljajo za izpeljavo logičnih izrekov v različnih vejah matematike , vključno z aritmetično , analize in geometrije . Študija simbolne logike pri matematiki razvili tako imenovani " teoriji ", s svojimi zgodnjih pionirjev 20. stoletja , vključno z David Hilbert , Kurt G ö ; Delu in Gerhard Gentzen . Razvoj teorije množic je izkazalo , da lahko skoraj vsi navadni matematika treba formalizirati v obliki sklopov .
Propozicije in Izvajalci

V jeziku , simbolna logika lahko sklepati , da predlogi , ki so izkazi, ki jih ni mogoče razčleniti brez izgube smisla. Predlogi so zastopani takole : A = B , B = C , potem A = C , z A, B in C simbolizira non - ovrgljivi izjav. V okviru teh predlogov so operaterji - "in ", " ali ... ali ", " če ... potem ", " samo , če " in " pomeni ," med drugim - da delujejo kot priključnih blokov . V tezi , " bo Joe priti na zabavo le, če Jane je tam," " samo , če se" deluje kot operater . Čepredlog " Jane ni na zabavi, " je to res, potemproposition " Joe , prav tako ni na zabavi , " je implicirana . Dodajanje več operaterjev rezultate v bolj kompleksnih logičnih struktur .
Computer Science

All simbolna logika je tako zapleten, kot delo s številkami , ki jih sestavljajo tisti in ničel . Kot rezultat , je razvoj Boole je v matematiki močno prispevali k področju računalništva. Danes vsi računalniki uporabljajo Boolove logike sistema preko mikročipov , ki vsebujejo na tisoče drobnih elektronskih stikal razporejeni v logične " vrata " - tri osnovne AND, OR, NOT operacijami . Te proizvajajo predvidljive in zanesljive sklepe in da se računalnik lahko izvaja svoje dejavnosti v dvojiškem jezik .