2.1. Conceptul în logica formală este.
o o mulțime de obiecte separate în lume cu proprietăți diferite
þ gândirea logică a obiectului, reflexia obiectului în una sau mai multe caracteristici esențiale ale acestuia
o disecția mentală a obiectului gândirii în elementele ei
o conectarea mentală a părților unui obiect
o totalitatea obiectelor concepute în acest concept
o elemente care sunt similare unul cu altul
o unirea mentală a obiectelor individuale într-un anumit concept
þ un set de trăsături esențiale ale unui obiect conceput într-un concept dat
2.3. Pe baza volumului și a conținutului, puteți lua în considerare astfel de tipuri de concepte ca ...
þ specifice și abstracte
o logică și nonlogică
þ comună, singură și zero
o semnificativă și neesențială
2.4. Logica studiază relația dintre conceptele ...
o naștere și specie
þ conținut și volum
o caracteristici și mijloace
o proprietăți și scop
2.5. Compatibil sunt conceptele ...
o conținând semne care indică relația unui concept cu altul
þ volumele acestora coincid parțial sau total
o în care sunt gândite multe obiecte
2.6. Definiția (sau defenitsiey) se numește ...
o O operație logică care dezvăluie un set de trăsături esențiale ale unui obiect
o O operație logică care dezvăluie scopul unui concept
o O operație logică care dezvăluie relația dintre concepte
2.7. Distribuția obiectelor în grupuri (clase), în care fiecare clasă are un loc permanent propriu este ...
o diviziune dichotomică
o generalizarea subiecților
Operațiunea Logicheskaya, care dezvăluie scopul conceptului, se numește ...
2.13 Se numesc concepte care nu au elemente comune de volum ...
Tema 3. Judecata și tipurile acesteia.
Omul, învățând prin conștiința lumii obiective, dezvăluie legăturile dintre obiecte și semnele lor. Găsirea asemănării și a diferenței dintre obiecte înseamnă rațiune. Cu ajutorul conceptelor, nu este întotdeauna posibilă transmiterea bogăției gândirii umane și a obiectelor în sine. Cele mai adânci legături și relații se reflectă în gândirea sub formă de judecăți.
Judecata este un gând în care, în cuvântul său, se afirmă ceva despre obiectele realității și care este în mod obiectiv fie adevărat, fie fals și în mod necesar unul dintre cele două.
Adevărul este gândul care corespunde realității. Falsul este gândul, în care realitatea nu este adevărată, distorsionată. De exemplu, "fierul este mai greu decât apa" este o judecată adevărată, iar gândul că "metalul de fier" este fals, deoarece fierul nu aparține grupului de metale neferoase.
În limbă, judecata este exprimată prin sugestii narative și o întrebare retorică. Propozițiile interrogative și motivaționale, fără a afirma nimic și fără a nega ceva, nu au valoarea adevărului și judecățile nu se exprimă. Judecata și propunerea diferă în funcție de compoziție. Dacă hotărârea este alcătuită din doi termeni - subiectul (S) și predikta (P) și ligamentele, circulația adăugarea propusă la termenii principali ai -podlezhaschego și predicat - sunt membri secundari: definiție, plus și circumstanță.
Simplu - numită judecată, constând dintr-o singură judecată.
Fiecare judecată de atribut are un subiect, un predicat și o grămadă.
Subiectul judecății este conceptul de subiect al judecății. Conceptul de trăsătură al unui obiect, considerat în judecată, se numește predicat al judecății. Un pachet este chiar declarația sau negarea conținutului conceput în predicat.
Expresiile atributive sunt exprimate prin formula:
"S este / nu este P".
Concluzii generale afirmative - (A): "Toți S sunt P";
Hotărâri negative generale - (E): "Nu S este P".
Hotărâri afirmative în mod deosebit - (I): "Unele S sunt P";
Concluziile parțial negative - (O): "Unele S nu sunt P".
Distribuția termenilor în hotărârile A, E, I și O poate fi prezentată sub forma tabelului următor:
Din acest tabel rezultă următoarea regularitate: subiectul este distribuit în judecăți generale (A, E) și. nu este distribuit în propoziții particulare (1, 0). Predicatul este distribuit în judecăți negative (E, O) și nu este distribuit în judecăți afirmative (A, 1).
Un termen se numește distributiv dacă volumul său este complet inclus în sfera unui alt termen sau este complet exclus din acesta, adică hotărârea se referă la toate subiectele acoperite de acest termen. Pe cercurile Euler, aceasta poate fi reprezentată după cum urmează:
Printre judecățile care au o structură subiect-predicat există judecăți. Spre deosebire de hotărârile atributive care reflectă legătura dintre obiecte și atributele lor, judecățile existenței reflectă existența sau inexistența obiectelor. De exemplu, "Există un oraș în Moscova", "Gânduri fără coajă de limbă nu există". În aceste hotărâri, subiectul este conceptul obiect al judecății, a cărui existență obiectivă este afirmată sau negată, predicatul fiind ideea existenței sau inexistenței unui obiect.
Totuși, nu toate judecățile au o structură subiect-predicat. Relația dintre obiecte și fenomene ale realității este exprimată în judecata relațiilor (sau judecăți cu atitudini). Structura acestor judecăți este exprimată prin formula: A R B, unde A și B denotă conceptele obiectelor, R este relația dintre obiecte. Formula A R B se citește după cum urmează: "Între obiectele A și B există o relație R". De exemplu, "Moralele au provenit înainte de religie".
Alocarea și excluderea judecăților
Având în vedere împărțirea judecăților în termeni de cantitate, trebuie să se acorde atenție unicității pronunțării și respingerii judecăților.
În alocarea judecăților, ceva este întotdeauna afirmat sau negat doar în legătură cu subiectul acestei judecăți.
Alocarea se numește o hotărâre în care este afișată orice caracteristică a unui obiect (sau obiecte), care o deosebește de alte obiecte indicate în judecarea clasei de obiecte.
Într-o singură propoziție distinctivă, caracteristica distinctivă se referă la un obiect special al unei clase de obiecte.
În considerarea specială, caracteristica distinctivă se referă la unele (și poate la toate) obiecte ale unei clase cunoscute.
De exemplu, "unele corpuri conductive electrice, și numai corpuri conductive din punct de vedere electric, sunt metale".
În schimb, într-o anumită judecată generată privat, caracteristica distinctivă se referă numai la anumite obiecte ale unei clase cunoscute.
De exemplu, "Doar unii oameni, și numai oamenii - medici".
În generalizarea judecății, caracteristica distinctivă se referă la fiecare subiect al unei clase.
De exemplu, "Numai partidele conduse de o teorie avansată pot aduce o redresare economică în țară".
Eliberarea orice hotărâre este o sinteză a hotărârilor pozitive și negative, este cât de mult din ea se presupune că aparține orice semn al obiectului unei anumite clase de obiecte și de un membru temporar negat de aceleași caracteristici ale celorlalți subiecți din aceeași clasă.
Excluderea hotărârilor este o hotărâre generală în care o parte din obiecte care nu posedă o caracteristică inerentă tuturor subiecților din clasa în cauză este exclusă. De exemplu, "Fiecare societate, cu excepția comunității primitive, este clasă"
Această propunere este formată dintr-o sinteză a două judecăți particulare: "Unele societăți sunt clase" și "Unele societăți nu sunt clase".
Întrucât în procesul de formare a excluziunii judecăților există o tranziție de la cunoaștere mai puțin exactă la cunoaștere mai exactă, aceste judecăți joacă un rol important în procesul cunoașterii.
Hotărârile sunt dificile, în care este posibil să se identifice părțile corecte care sunt judecăți.
În funcție de funcțiile conectivității logice, principalele tipuri de judecăți complexe sunt:
1. conectivitate (conjunctive) - judecăți formate prin legarea a două sau mai multe judecăți simple de uniunea logică "și".
2. Separare (disjunctiv) - judecăți, formate prin legarea a două sau mai multe judecăți simple de uniunea logică "sau".
Există două tipuri de unire logică separată "sau":
conexiune-separator (disjuncție nestrictă sau pur și simplu disjuncție) - V;
excluzând - separarea (disjuncția strictă) V.
3. Condiționate (iplikativnye) - judecăți complexe, formate cu ajutorul unirii logice "dacă. apoi »→».
4. Hotărârile de echivalență sunt judecăți complexe formate prin legarea a două sau mai multe hotărâri cu o uniune logică "dacă și numai dacă. apoi »,» dacă și numai dacă. atunci când. „=.
5. O hotărâre cu o negare externă este o hotărâre în care se afirmă absența unei anumite situații. Acesta este cel mai adesea exprimat printr-o teză care începe cu o frază. "Nu este corect că." Negarea externă este marcată de simbolul " # 9488; ", numit semnul negației.
Relațiile dintre hotărâri. Pătrat logic
Stabilirea tipurilor de relații între judecăți este importantă atunci când se compară diferite puncte de vedere cu privire la aspecte controversate.
importante tipuri de relații între judecățile formelor logice ale relației: compatibilitatea adevărului, compatibilitatea falsității, consecința logică, echivalența logică, subordonare, kontradiktornosti, contrariile, subkontrarnosti și independența logică.
Relația compatibilității logice cu adevărul are loc între propozițiile A și B, dacă și numai dacă ele pot fi simultan false.
Raportul contra-dictaturii (contradicții): A-O, E-I. Aceste judecăți nu pot fi adevărate și false. Din adevărul unei judecăți urmează falsitatea unei alte propoziții, din falsitatea unuia este adevărul celuilalt. Concluziile sunt elaborate conform schemelor: Au → Ol; Al → Oi; Ei → Il; El → I și.
Raportul contrarității (compatibilitate parțială): A - E. Opozițiile opuse nu pot fi ambele adevărate în același timp, dar pot fi simultan false. Din falsitatea unei judecăți urmează adevărul celuilalt, dar din adevărul unuia dintre ei se poate urma atât adevărul, cât și falsitatea unei alte judecăți. Concluziile sunt construite conform următoarelor scheme: Au → Eh; Ei → Al; Al → E? El -> A?
Raportul dintre subcontract (compatibilitate parțială): I-O. Aceste judecăți pot fi ambele adevărate în același timp, dar nu pot fi simultan false. Din falsitatea unei judecăți urmează adevărul celuilalt, dar din adevărul unuia dintre ei poate urma atât adevărul, cât și falsitatea celuilalt. Concluziile sunt construite în conformitate cu schemele: Ii → Oi; Ol → Iι; Ii → O?; Oi → eu?
Subordonare relația: A - I, E - G. De la subordonându judecata adevărului sclav urmează judecata adevărului, dar nu și invers: de la o judecată adevăr subordonat subordonându judecata adevărului nu ar trebui, poate fi adevărat, dar poate fi fals.
Din falsitatea judecății subordonate urmează falsitatea propoziției subordonate, dar nu invers.
Modalitate - aceasta este o informație suplimentară despre natura relației dintre fenomenele reale, starea logică a judecăților, evaluarea, caracteristicile de reglementare și alte caracteristici.
Modalitatea aletică este exprimată în termeni de "posibil", "accidental" și este împărțită în logică și reală / fizică). Starea lucrurilor poate fi logic posibilă sau, de fapt, posibilă, logic necesară sau efectiv necesară, logic accidentală sau de fapt accidentală.
În mod logic, este posibil ca LP să nu contrazică legile logicii.
Este firesc să spunem că nu este posibil tot ceea ce este logic posibil. Știm că viața pe luna nu este posibil (de fapt), dar afirmația: „Pe luna există viață“ - nu este contrar legilor logicii, prin urmare, este logic posibil ca luna este viata.
De fapt, este posibil ca aceasta să nu contravină legilor naturii și vieții sociale - FV.
Logic necesar este ceea ce este legea logicii - LN.
De fapt, sunt necesare legile naturii și vieții sociale și consecințele logice ale acestora.
Următoarele simboluri sunt folosite pentru a desemna concepte logice modale:
Următoarele simboluri sunt folosite pentru a desemna conceptele modale actuale:
Prin epistemicã modalitatea hotărâre divide ulterior autentic exprimate folosind două ing operatorul: provably - V, și refutabil - F, judecata problematică exprimată de către operator - P (problematică).
Modulul deontologic se exprimă cu ajutorul operatorilor:
Acțiunea care trebuie executată este marcată de simbolul-d, participanții la relația juridică sunt Y, X, etc.
Întrebări de auto-control pe această temă:
Care este judecata ca formă de gândire?
Care sunt elementele structurale ale propoziției?
Care este relația dintre propoziție și propoziție?
Oferiți o descriere a împărțirii judecăților în funcție de conținutul predicatului: proprietăți, relații, existență.
Oferiți o descriere a împărțirii judecăților prin calitatea pachetului: afirmativ, negativ.
Oferiți o descriere a împărțirii judecăților în funcție de volumul subiectului: general, particular, individual.
Oferiți o descriere a împărțirii judecăților prin modalitate.
Definiți o judecată complexă. Tipuri de judecăți complexe.
Ce înțelegem prin distribuirea termenilor?
Faceți o caracterizare a relației dintre judecăți asupra adevărului.
Articole similare
-
Un test de 150 de întrebări pe tema "bolii parodontale" (forme de parodontită
-
Prezentarea pe tema și scopurile de familiarizare cu conceptul de grafic, cu elementele sale de bază
Trimiteți-le prietenilor: