Informatika és logika, logika a számítástechnikában

Az emberi gondolkodás formái

Tehát a logika tudományának tanulmányozása tárgya az emberi gondolkodás. A gondolkodást mindig valamilyen formában végezzük. A logikában a következő gondolkodási formákat különböztetjük meg:

A fogalom a gondolkodás egy formája, amelyben az objektumok megkülönböztető alapvető jellemzői tükröződnek.

Jelentős azok jeleit, amelyek mindegyike külön-külön van szükség, de minden együtt elég ahhoz, hogy velük, segítenek megkülönböztetni (highlight) a tárgy (jelenség) a többi, és hogy egy általánosítás kombinálásával egységes tételek a készletben.

Például a narancs fogalmának jelei: kerek, narancssárga, rugalmas, édes, illatos. Meg lehet különböztetni a narancs és a nem narancs között ezeket a tulajdonságokat? Könnyű megkülönböztetni egy narancsot egy almából, de egy narancsot nem lehet elárulni egy mandarinból: egy nagy mandarin összetéveszthető egy kis narancssárga színnel. Ezért a narancs pontos azonosításához további jellemzőket kell megadnia.

Például a koncepció hatálya a folyó -. Ez a készlet a folyók, neveit viselő Ob, Irtis, Jenyiszej, Volga, stb összegét a tanuló a fogalom magában foglalja az összes ember, aki valaha tanult (különösen a „semmit, és kak ), tanulmányozzon vagy tanulni fog egy nap.

Az ítélet (mondat, kimutatás) alakja a gondolkodás, amelyben valami elfogadták vagy elutasították tárgyakról, azok tulajdonságait és a közöttük lévő kapcsolatok.

A döntések nyelvi kifejezése egy narratív mondat. Az ítéletek egyszerűek és összetettek.

Például a tavaszi növekedés ítélet, a tavasz és repült bástya és hamis álló két prímszám.

Például valaki számára igaz, hogy a szabadság, a biztonság és a kényelem mély tudást ad, és valaki más számára a biztonság és a kényelem nagy pénzt ad.

Az ítélet logikai formája annak szerkezete, ahogy alkotóelemei kapcsolódnak egymáshoz.

A megítélés formája - tartalmától eltérően - objektív, vagyis nem függ az egyik személy nézeteitől.

A gondolkodás Ormának a következtetése, amelyen keresztül egy vagy több mondatnak nevezett mondatból következtetések határozott következtetései alapján következtetésre jutunk (következtetés levonása).

Az orosz nyelvben a mozaklyuchenie szót két értelemben használják: az érvelés folyamatának, a gondolkodás folyamatának jelzésére, amely valamilyen következtetést von maga után, és jelzi a folyamat eredményét.
Még az ősi időkben is ismert volt az érvelés, amely egy igazi logikus következtetés klasszikus példája lett:

Minden ember halandó. Socrates egy személy. Szókratész halandó.

Megjegyezzük, hogy a logikai szabályok egyetlen következtetései az igaz ítéletek. Minden érvelés, mint az ítélet, saját formája. Ez az űrlap logikailag helyes vagy logikusan helytelen lehet. Tehát a Socrates-példában az érvelés formája logikusan helyes: minden S-nek P-nek van.

A személy helyesen döntött, amikor azt mondja:

Ha valami fém, akkor áramot vezet, az alumínium áramot vezet.
Ha S jelentése P1, akkor S értéke P2.
És van P2.
Az alumínium egy fém.
És ott van a P1.

Az igazi helyiségekből valódi következtetést értek el. Feltételezhető, hogy ezen a formanyomtatványon való meggondolással minden esetben az igazi helyről kapjuk a valódi következtetést. Ellenőrizzük ezt:

Ha valami fém, akkor elektromos áramot vezet, a víz áramot vezet.
Ha S jelentése P1, akkor S értéke P2.
És van P2.
A víz fém.
És ott van a P1

Az igaz helyiségekből hamis következtetést kaptak. Feltételezzük, hogy ha ezt a formát ítéljük, mindig az igazi következtetést kapjuk az igazi feltételezésektől, akkor téves. Következésképpen azok, akik ezt a formát indokolják, maguk hibákat követnek el, vagy félrevezetik a hallgatókat. Így, amikor hallotta, hogy egy kis jeget (érvelés, következtetés), akkor lehet meghatározni az alak ezt az érvelést, és tudván, hogy ez logikailag helyes, azt előre, hogy egy igazi következtetést.

Vegyük például a következő kifejezést:

Ha valaki lázas, akkor beteg; ez a beteg beteg; ezért magas hőmérsékletnek kell lennie.
Ez egy példa egy olyan érvelésre, amelyet ugyanaz a helytelen séma (forma) alapján szerkesztettünk:
Ha van, akkor a második; a második az; következésképpen van egy első.

Tehát a gondolkodásmódok tartalmának szempontjából a világ valódi vagy hamis tükröződése keletkezik, és ha figyelembe vesszük a forma oldalán való gondolkodást, akkor csak logikus korrektsége vagy helytelensége van.

Példák a fogalmakra:
1) narancssárga,
2) a trapéz,
3) belzin,
4) a Nílus folyó,
5) hurrikán szél;
6) orvostanhallgató.

Példák az ítéletekre:
1) Ez a narancs finom.
2) Ha esik az eső, akkor tavasszal az utcán.
3) Holdon élő hullámok, és a Mars Arsian.

Példák a következtetésekre:
1) Minden ember halandó. Socrates az a személy
Szókratész halandó.
2) Sok ember van.
Socrates egy személy.
Socrates sokat.
3) Az a négyszög (S1), amelynek ellentétes oldala párhuzamos (P), paralelogramma (S2). A négyzet (S3) a négyszög (S1), amelynek ellentétes oldala párhuzamos (P).