Informatică și logică, logică în informatică

Forme de gândire umană

Deci, subiectul studiului științei logicii este gândirea umană. Gândirea este întotdeauna efectuată într-o anumită formă. În logică se disting următoarele forme de gândire:








Conceptul este o formă de gândire, în care se reflectă caracteristicile esențiale distinctive ale obiectelor.

Semnificative sunt acele semne, fiecare dintre acestea, luate separat, nu este necesară, dar toate suficient împreună pentru a cu ei, ajuta pentru a distinge (evidenția) obiectul (fenomenul) de restul și să facă o generalizare prin combinarea elemente uniforme în set.

De exemplu, semnele conceptului de portocaliu sunt: ​​rotunde, portocalii, elastice, dulci, parfumate. Este posibil să se facă distincția între portocalii și non-portocale în funcție de aceste caracteristici? Este ușor să distingi o portocală de un măr, dar nu poți spune o portocală dintr-un mandarin: un mandarin mare poate fi confundat cu o portocalie mică. Prin urmare, pentru a identifica corect portocala, trebuie să introduceți caracteristici suplimentare.

De exemplu, domeniul de aplicare al conceptului de râu -. Este un set de râuri, care poartă numele Ob, Irtysh, Enisei, Volga, etc. Cantitatea pupilei conceptului include toate persoanele care au studiat vreodată (în special, „orice și kak ), studiați acum sau veți afla într-o bună zi.


Propunerea (afirmație, afirmație) a cadrului de gândire în care se afirmă sau se contestă ceva despre obiecte, proprietățile lor sau relațiile dintre ele.

Expresia lingvistică a judecăților este o sentință narativă. Hotărârile sunt simple și complexe.

De exemplu, primăvara a ajuns o judecată în creștere, și a venit primăvara, și au sosit un vârf și unul fals, alcătuit din două simple.

De exemplu, pentru cineva este adevărat că libertatea, securitatea și confortul dau o cunoaștere profundă, iar pentru altcineva, siguranța și confortul dau mari bani.

Forma logică a judecății este structura sa, modul în care sunt conectate componentele acesteia.

Forma judecății, spre deosebire de conținutul ei, este obiectivă, adică nu depinde de opinia unei persoane particulare.


Forma de gândire inferență, prin care una sau mai multe propuneri, numite premise, suntem anumite reguli de inferență obținem Judecată concluzie (concluzie umozaklyucheiya).







În limba rusă, The mozaklyuchenie cuvânt este folosit în două sensuri: pentru a se referi la procesul de raționament, gândire, care conduce la o anumită concluzie, și pentru a indica rezultatul acestui proces.
Chiar și în cele mai vechi timpuri, a fost cunoscut un raționament care a devenit un exemplu clasic al unei adevărate concluzii logice:

Toți oamenii sunt muritori. Socrates este o persoană. Socrate este muritor.

Să constatăm că singurele premise ale inferenței prin reguli logice sunt judecăți adevărate. Fiecare rațiune, ca și judecata, are propria sa formă. Acest formular poate fi logic corect sau logic incorect. Deci, în exemplul cu Socrate, forma de raționament este logic corectă: Toți S sunt P. Unii A sunt S. Unele A sunt P.

Este persoana care raționează corect atunci când spune:

Dacă ceva este metal, atunci conduce un curent electric, Aluminiu conduce un curent.
Dacă S este P1, atunci S este P2.
Și există P2.
Aluminiu este un metal.
Și există P1.

Din premisele adevărate, sa ajuns la o concluzie adevărată. Se poate presupune că, luând în considerare acest formular, vom primi de la adevărate premise adevărata concluzie în toate cazurile. Să verificăm acest lucru:

Dacă ceva este metal, atunci conduce un curent electric, Apa conduce un curent.
Dacă S este P1, atunci S este P2.
Și există P2.
Apa este din metal.
Și există P1

Din premisele adevărate, sa obținut o concluzie falsă. Presupunerea noastră este că, judecând după această formă, întotdeauna obținem adevărata concluzie din premisele adevărate, este eronată. În consecință, cei care se gândesc la această formă, fie fac greșeli înșiși, fie induc în eroare pe ascultători. Astfel, atunci când a auzit niște gheață (raționament, inferență), puteți determina forma acestui raționament și a ști dacă este logic corect, să spunem dinainte dacă o adevărată concluzie.

Luați în considerare, de exemplu, următoarea frază:

Dacă o persoană are o febră, atunci este bolnav; această persoană este bolnavă; prin urmare, trebuie să aibă o temperatură ridicată.
Acesta este un exemplu de raționament construit în conformitate cu aceeași schemă incorectă (formă):
Dacă există unul, atunci al doilea; al doilea este; prin urmare, există o primă.

Deci, în ceea ce privește conținutul hotărârii în procesul de gândire este format prin reflexie adevărată sau falsă a lumii, iar dacă luăm în considerare gândirea din partea formei, este important doar corectitudinea logică sau inexactitate.

Exemple de concepte:
1) un portocaliu,
2) trapezul,
3) belzin,
4) râul Nil,
5) vântul uraganului;
6) student al institutului medical.


Exemple de hotărâri judecătorești:
1) Acest portocaliu este delicios.
2) Dacă a plouat, atunci este primăvara pe stradă.
3) Pe lună trăiesc nebuni și pe Marte Arsian.


Exemple de inferențe:
1) Toți oamenii sunt muritori. Socrate persoana
Socrate este muritor.
2) Există o mulțime de oameni.
Socrates este o persoană.
Socrate mult.
3) Cvadrilaterul (S1), ale cărui laturi opuse sunt paralele (P), este o paralelogramă (S2). Pătratul (S3) este patrulaterul (S1), ale cărui laturi opuse sunt paralele (P).







Trimiteți-le prietenilor: