Dom

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 26. maj 2020; checks kræver 8 redigeringer .

En dom  er en tanke , der bekræfter tilstedeværelsen eller fraværet af nogen tilstande [1] .

Typerne af domme og forholdet mellem dem studeres i filosofisk logik . I matematisk logik svarer propositioner til propositioner .

Enkel og kompleks

Simple domme  er domme, hvis bestanddele er begreber . Et simpelt forslag kan kun dekomponeres i begreber. En simpel proposition er en proposition, der ikke indeholder mere end to begreber.

Sammensatte propositioner  er propositioner, hvis bestanddele er simple propositioner eller deres kombinationer. En kompleks bedømmelse kan betragtes som en dannelse fra flere indledende domme forbundet inden for rammerne af en given kompleks bedømmelse af logiske foreninger (ligamenter). Det logiske træk ved en kompleks bedømmelse afhænger af den forening, som simple domme er forbundet med.

Sammensætning af en simpel proposition

En simpel (attributiv) dom er en dom om tilstedeværelsen eller fraværet af genstandes egenskaber ( attributter ). I en simpel (attributiv) bedømmelse kan der skelnes mellem følgende bedømmelsesudtryk - subjekt, prædikat, bindende, kvantifier [2] :

Eksempel: "Alle knogler er organer i en levende organisme."

Emne - "knogle";

Prædikatet er "organer af en levende organisme";

Logisk forbindelse - "er";

Kvantifikatoren er "alt".

Sammensætning af en kompleks proposition

Komplekse domme består af en række simple ("En person stræber ikke efter det, han ikke tror på, og enhver entusiasme, der ikke understøttes af virkelige præstationer, forsvinder gradvist"), som hver i matematisk logik er betegnet med latin bogstaver (A, B, C, D … a, b, c, d…). Afhængigt af dannelsesmetoden skelnes der mellem konjunktive, disjunktive, implikative, ækvivalente og negative domme.

Disjunktive (også disjunktive ) domme dannes ved hjælp af disjunktive ( disjunktive ) logiske konnektorer (svarende til foreningen "eller"). Ligesom simple disjunktive domme er de:

Implikative domme dannes ved hjælp af implikationen , (svarende til foreningen "hvis ..., så"). Skrevet som eller . På naturligt sprog er foreningen "hvis ... så" nogle gange synonym med foreningen "a" ("Vejret har ændret sig, og hvis det i går var overskyet, så er der ikke en eneste sky i dag") og i dette tilfælde , betyder en konjunktion.

Konjunktive domme dannes ved hjælp af logiske bindeled eller konjunktioner (svarende til et komma eller fagforeninger "og", "et", "men", "ja", "selvom", "hvilket", "men" og andre). Optaget som .

Tilsvarende domme angiver identiteten af ​​delene af dommen til hinanden (tegn et lighedstegn mellem dem). Ud over definitioner, der forklarer et udtryk, kan de repræsenteres af domme forbundet med konjunktionerne " hvis og kun da ", "nødvendigt og tilstrækkeligt" (for eksempel: "For at et tal skal være deleligt med 3, er det nødvendigt og tilstrækkeligt, at summen af ​​de cifre, der udgør den, er delelig med 3"). Det er skrevet som (forskellige matematikere har forskellige måder, selvom det matematiske tegn på identitet stadig er ).

Negative domme opbygges ved hjælp af negative links "ikke". De skrives enten som en ~ b, eller som ab (med en intern negation såsom "en bil er ikke en luksus"), samt bruger en streg over hele dommen med en ekstern negation (gendrivelse): "det er ikke sandt, at ...” (ab).

Klassifikation af simple domme

Kvalitet

Efter bind

I forhold til

I forhold mellem emne og prædikat

Emnet og prædikatet for en dom kan være fordelt (indeks "+" ) eller ufordelt (indeks "-" ).

Domme A (generelle bekræftende domme) Fordeler sit subjekt (S), men distribuerer ikke sit prædikat (P)

Volumen af ​​emnet (S) er mindre end volumen af ​​prædikatet (P)

Volumen af ​​emnet og prædikatet er det samme

E domme (generelle negative domme) Fordeler både subjektet (S) og prædikatet (P)

I denne dom benægter vi ethvert sammenfald mellem subjektet og prædikatet.

Propositioner I (delvis bekræftende domme) Hverken subjektet (S) eller prædikatet (P) er fordelt

En del af fagklassen indgår i prædikatklassen.

O domme (del-negative domme) Fordeler sit prædikat (P), men fordeler ikke sit emne (S) I disse domme er vi opmærksomme på, hvad der er inkonsistent mellem dem (skraveret område)

emne- og prædikatfordelingstabel

Emne (S) Prædikat (P)
OU MEN fordelt ikke tildelt
åh-åh E fordelt fordelt
w-y jeg ikke tildelt ikke tildelt
w-o O ikke tildelt fordelt

Generel klassifikation:

Andre

  1. S er enten A eller B eller C
  2. eller A, eller B, eller C er P - når der er plads til usikkerhed i dommen
  1. hvis A er B, så er C D eller E er F
  2. hvis der er A, så er der B, eller C eller D
    eksempel: "hvem der ønsker at få en videregående uddannelse skal studere enten på et universitet eller på et institut eller på et akademi"

Modalitet af domme

Modale begreber eller modaliteter  - begreber, der udtrykker dommens kontekstuelle ramme: tidspunktet for dommen, stedet for dommen, viden om dommen, talerens holdning til dommen.

Afhængigt af modaliteten skelnes der mellem følgende hovedtyper af domme:

Se også

Noter

  1. ↑ Dom . Internetversion af publikationen: New Philosophical Encyclopedia: i 4 bind . Institut for Filosofi RAS; National Public Science Foundation. Dato for adgang: 1. februar 2017. Arkiveret fra originalen 15. marts 2017.
  2. ↑ BDT, 2016 .
  3. ↑ 1 2 Morris Raphael Cohen og Ernest Nagel. Introduktion til logik og videnskabelig metode / pr. fra engelsk. P.S. Kusliya. - Perm: "Society" , 2010. - S. 70. - ISBN 5-978-91603-029-7.
  4. ↑ Morris Raphael Cohen og Ernest Nagel. Introduktion til logik og videnskabelig metode / pr. fra engelsk. P.S. Kusliya. - Perm: "Society" , 2010. - S. 71. - ISBN 5-978-91603-029-7.

Litteratur