vysvětlujeme, co je logika a vlastnosti filozofické, aristotelské, matematické, výpočetní, formální a neformální logiky.
¿co je to logika?
logika je formální věda, součást filozofie a matematiky. Zaměřuje se na studium platných a neplatných postupů myšlení, tedy procesů, jako je demonstrace, inference nebo dedukce, jakož i konceptů, jako jsou klamy, paradoxy a pravda.
Logika je velmi starobylé disciplíny, se narodil nezávisle mezi myslitelé velké klasické a starověké civilizace, jako je Čína, Řecko nebo Indie. Od začátku byla chápána jako způsob posuzování napadlo zkontrolovat její formální platnosti, to je to, rozpoznat, co je ideální postup uvažování, ten, který ve skutečnosti vede k pravdě.
od dvacátého století se však považuje za oblast více související s matematikou, protože její aplikace se staly velkým průmyslovým, sociálním a technologickým významem.
slovo“ logika“má svůj původ v řeckém slově logiké („obdařen rozumem“), pocházející z období loga, ekvivalent k“ slovo „nebo“ myslel“, podobně.
v běžném jazyce však toto slovo používáme jako synonymum pro „zdravý rozum“, tj. Používá se také jako synonymum pro „způsob myšlení“, jako když se odkazuje na „sportovní logiku“,“ vojenskou logiku “ atd.
Viz také: Matematické myšlení
Filozofické logiky
Tento termín se vztahuje k oblasti filozofie, ve které metody logické jsou použity k řešení nebo předem určitých filozofických dilemat, a mohou být spravovány v rámci považovány za tradiční logiky nebo naopak, non-klasické logiky. To znamená logiku v rámci filozofie.
je to disciplína velmi blízká filozofii jazyka a je v podstatě pokračováním logiky starověku, zaměřené na myšlení a přirozený jazyk. Tento název běžně používáme k odlišení od novější matematické logiky.
Aristotelské logiky
v Rámci filozofické logiky Aristotelské logiky je známé jako tradice si myslel, že začíná s prací na řecký filozof Aristoteles ze Stagyra (384-322 BC), je považován za západní zakladatel logiky a jednoho z nejvýznamnějších autorů z filozofické tradice světa.
Aristotelovy hlavní práce o logice jsou shromážděny v jeho organonu (z řeckého „nástroje“), který sestavil Andronicus z Rhodosu několik století po psaní. Zobrazují celý logický systém, který byl až do středověku velmi vlivný v Evropě a na Středním východě.
V této práci, navíc, Aristoteles postuloval základní axiomy logiky:
- princip non-kontradikce. Podle kterého něco nemůže být a nemůže být současně (A A A nemůže být pravda současně).
- princip identity. Podle kterého je něco vždy totožné se sebou samým (A je vždy rovno A).
- zásada vyloučené třetí strany. Podle toho, co je nebo není pravda, aniž by existovaly možné gradace (A nebo pak A).
Matematické logiky
Matematické logiky, zvané také symbolické logiky, formální logika, teoretická logika nebo logistiky, je použití logického myšlení na určité oblasti matematiky a vědy.
To zahrnuje studii o procesu inference, přes formální systémy reprezentace, jako je výroková logika, modální logika, predikátová logika, které umožňují „překlad“ z přirozeného jazyka do matematického jazyka s cílem rozvíjet přísné demonstrace.
matematická logika zahrnuje čtyři hlavní oblasti, které jsou:
- teorie modelů. Které navrhuje studie axiomatická teorie a matematické logiky prostřednictvím matematické struktury známé jako skupiny, instituce nebo grafy, tak připisuje významový obsah čistě formální konstrukcí logiky.
- teorie důkazu. Také se nazývá teorie důkazů, navrhuje důkazy pomocí matematických objektů a matematických technik jako způsob ověření logických problémů. Tam, kde se teorie modelu zabývá poskytováním sémantiky (významu) formálním strukturám logiky, se teorie důkazu zabývá spíše jejich syntaxí(uspořádáním).
- teorie množin. Zaměřeno na studium abstraktních sbírek objektů, které jsou samy o sobě chápány jako objekty, jakož i jejich základní operace a vzájemné vztahy. Tato větev matematické logiky je jednou z nejzákladnějších, která existuje, natolik, že představuje základní nástroj jakékoli matematické teorie.
- teorie vyčíslitelnosti. Sdílená oblast mezi matematikou a výpočtem studuje rozhodovací problémy, kterým může algoritmus (ekvivalentní Turingovu stroji) čelit. K tomu používá teorii množin a chápe je jako vyčíslitelné nebo nevyčíslitelné množiny.
Výpočetní logika
výpočetní logika je stejná matematická logika, ale aplikovaná na oblast výpočetní techniky, tj. Zahrnuje také umělou inteligenci, relativně nedávnou oblast v této oblasti.
řekl bych, že, obecně řečeno, výpočetní logika se snaží krmit počítačového systému prostřednictvím logické struktury, které vyjadřují, do matematického jazyka, různé možnosti lidského myšlení, čímž se vytváří inteligentní počítačové systémy.
formální a neformální logika
často se také rozlišuje mezi dvěma samostatnými poli logiky: formální a neformální, na základě jejich přístupu k jazyku, ve kterém jsou výroky vyjádřeny.
- formální logika. Je to ten, který se věnuje formálnímu jazyku, tedy způsobu vyjádření jeho obsahu, jejich přísným, bez nejasností, takže deduktivní cesta může být analyzována z platnosti jejích forem (odtud její název).
- Neformální logika. Místo toho studuje své argumenty a posteriori a rozlišuje platné a neplatné formuláře od poskytnutých informací bez ohledu na jejich logickou formu nebo formální jazyk. Tato varianta se objevila v polovině dvacátého století jako disciplína ve filozofii.
následovat s: Epistemologie
reference:
- „logika“ ve Wikipedii.
- “ co je logika?“(video) ve školní zóně.
- “ co je logika?“(video) v Educatina.
- „Úvod do logiky“ Carlos Muñoz Gutiérrez na Universidad Complutense de Madrid.
- “ co je logika a k čemu slouží?“v jižních vědách.
- „logika“ v Encyklopedii Britannica.
Naposledy upraveno: 22. Září 2020. Jak citovat: „logika“. Autor: María Estela Raffino. Z: Argentina. Komu: Concepto.de. Dostupné na adrese: https://concepto.de/logica/. Citováno: Březen 25, 2021.