elmagyarázzuk, mi a logika és a filozófiai, arisztotelészi, matematikai, számítási, formális és informális logika jellemzői.
¿mi a logika?
a logika formális tudomány, a filozófia és a matematika része. Az érvényes és érvénytelen gondolkodási eljárások tanulmányozására összpontosít, vagyis olyan folyamatokra, mint a demonstráció, a következtetés vagy a levonás, valamint olyan fogalmakra, mint a tévedések, paradoxonok és az igazság.
a logika egy rendkívül ősi tudományág, amely függetlenül született a nagy klasszikus és ősi civilizációk gondolkodói között, mint például Kína, Görögország vagy India. A kezdetektől fogva a gondolkodás megítélésének egyik módjaként értették annak formális érvényességének ellenőrzését, vagyis annak felismerését, hogy mi az ideális érvelési eljárás, amely valójában az igazsághoz vezet.
a huszadik század óta azonban a matematikához jobban kapcsolódó területnek tekintik, mivel utóbbi alkalmazásai nagy ipari, társadalmi és technológiai jelentőségűvé váltak.
a” logika”szó a görög Logik (értelemmel felruházott) szóból származik, amely a”szó” vagy a” gondolat “kifejezéssel egyenértékű Logosz kifejezésből származik.
a mindennapi nyelvben azonban ezt a szót a “józan ész” szinonimájaként használjuk, Vagyis értékes vagy értékes gondolkodásmódban, a saját lehetséges összefüggéseikben. A “gondolkodásmód” szinonimájaként is használják, mint amikor” Sport logikára”,” katonai logikára” stb.
Lásd még: Matematikai gondolkodás
filozófiai logika
ez a kifejezés a filozófia azon területeire utal, amelyekben a logika módszereit bizonyos filozófiai dilemmák megoldására vagy előmozdítására használják, és a figyelembe vett hagyományos logikán belül kezelhetők, vagy éppen ellenkezőleg, nem klasszikus logika. Vagyis a logika a filozófia keretein belül.
ez egy olyan tudományág, amely nagyon közel áll a nyelvfilozófiához, és lényegében az ókor logikájának folytatása, amelynek középpontjában a gondolkodás és a természetes nyelv áll. Gyakran használjuk ezt a nevet, hogy megkülönböztessük az újabb matematikai logikától.
arisztotelészi logika
a filozófiai logikán belül az arisztotelészi logika a gondolkodás hagyományaként ismert, amely a görög filozófus munkáival kezdődik Stagyrai Arisztotelész (KR.e. 384-322), amelyet a logika nyugati alapítójának és a világ filozófiai hagyományának egyik legfontosabb szerzőjének tartanak.
Arisztotelész fő logikai munkáit az Organon (a görög “hangszerből”) gyűjti össze, amelyet Rodosz Andronicus állított össze több évszázaddal az írás után. Egy egész logikai rendszert mutatnak be, amely nagy hatással volt Európában és a Közel-Keleten a középkorig.
ebben a munkában Arisztotelész a logika alapvető axiómáit feltételezte:
- az ellentmondásmentesség elve. Ami szerint valami nem lehet és nem lehet egyszerre (A és A nem lehet egyszerre igaz).
- az identitás elve. Ami szerint valami mindig azonos önmagával (A mindig egyenlő A-val).
- a kizárt harmadik fél elve. Amely szerint valami igaz vagy nem igaz, anélkül, hogy lehetséges fokozatok lennének (A vagy akkor A).
matematikai logika
a matematikai logika, más néven szimbolikus logika, formális logika, elméleti logika vagy logisztika, a logikai gondolkodás alkalmazása a matematika és a tudomány bizonyos területein.
ez magában foglalja a következtetés folyamatának tanulmányozását formális reprezentációs rendszerek, például propozíciós logika, modális logika vagy elsőrendű logika révén, amelyek lehetővé teszik a természetes nyelv matematikai nyelvre történő “fordítását” a szigorú demonstrációk kidolgozása érdekében.
a matematikai logika négy fő területet foglal magában, amelyek:
- modell elmélet. Amely az axiomatikus elméletek és a matematikai logika tanulmányozását javasolja a csoportok, testek vagy grafikonok néven ismert matematikai struktúrákon keresztül, így szemantikai tartalmat tulajdonítva a logika tisztán formális konstrukcióinak.
- bizonyítási elmélet. Bizonyítási elméletnek is nevezik, matematikai objektumokat és matematikai technikákat alkalmazó bizonyítékokat javasol a logikai problémák igazolására. Így, ahol a modellelmélet azzal foglalkozik, hogy szemantikát (jelentést) adjon a logika formális struktúráinak, a bizonyítási elmélet inkább azok szintaxisával (sorrendjével) foglalkozik.
- halmazelmélet. A tárgyak absztrakt gyűjteményeinek tanulmányozására összpontosított, önmagukban tárgyakként értve, valamint alapvető műveleteik és összefüggéseik. A matematikai logika ezen ága az egyik legalapvetőbb, ami létezik, olyannyira, hogy minden matematikai elmélet alapvető eszközét képezi.
- a kiszámíthatóság elmélete. Megosztott terület a matematika és a számítástechnika között, tanulmányozza azokat a döntési problémákat, amelyekkel egy algoritmus (egyenértékű egy Turing-géppel) szembesülhet. Ehhez használja halmazelmélet, kiszámítható vagy nem kiszámítható halmazokként értve őket.
számítási logika
a számítási logika ugyanaz a matematikai logika, de a számítástechnika területén, vagyis a számítástechnika különböző alapvető szintjein alkalmazzák: számítási áramkörök, logikai programozás és algoritmusok kezelése. Ide tartozik a mesterséges intelligencia is, amely a térség viszonylag friss területe.
elmondható, hogy nagy vonalakban a számítási logika arra törekszik, hogy a számítógépes rendszert logikai struktúrákon keresztül táplálja, amelyek matematikai nyelven kifejezik az emberi gondolkodás különböző lehetőségeit, ezáltal intelligens számítógépes rendszereket hozva létre.
formális és informális logika
gyakran megkülönböztetik a logika két külön területét is: formális és informális, az állítások kifejezésének nyelvéhez való megközelítésük alapján.
- formális logika. Ez az, amely részt vesz a formális nyelvben, Vagyis tartalmának kifejezésének módjában, szigorúan, kétértelműségek nélkül használva, hogy a deduktív út formáinak érvényességéből (innen ered a neve) elemezhető legyen.
- informális logika. Ehelyett utólag tanulmányozza érveit, megkülönböztetve az érvényes és érvénytelen formákat a megadott információktól, tekintet nélkül azok logikai formájára vagy formális nyelvére. Ez a változat a huszadik század közepén jelent meg a filozófia tudományágaként.
kövesse: Ismeretelmélet
referenciák:
- “logika” a Wikipédiában.
- ” mi a logika?”(videó) az iskolai zónában.
- ” mi a logika?”(videó) az Educatinában.
- “Bevezetés a logikába” írta Carlos Mu csomó Guti a madridi Universidad Complutense-ben.
- ” mi a logika és mire való?”a déli tudományokban.
- “logika” az Encyclopaedia Britannica-ban.
Utoljára szerkesztve: 22.szeptember 2020. Hogyan kell idézni: “logika”. Szerző: Mar Adapta Estela Raffino. Tól Től: Argentína. Címzett: Concepto.de. Elérhető: https://concepto.de/logica/. Lekért: Március 25, 2021.