Wat is logika?

Logika is in wurd dat de wittenskip fan redenearring definiearret. In oar konsept fan logika is "de stúdzje fan 'e metoaden en prinsipes dy't brûkt wurde om korrekt te ûnderskieden fan ferkearde redenearring." Dizze wittenskip omfettet ferskate begripen, wêrûnder argumintaasje, wiskunde en ynformatika. Kontrolearje hjirûnder hokker fjilden wy logika brûke kinne.

It wurd logika komt fan it Grykske logos en wurdt yn ferbân brocht mei in spesifike wize fan redenearjen. Logika is in gebiet fan 'e filosofy dat sjoen wurdt as in ynlieding foar de filosofyske stúdzje, om't it ferbân hâldt mei logo's, reden, wurden, diskusje en reflektearret oer eat dat redenearring en argumintaasje freget.

De Grykske filosoof Aristoteles, in learling fan Plato, is in tige wichtige figuer yn it begryp fan logika. Hy wie de earste dy't it ûnderwerp bestudearre, en stelde fêst dat taal yn it sintrum fan alles stiet: kommunikaasje, de keunsten, abstrakt tinken en wittenskiplike stúdzje. Mar, om it te wurkjen, is it nedich om taalkundige útgongspunten te folgjen.

Presentearre as in wittenskip, waard logika net as sadanich sjoen troch Aristoteles. Koartsein, it syllogisme is it argumint dat wurdt foarme troch útstellen. It is in foarm fan redenearring dy't deduksje brûkt om ta in konklúzje te kommen, dus binne der ferskate problemen of logyske spultsjes.

In oare filosoof dy't gearwurke mei de wittenskip fan redenearring wie de Dútser Gottlob Frege, yn 'e 19e ieu . Hy warskôge dede needsaak foar wiskunde foar in better begryp fan logika. Om dit útgongspunt te materialisearjen hat Frege de predikaatberekkening útwurke, in metoade dy't taalkundige útstellen bestudearre troch wiskundige deduksje.

Sjoch hjir alles oer de betsjutting fan metafysika .

Aristoteleske logika

De definysje fan Aristotelyske logika is de stúdzje fan logika troch tinken. Dit is om't de Grykske filosoof leaude dat logika in meganisme wie om gedachten te falidearjen. Konsept, oardiel en redenearring binne de útgongspunten fan logika. De skaaimerken fan de Aristotelyske logika binne: ynstruminteel, formeel, propeneutysk/foarriedich, normatyf, bewiislear en algemien/tiidleas.

Aristteles wiisde ek op de stelling as de grûnslach fan de logika, dêr't oardielen gedachte foarmje. Utstellen binne ferbiningen dy't predikaten (kwaliteit) oan in ûnderwerp jouwe, sokke útstellen wurde syllogismen neamd. It syllogisme is de uny tusken filosofyske en wittenskiplike tinzen.

De redenearring dy't fan Aristoteles komt, neamd de fûneminten fan 'e taalkundige logika, kulminearre midsiuwske logika, dy't duorre oant de trettjinde ieu. De wichtichste midsieuske filosofen wiene Aleksander fan Aphrodisia, Porphyry en Galenus. Midsieuske logika-klassifikaasje wie de wittenskip om sekuer te beoardieljen om gedachte te falidearjen.

Programmeringslogika

Programmeringslogika bestiet út it útwurkjenfan logyske sekwinsjes. De basisprinsipes binne farianten en konstanten, nammen dy't in wearde fertsjintwurdigje en gjin werhelling nedich binne en ek gegevenstypen, ferdield yn Type 1: tekst, Type 2: hiel getal, Type 3: echt en Type 4: logysk, besjoch hoe't de beskriuwingen fan dizze gegevenstypen:

Type 1: string fan ien of mear tekens, meastentiids omsletten troch dûbele oanhalingstekens. Spaasjes binne ek tekens;

Type 2: negative en positive numerike wearden sûnder desimale plakken;

Type 3: negative en positive numerike wearden mei desimale plakken;

Type 4: alternativen lykas YES, NO, TRUE en FALSE.

De logyske sekwinsjes skreaun mei de boppesteande begripen wurde algoritmen neamd dy't wurkje as in cakerezept. Algoritmen litte de kompjûter sjen wat te dwaan yn elke logyske folchoarder. De algoritmen wurde skreaun mei in programmeartaal dy't heech of leech nivo wêze kin.

De programmeertaal op hege nivo is maklik te ferstean, om't, as earste, it kommando makke wurdt yn in diagram, mei de konverzje nei de bedoelde aksje, SQL (Spesifikaasje Design Language) is in foarbyld fan in hege-nivo taal. Taal op leech nivo ferwiist nei direkte ynstruksjes foar it apparaat fertsjintwurdige troch letters en sifers. De ASSEMBLY-taal is in foarbyld fan in leech-nivo taal.

Sjoch hjir alles oer Rasjonalisme .

Logika fan argumintaasje

De logika fan argumintaasje is hoe't redenearring brûkt wurdt om in persoan te oertsjûgjen. Yn dizze logika wurde sekwinsjes fan útstellen of útspraken kombinearre om ta in konklúzje te kommen. De basisbegripen fan argumintaasjelogika binne: argumintaasje, analogyen, konklúzjes, konklúzjes en konklúzjes, wêrby't:

Argumintaasje in set fan premissen of hypotezen is en it resultaat dêrfan wurdt in konklúzje neamd. Foarbyld: p1: Alle Goianos sjonge countrymuzyk, p2: Alle countrysjongers hâlde fan muzyk en p3: Alle minsken út Goiás sjonge countrymuzyk;

Analogy is in ferliking tusken arguminten, bygelyks: "It ljocht is foar de dei as it tsjuster is foar de nacht";

Inference is it berikken fan in konklúzje mei in set fan earste premissen. D'r binne twa soarten konklúzjes: deduksje en ynduksje. Yn 'e ôflieding is de ynformaasje op in dúdlike of suggereare manier yn it pân, bygelyks: Ferhâldingswurd A: Fûgels hawwe bekken. Ferhâldingswurd B: In nije soarte fan fûgel is ûntdutsen. Konklúzje: De nije soart hat in bek. Yn induksje bringt it pân genôch ynformaasje oer om ta in konklúzje te kommen. Yn induksje wurdt de konklúzje krigen troch de meast geskikte kâns. Foarbyld: As alle fûgels in bek hawwe, moat de nije soart ek in bek hawwe.

De betsjutting fan Logika is yn de kategory Filosofy

Sjochek:

• Meaning of Ethics
• Meaning of Epistemology
• Meaning of Epistemology
• Meaning of Metafysics
• Meaning of Moral
• Meaning of Sociology
• Meaning of Empiricism
• Meaning of Empirical Knowledge
• Meaning of Enlightenment
• Meaning of Rationalism