Conceptul de modalitatea de judecată în logica formală și tipurile sale de bază - logica - este disponibil pentru toți

Conceptul de modalitatea de judecată în logica formală și a tipurilor sale de bază

Sub modalitatea logicii formale exprimate înțeleagă-ing în judecată informații evaluative suplimentare despre conexiunile dintre fenomene, starea logică a hotărârilor de reglementare, în timp și alte caracteristici.

Modal Hotărârea mo utilizat în mod explicit sau implicit operatorul Far „poate“, „este necesar“, „dovedită“, „rău“, „nu este permis“, etc. De exemplu: .. „E rău atunci când un student ratează clasă pentru nemotivate.“ Structura acestei judecăți este următoarea: M (S este P). În general, orice informații suplimentare menționate în hotărârea de mo-game din prezenta hotărâre.

Există o varietate de modalități, care sunt împărțite în clase. Dar vom lua în considerare doar tipul de stey modale care sunt cel mai frecvent utilizate în procesul cognitiv: alethică, epistemică și Deon-din punct de vedere.

I. modalitate alethică ( „alethică“ - un cuvânt de origine Gre-agenție care înseamnă „adevărat“) - acesta este exprimat-emaya folosind „necesare“ operatori, „accidental“, „poate“, „imposibil“ informații despre logică sau de fapt justificată vannosti judecata: „Poate mâine va fi o zi însorită“; „Este imposibil ca o persoană care nu a făcut o greșeală în viața mea.“

În logica simbolică se referă la modalitatea etsya alethică după cum urmează: „A €«-»Un necesar„; «A» - «SLE ceai-A„; "A" - "O posibilă"; "

Hotărârile sunt adevărate sau false de factori în virtutea Neko-toryh, care poate fi împărțit în două părți: faptul-CAL și logică. Acesta determină tipurile adecvate de modalități: modalitatea efectivă și modalități logice.

Actualele modalitățile asociate cu obiectivul Obus lovlennostyu-adevăr, atunci când judecata sau falsitate a stării reale op-redelyayutsya a afacerilor în mediul de acțiune-facultatea lor.

Pentru fapt, sunt adevărate judecăți în care legătura dintre termenii hotărârii corespunde actu-NYM relațiile dintre fenomene. Un exemplu de o astfel de judecată „KSU în Kazan“.

Pentru fapt, sunt judecăți false în care legătura dintre subiect și predicat nu corespunde realității, „KSU la Berlin.“ Prin urmare, ar trebui să existe utilizează operatorul modal TVA: „Nu este adevărat că KSU ​​este situat în Berlin.“

Utilizarea unor concepte modale de necesitate și SLU, cu șansă, posibilitate și imposibilitate apare atunci când, expresii ale relațiilor reale între fenomene. Faktiches kuyu-modalitate, la rândul lor, pot fi împărțite în nevoie reală este de fapt aleatoriu, de fapt posibil-ing și, practic, imposibil de specii.

De fapt, este necesar - este judecăți în care govo-ritsya conectarea fenomenelor definite prin baza lor internă stabilă și un set de condiții de dezvoltare a acestora. Acestea sunt legile științifice Xia. De exemplu: „În toate sistemele inerțiale ale tuturor proceselor mecanice au loc în același fel.“ Limbajul natural este de fapt judecata necesară este adesea exprimat folosind cuvintele „trebuie“, „cu siguranță“, „non-necesitate“, și așa mai departe. N.

De exemplu: „Apa este cu siguranta fierbe la 100 de grade Celsius, în condiții normale.“ Toate celelalte hotărâri de fapt sunt aleatorii.

De fapt, este posibil - aceasta este judecata, conținând în formație în mod uniform a fenomenelor. De exemplu: „The Ox-gograde astăzi, poate că va ploua.“ În indicatorii de limbaj natural sunt posibile judecăți de monitorizare ing cuvântul „posibil“, „poate“, „permis“. Ei upot-reblyayutsya ca cuvintele introductive, predicate.

Este practic imposibil - aceasta propunere care conține în formarea cu privire la absența unei baze unitare pentru dezvoltarea fenomenelor. On-exemplu: „Educația la Facultatea de KSU-imposibil este posibil ca o persoană care nu are studii medii“

