Dom

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 26 maj 2020; kontroller kräver 8 redigeringar .

En dom  är en tanke som bekräftar närvaron eller frånvaron av något tillstånd [1] .

Typerna av bedömningar och förhållandet mellan dem studeras i filosofisk logik . I matematisk logik motsvarar propositioner propositioner .

Enkelt och komplext

Enkla domar  är domar vars beståndsdelar är begrepp . En enkel proposition kan bara delas upp i begrepp. En enkel proposition är en proposition som inte innehåller mer än två begrepp.

Sammansatta propositioner  är propositioner vars beståndsdelar är enkla propositioner eller deras kombinationer. En komplex bedömning kan betraktas som en formation från flera initiala bedömningar kopplade inom ramen för en given komplex bedömning av logiska sammanslutningar (ligament). Den logiska egenskapen hos en komplex bedömning beror på den förening som enkla bedömningar är kopplade till.

Sammansättning av en enkel proposition

En enkel (attributiv) bedömning är en bedömning om närvaron eller frånvaron av några egenskaper ( attribut ) hos objekt. I en enkel (attributiv) bedömning kan följande bedömningsvillkor särskiljas - subjekt, predikat, bindande, kvantifierare [2] :

Exempel: "Alla ben är organ i en levande organism."

Ämne - "ben";

Predikatet är "organ av en levande organism";

Logiskt bindande - "är";

Kvantifieraren är "allt".

Sammansättning av en komplex proposition

Komplexa bedömningar består av ett antal enkla sådana ("En person strävar inte efter det han inte tror på, och all entusiasm, som inte stöds av verkliga prestationer, försvinner gradvis"), som var och en i matematisk logik betecknas med latin bokstäver (A, B, C, D … a, b, c, d…). Beroende på bildningsmetoden särskiljs konjunktiva, disjunktiva, implikativa, ekvivalenta och negativa bedömningar.

Disjunktiva (även disjunktiva ) bedömningar bildas med hjälp av disjunktiva ( disjunktiva ) logiska bindningar (liknande facket "eller"). Liksom enkla disjunktiva bedömningar är de:

Implikativa bedömningar bildas med hjälp av implikationen , (motsvarande facket "om ..., då"). Skrivet som eller . På naturligt språk är facket "om ... då" ibland synonymt med förbundet "a" ("Vädret har förändrats och om det var molnigt igår, så finns det inte ett enda moln idag") och i det här fallet , betyder en konjunktion.

Konjunktiva bedömningar bildas med hjälp av logiska bindningar eller konjunktioner (motsvarande kommatecken eller fackföreningar "och", "ett", "men", "ja", "även om", "vilket", "men" och andra). Inspelad som .

Likvärdiga bedömningar anger identiteten för delarna av domen med varandra (rita ett likhetstecken mellan dem). Förutom definitioner som förklarar en term, kan de representeras av bedömningar kopplade av konjunktionerna " om och endast då ", "nödvändigt och tillräckligt" (till exempel: "För att ett tal ska vara delbart med 3 är det nödvändigt och tillräckligt att summan av siffrorna som utgör den är delbar med 3"). Det skrivs som (olika matematiker har olika sätt, även om det matematiska tecknet på identitet fortfarande är ).

Negativa bedömningar skapas med hjälp av negativa länkar "inte". De skrivs antingen som en ~ b, eller som ab (med en intern negation som "en bil är inte en lyx"), samt använder en linje över hela bedömningen med en extern negation (vederläggning): "det är inte sant att ...” (ab).

Klassificering av enkla domar

Kvalitet

Efter volym

Relativt till

I relation mellan ämne och predikat

Ämnet och predikatet för en dom kan vara fördelat (index "+" ) eller ofördelat (index "-" ).

Domar A (allmänna jakande domar) Fördelar sitt subjekt (S), men fördelar inte sitt predikat (P)

Volymen på motivet (S) är mindre än volymen för predikatet (P)

Volymerna för ämnet och predikatet är desamma

E bedömningar (allmänna negativa bedömningar) Fördelar både subjektet (S) och predikatet (P)

I denna dom förnekar vi varje sammanträffande mellan subjektet och predikatet.

Propositioner I (partiellt jakande bedömningar) Varken subjektet (S) eller predikatet (P) är fördelade

En del av ämnesklassen ingår i predikatklassen.

O bedömningar (partiell-negativa bedömningar) Fördelar sitt predikat (P), men fördelar inte sitt subjekt (S) I dessa bedömningar uppmärksammar vi vad som är inkonsekvent mellan dem (skuggat område)

ämnes- och predikatsfördelningstabell

Ämne (S) Predikat (P)
OU MEN distribuerad otilldelad
oj oj E distribuerad distribuerad
w-y jag otilldelad otilldelad
w-o O otilldelad distribuerad

Allmänna klassificeringen:

Andra

  1. S är antingen A eller B eller C
  2. eller A, eller B, eller C är P - när det finns utrymme för osäkerhet i bedömningen
  1. om A är B så är C D eller E är F
  2. om det finns A, så finns det B, eller C, eller D
    exempel: "den som vill skaffa en högre utbildning måste studera antingen vid ett universitet, eller på ett institut eller på en akademi"

Modalitet för domar

Modala begrepp , eller modaliteter  - begrepp som uttrycker den kontextuella ramen för domen: tidpunkten för domen, platsen för domen, kunskap om domen, talarens inställning till domen.

Beroende på modalitet särskiljs följande huvudtyper av domar:

Se även

Anteckningar

  1. ↑ Dom . Internetversion av publikationen: New Philosophical Encyclopedia: i 4 volymer . Institutionen för filosofi RAS; National Public Science Foundation. Datum för åtkomst: 1 februari 2017. Arkiverad från originalet 15 mars 2017.
  2. ↑ BDT, 2016 .
  3. ↑ 1 2 Morris Raphael Cohen och Ernest Nagel. Introduktion till logik och vetenskaplig metod / per. från engelska. P.S. Kusliya. - Perm: "Society" , 2010. - P. 70. - ISBN 5-978-91603-029-7.
  4. ↑ Morris Raphael Cohen och Ernest Nagel. Introduktion till logik och vetenskaplig metod / per. från engelska. P.S. Kusliya. - Perm: "Society" , 2010. - P. 71. - ISBN 5-978-91603-029-7.

Litteratur