Dom i logik

Dom är en av formerna för tänkande, utan vilken kognition inte kan förekomma. Domar uttrycker förhållandet mellan ett föremål och en egenskap, de bekräftar eller förnekar förekomsten av denna kvalitet i en viss sak. Egentligen är detta tanken, dess form, som berättar om sambandet mellan objekt, och det är därför som dom upptar en särskild plats i logik och konstruktion av analytiska kedjor.

Egenskaper för domar

Innan vi fortsätter att klassificera bedömningar i logik, måste vi hitta en klar skillnad mellan dom och koncept.

Konceptet - talar om förekomsten av ett föremål. Konceptet är "dag", "natt", "morgon", etc. Och domen beskriver alltid närvaron eller frånvaron av egenskaperna - "Tidig morgon", "Kall dag", "Tyst natt".

Domar uttrycks alltid i form av berättande meningar, dessutom, tidigare i grammatik kärnan av meningar kallades dom. En mening som uttrycker en dom kallas ett tecken, och meningen med en mening är en lögn eller en sanning. Det är, i både enkla och komplexa bedömningar, en klar logik spåras: förslaget förnekar eller bekräftar närvaron av en egenskap hos objektet.

Till exempel kan vi säga att "Alla solsystemets planeter roterar runt sina axlar", och vi kan säga att "Ingen planet i solsystemet är immobil."

Typer av domar

I logiken finns det två typer av domar - enkla och komplexa.

Enkla domar, som delas upp i delar kan inte vara en logisk mening, de innehåller dom endast i en oskiljaktig totalitet. Till exempel: "Matematik är vetenskapens drottning". Denna enkla mening uttrycker ett enda förslag. Komplexa typer av domar i logik betyder flera olika tankar, de består av kombinationer av enkla, enkla + komplexa eller en uppsättning komplexa bedömningar.

Till exempel: Om det regnar i morgon kommer vi inte att gå ut ur staden.

Huvudegenskapen för en komplex bedömning är att en av dess delar har en annan betydelse och separat från punktens andra del.

Komplexa bedömningar och deras typer

I logik består komplexa bedömningar av kombinationer av enkla bedömningar. De är kopplade av logiska kedjor - konjunktioner, implikationer och likvärdighet. I enkla ord är det fackföreningar "och", "eller", "men", "om ... det".