Tittar på Vem använder Logic - och hur

August 30

Med alla de restriktioner som läggs på den, kanske du tror att logiken är för smal för att vara till stor nytta. Men denna inskränkthet är logiken stora styrka. Logik är som en laser - ett verktyg vars bästa användningen inte är belysning, utan snarare fokusera. En laser får inte ge ljus för ditt hem, men liksom logik, bosatt sin stora makt i sin precision. Följande avsnitt beskriver några områden där logiken är vanligen används.

Välj ett nummer (matematik)

Matematik är skräddarsydd för att använda logik i all sin makt. I själva verket är logiken en av de tre teoretiska benen att matte står på. (De andra två är inställda teori och talteori, om du undrar.)

Logik och matematik arbete så bra tillsammans eftersom de är båda oberoende av verkligheten och eftersom de är verktyg som används för att hjälpa människor att förstå världen. Till exempel kan verkligheten innehålla tre äpplen eller fyra bananer, men idéerna om tre och fyra är abstraktioner, även om de är abstraktioner som de flesta tar för givet.

Math är tillverkad helt av sådana abstraktioner. När dessa abstraktioner får komplicerat - i nivå med algebra, analys, och bortom - kan logiken uppmanas att bidra för att deras komplexitet. Matematiska idéer såsom antal, summa, fraktion, och så vidare är klart definierade utan undantag. Det är därför uttalanden om dessa idéer är mycket lättare att kontrollera än ett uttalande om verkligheten, till exempel "Människor är generellt bra i hjärtat" eller "Alla korpar är svarta."

Fly mig till månen (naturvetenskap)

Science använder logik för att en stor fördel. Liksom matematik, använder vetenskapen abstraktioner för att förstå verkligheten och sedan tillämpar logik till dessa abstraktioner.

De vetenskaper försöker förstå verkligheten genom:

1. Minska verkligheten till en uppsättning abstraktioner, som kallas en modell.

2. Arbeta inom denna modell för att nå en slutsats.

3. Att tillämpa denna slutsats tillbaka till verkligheten igen.

Logik är avgörande under det andra steget, och de slutsatser som vetenskap uppnår är, inte överraskande, logiska slutsatser. Denna process är mest framgångsrika när en bra korrelation mellan modellen och verkligheten och när modellen lämpar sig väl för den typ av beräkningar som logiken hanterar bekvämt.

De vetenskapsområden som är beroende tyngst på logik och matematik är de kvantifierbara vetenskaper, som fysik, teknik och kemi. De kvalitativa vetenskaper - biologi, fysiologi och medicin - använda logik, men med lite mindre säkert. Slutligen samhällsvetenskap - såsom psykologi, sociologi och ekonomi - är vetenskaperna vars modellerna bär minst direkt korrelation till verkligheten, vilket innebär att de har en tendens att lita mindre på ren logik.

Slå på eller av (datavetenskap)

Läkemedel som används för att kallas den yngsta vetenskapen, men nu när titeln har överlämnats till datavetenskap. En stor del av framgången för datorrevolutionen vilar stadigt på logik.

Varje handling datorn slutför händer på grund av en komplex struktur av logiska instruktioner. På hårdvarunivå - den fysiska strukturen av maskinen - logiken är avgörande för utformningen av komplexa kretsar som gör att datorn går. Och, på programnivå - de program som gör datorer användbara - datorspråk som bygger på logik föreskriva oändliga mångsidighet som sätter datorn bortsett från alla andra maskiner.

Säg det till domaren (lag)

Som med matematik, lagar finns främst som uppsättningar av definitioner: kontrakt, skadestånds, grova brott, uppsåt att orsaka kroppsskada, och så vidare. Dessa begrepp alla kommit till stånd på papper och sedan tillämpas på särskilda fall och tolkas i domstolarna. En juridisk definition utgör grunden för ett rättsligt argument, som liknar ett logiskt argument.

Till exempel, för att visa upphovsrättsintrång, kan käranden måste visa att svaranden publicerade en viss mängd material under eget namn, för penning eller annan ersättning, när detta skrivs var skyddad av en redan existerande upphovsrätt.

Dessa kriterier liknar de lokaler i ett logiskt argument: Om lokalen befinns vara sant, slutsatsen - att svaranden har begått brott mot upphovsrätten - måste också vara sant.

Hitta meningen med livet (filosofi)

Logic hade sin födelse i filosofi och ofta fortfarande lärs ut som en utlöpare av filosofi snarare än matematik. Aristoteles uppfann logik som en metod för att begripa den underliggande strukturen i anledning, som han såg som den motor som drivs mänskliga försök att förstå universum i bredast möjliga villkor.

Som med vetenskap, förlitar filosofin modeller av verkligheten för att bidra till att ge förklaringar till vad vi ser. Eftersom modellerna är sällan matematiskt dock tenderar filosofin att luta mer mot retorisk logik än matematisk logik.