modalitate logică - adică, informații despre cauzat dualitatea judecății, care se bazează pe legile și reglementările logica lo. Aceasta judecata adevărată sau falsă a structurii este definită. Acestea includ, de exemplu, sunt judecăți care exprimă legile logicii (legea identității: Fiecare gând în procesul de raționament ar trebui să fie identică cu ea însăși). K-ki de fals logice includ judecăți contradictorii pe plan intern. On-exemplu: „Te iubesc atât de mult încât mi place.“

II. Epistemic modalitate - este exprimată în suzh-Denia FUNDAMENTARE și gradul de fiabilitate ( „episteme“ a însemnat în filozofia antică cel mai înalt tip, fără îndoială-picior, cunoștințe autentice).

Operatorii unor astfel de judecăți: demonstrabile, demonstrabile, insolubil, refutabil.

Comunicarea dintre oameni este de a utiliza evaluări în timp personale și dovezi care au diferite fiabilitate macacul CTE, care depinde de multe condiții. Natiuni importante dintre ele sunt logice și non-logice stare-Vija predeterminarea două tipuri de hotărâri epistemice: judecăți rațional în cunoștință de cauză care exprimă cunoștințe, și Bas-en judecata credință, având irațională.

Logica Oriented presupune cunoștințe la-nyatie ca adevărate numai astfel de judecăți, care descriu pe-rayutsya fiabil stabilit empiric sau date Teorema-vedere genetic.

În logica gradului de valabilitate sunt două clase de hotărâri: de încredere (de exemplu, cele care pot fi considerate suzh-denie „Este drept că organismele vii sunt o forță geologică enormă dovedit a fi convingător VI Ver nadsky“) și problematice (de exemplu, „On -vidimomu, viața nu numai ca exista pe Pământ „).

hotărâre semnificativ - se spune, în Koto-rom conține un set de informații ferm. Hotărârile au dovedit adevărul, care servesc la cunoașterea ca punct de plecare a unor noi concluzii, ceea ce duce pentru a spori și mai mult de cunoștințe de încredere. hotărâre de încredere ar trebui să se facă distincție între problematică.

hotărârile Problematizările - sunt astfel de declarații, Koto-secară nu pot fi considerate credibile datorită faptului că adevărul sau falsitatea unei astfel de raționament nu este sigur. Ei numai de pre-TENDA fie adevărat. Prin urmare, este necesar să se permită pro-Bloem: este conținută în hotărârea de informații Dost adevărate? Prin urmare, ele au fost numite problematice. În limbaj natural, astfel de declarații folosesc de obicei, astfel de cuvinte introductive, cum ar fi, „“ apare „probabil“, „poate“ și altele.

Pentru factori non-logice care afectează patru Lovek, „forțând“ să recunoască anumite hotărâri în Ka-onorurile adevărate sau false, pot fi

III. modalitate deontică (cuvântul „deontică“ în „taxă“ lac-start grecesc) - este exprimat în hotărârea de informare, încurajează oamenii să anume într-un mojar. Propoziția limbaj natural este construit sub forma de sfaturi, cereri, comenzi, reguli de conduită sau ordine. În aceste hotărâri sunt de multe ori sunt interzise operatorilor prezenți, se permite, în general, este necesară, ar trebui. De exemplu, „Lectures on logica, este de dorit să asculte cu mare atenție“; „Nu pierde seminarii pe logică.“ „Cetățenii noștri au dreptul să se odihnească; interzis din bibliotecă fără un card de bibliotecă „; „În țara noastră este autorizată să primească un pașaport cu un copil de 14 ani, și un permis de conducere - o 18“.

IV. Aksiologicheskayamodalnost. Operatori judecăți: bune, rele, excelent. „Ei bine, acea zi liberă mâine.“ „Fantastic, ca un alt computer instalat în biroul nostru.“ „Este rău că acum trebuie să rămână la locul de muncă până noaptea târziu.“

V. Vremennayamodalnost. Operatorii: întotdeauna, niciodată, o dată, înainte de mai târziu. „Puteți găsi întotdeauna o cale de ieșire din situații dificile.“ „Am folosit pentru a place să rătăcească pe străzi liniștite și vis.“ „Nu se amestecă până trecut.“