begreppet logik

vi förklarar vad logik är och egenskaperna hos filosofisk, aristotelisk, matematisk, beräkningsmässig, formell och informell logik.

¿vad är logik?

logik är en formell vetenskap, en del av filosofi och matematik. Det fokuserar på studier av giltiga och ogiltiga tankeprocesser, det vill säga processer som demonstration, inferens eller avdrag, samt begrepp som felaktigheter, paradoxer och sanning.

logik är en extremt gammal disciplin, född självständigt bland tänkarna i de stora klassiska och antika civilisationerna, som Kina, Grekland eller Indien. Från början förstods det som ett sätt att bedöma tanken för att kontrollera dess formella giltighet, det vill säga att erkänna vad som är det ideala resonemangsförfarandet, det som faktiskt leder till sanningen.

men sedan det tjugonde århundradet har det betraktats som ett fält som är mer relaterat till matematik, eftersom tillämpningarna av den senare blev av stor industriell, social och teknisk betydelse.

ordet” logik”har sitt ursprung i det grekiska ordet logik (”utrustad med förnuft”), som kommer från termen logotyper, motsvarande” ord ”eller” tanke ” lika.

men i vardagsspråket använder vi detta ord som en synonym för ”sunt förnuft”, det vill säga på ett värdefullt eller värderat sätt att tänka, i deras respektive möjliga sammanhang. Det används också som en synonym för” sätt att tänka”, som när man hänvisar till” idrottslogik”,” militär logik ” etc.

Se även: Matematiskt tänkande

filosofisk logik

denna term hänvisar till de områden av filosofi där logikmetoderna används för att lösa eller främja vissa filosofiska dilemman och kan hanteras inom den betraktade traditionella logiken eller tvärtom icke-klassisk logik. Det vill säga logik inom ramen för filosofin.

det är en disciplin som ligger mycket nära språkfilosofin och är i huvudsak en fortsättning på antikens logik, centrerad på tanke och naturligt språk. Vi använder ofta detta namn för att skilja det från nyare matematisk logik.

aristotelisk logik

inom filosofisk logik är aristotelisk logik känd som tankestraditionen som börjar med verk av den grekiska filosofen Aristoteles of Stagyra (384-322 f.Kr.), betraktad som den västerländska grundaren av logik och en av de viktigaste författarna till världens filosofiska tradition.

Aristoteles huvudsakliga verk om logik samlas i hans Organon (från det grekiska ”instrumentet”), sammanställt av Andronicus från Rhodos flera århundraden efter att ha skrivit. De visar ett helt logiskt system som var mycket inflytelserikt i Europa och Mellanöstern fram till efter medeltiden.

i detta arbete postulerade dessutom Aristoteles logikens grundläggande axiom:

• principen om icke-motsägelse. Enligt vilket något inte kan vara och inte kan vara samtidigt (A och A kan inte vara sant samtidigt).
• principen om identitet. Enligt vilket något alltid är identiskt med sig själv (A är alltid lika med A).
• den uteslutna tredjepartsprincipen. Enligt vilket något är eller inte är sant, utan att det finns möjliga graderingar (A eller då a).

matematisk logik

matematisk logik, även kallad symbolisk logik, formell logik, teoretisk logik eller logistik, är tillämpningen av logiskt tänkande på vissa områden inom matematik och vetenskap.

detta innebär studier av inferensprocessen genom formella representationssystem, såsom propositionell logik, modal logik eller första ordningens logik, som tillåter ”översättning” av naturligt språk till matematiskt språk för att utveckla rigorösa demonstrationer.

matematisk logik omfattar fyra huvudområden, som är:

• Modell teori. Som föreslår studier av axiomatiska teorier och matematisk logik genom matematiska strukturer som kallas grupper, kroppar eller grafer, vilket tillskriver ett semantiskt innehåll till de rent formella konstruktionerna av logik.
• bevis teori. Även kallad bevisteori föreslår den bevis med matematiska objekt och matematiska tekniker som sätt att verifiera logiska problem. Således, där modellteori handlar om att ge en semantik (mening) till logikens formella strukturer, handlar bevisteori snarare om deras syntax (beställning).
• Set teori. Fokuserad på studier av abstrakta samlingar av objekt, förstås i sig som objekt, liksom deras grundläggande operationer och relationer. Denna gren av matematisk logik är en av de mest grundläggande som finns, så mycket att den utgör ett grundläggande verktyg för någon matematisk teori.
• teori om beräkningsbarhet. Delat område mellan matematik och databehandling, det studerar beslutsproblemen som en algoritm (motsvarande en Turing-maskin) kan möta. För att göra detta använder han uppsättningsteori och förstår dem som beräkningsbara eller icke-beräkningsbara uppsättningar.

Beräkningslogik

Beräkningslogik är samma matematiska logik men tillämpas på beräkningsområdet, det vill säga på olika grundläggande beräkningsnivåer: beräkningskretsar, logisk programmering och hantering av algoritmer. Det inkluderar också artificiell intelligens, ett relativt nytt område i området.

man kan säga att beräkningslogik i stort sett strävar efter att mata ett datorsystem genom logiska strukturer som på ett matematiskt språk uttrycker de olika möjligheterna för mänsklig tanke och därmed skapar intelligenta datorsystem.

formell och informell logik

det skiljer sig också ofta mellan två separata logikfält: formell och informell, baserat på deras inställning till språket där uttalanden uttrycks.

• formell logik. Det är den som deltar i formellt språk, det vill säga sättet att uttrycka dess innehåll, använda dem strikt, utan tvetydigheter, så att den deduktiva vägen kan analyseras utifrån giltigheten av dess former (därav dess namn).
• informell logik. Istället studerar han sina argument i efterhand och skiljer giltiga och ogiltiga former från den information som ges, utan hänsyn till deras logiska form eller formella språk. Denna variant uppstod i mitten av det tjugonde århundradet som en disciplin inom filosofin.

Följ med: Epistemologi

referenser:

• ”logik” på Wikipedia.
• ” vad är logik?”(video) i Skolzonen.
• ” vad är logik?”(video) i Educatina.
• ”introduktion till logik” av Carlos mu Exceptionoz Guti Exceptionrrez vid Universidad Complutense de Madrid.
• ” vad är logik och vad är det för?”I Södra vetenskaper.
• ”logik” i Encyclopaedia Britannica.

Senast redigerad: 22 September 2020. Hur man citerar: ”logik”. Författare: Mar Kubana Estela Raffino. Från: Argentina. Till: Concepto.de. Finns på: https://concepto.de/logica/. Hämtad: 25 Mars 2021.