Curs logic 5 O judecată complexă

Curs 5. HOTĂRÂRE COMPLEX

Tipuri de judecăți complexe și tabele de adevăr.

Modalitatea judecăților: esență și tipuri.

1. Tipuri de judecăți complexe și tabele de adevăr.

O propunere dificilă este o propunere care constă în două sau mai multe judecăți simple, interconectate de uniunile logice. Cel mai simplu tip de judecată compusă este negarea

1. Negarea - "nu", "nu este corect că ..." "Nu este adevărat că Pământul este pătrat". Este indicat de obicei prin semnul "¬" sau "

„Condiții complex judecata adevăr constând din simplu bazat pe ambiguitatea ipoteza și sunt stabilite cu tabelul de adevăr, unde p, q - variabile propozitionale denotând judecata simplă, adică p - (S are P) și q - (S are P ) Și - adevărat, A - false.În primele două coloane, p și q sunt considerate independente.

Tabel de adevăr pentru negare

Judecătorii echivalenți sunt echivalenți. Prin urmare, ele sunt valabile pentru valori egale ale termenilor echivalenței și false pentru diferite.

2. Modalitatea judecăților: esența și tipurile.

Modalitate - acest lucru este explicit sau implicit exprimat în judecarea informațiilor suplimentare despre gradul de valabilitate, statutul logic sau actual, despre reglementare, evaluare și alte caracteristici. Cuvântul prin care se fixează modalitatea unei declarații se numește functor modal. iar declarația care conține functorul modal se spune că este modal. Secțiunea de logică în care sunt studiate proprietățile exprimărilor modale se numește logică modală. Modalitatea logică se referă la logica non-clasică (logica clasică este de două valori, iar logica modală este multi-evaluată). Cele mai frecvente sunt modalitățile:

aletic (din greaca "aleteya" - adevărul)

axiologic (din axiologia greacă - valoroasă)

deontic (de la detona greacă - așa cum ar trebui să fie)

epistemic (din grecescul "episteme" - cunoaștere autentică)

1. Modalitatea aletică este exprimată prin intermediul operatorilor (functorilor) "necesar" (□), "posibil" (◊), "aleatoriu" (). Principalele concepte aletice sunt considerate a fi concepte de posibilitate și necesitate. Pentru a exprima posibilitățile de limba rusă folosește cuvântul „poate“, „ar putea“, „probabil“, și altele. Pentru a exprima necesitatea de a utiliza cuvântul „necesar“, „ar trebui“, „prin urmare“, și altele. 2. axiologică (estimat) modalitatea declarații din punctul de vedere al unui anumit sistem de valori. Starea declarațiilor axiologică este exprimat ca ( „bun“, „rău“, „rău“, „nu-mi pasă“) sau relative ( „mai bine“, „mai rău“, „echivalent“) concepte evaluative absolute. 3. deontică (normativ) modalitatea reflectă relația judecății cu normele aprobate de moralitate drept, obligații specifice ( „trebuie“, „trebuie“, „poate“, „permis“, „interzise“, „permis“), și poate de asemenea exprima ordine, motivare pentru anumite acțiuni.

4. epistemică modalitate reflectă gradul de valabilitate a conținutului hotărârii în cunoașterea (de la „dovedit“ sau „respins“ la „probabil“, „problematice“, „puțin probabil“ m. P.), și modul de a face informațiile conținute în hotărârea ( „știu "," Cred "," Sunt convins "," mă îndoiesc "etc.). În ceea ce privește validitatea cunoașterii, există două clase de judecăți disjuncte: fiabile și problematice. Hotărârile judicioase sunt judecăți bine fundamentate ale judecăților adevărate sau false. Modalitatea lor poate fi exprimată cu ajutorul a doi operatori: V - operatorul dovezii (verificării), F - operatorul de respingere (falsificare). "Se dovedește că Pământul este rotund" - V (p). "Se respinge faptul că Pământul este plat" - F (q). Operatorii V și F pot fi exprimați unul pe altul: V (p) ≡F (

p) ≡ F (p). Concluziile problematice sunt judecăți care nu pot fi considerate fiabile din cauza lipsei de valabilitate. Concluziile problematice pot fi exprimate de un operator P, similar operatorului de probabilitate în matematică. Expresia P (p) este citită: "Probabil p" sau "Aparent, p". De asemenea, poate fi exprimată în termenii operatorilor V și F: P (p) =

F (p), adică natura problematică a lui p înseamnă că p nu este dovedit și nu este respins.