Giudizi in logica. Che cosa è il giudizio, i tipi di giudizi

Il giudizio è una forma di pensiero che afferma o nega qualsiasi cosa circa l'esistenza degli oggetti, le connessioni tra loro e le loro proprietà, così come le relazioni tra gli oggetti.

Esempi di giudizi: "Il Volga scorre nel Mar Caspio", "A. Pushkin ha scritto la poesia "The Bronse Horseman", "La Tiger Ussuri è elencata nel Libro Rosso", ecc.

Struttura delle sentenze

Il giudizio include i seguenti elementi: soggetto, predicato, bundle e quantificatore.

1. Il soggetto (soggetto latino – "sottostante") è quello che si dice in questa sentenza, il suo soggetto ("S").
2. Il predicato (latino praedicatum – "parlato") è un riflesso della caratteristica del soggetto, cosa si dice sull'oggetto del giudizio ("R").
3. Un mazzo è un atteggiamento, tra il soggetto ("S") e il predicato ("P"). Determina la presenza / assenza di un soggetto di qualsiasi proprietà espressa nel predicato. Può essere implicata e indicata dal segno "dash" o dalle parole "è" ("non è"), "là", "è", "essenza", ecc.
4. Il quantificatore (parola quantificatore) determina l'ambito del concetto a cui si riferisce l'oggetto della sentenza. È davanti al soggetto, ma può anche essere assente in giudizio. Denominati con parole come "tutti", "molti", "alcuni", "nessuno", "nessuno", ecc.

Giudizi veri e falsi

Il giudizio è vero nel caso in cui la presenza di attributi, proprietà e relazioni di oggetti asserti / negati nella sentenza sia vera. Ad esempio: "Tutte le rondini sono uccelli", "9 più di 2", ecc.

Se la dichiarazione contenuta nella sentenza non è falsa, si tratta di un falso giudizio: "Il sole ruota intorno alla terra", "Il chilogrammo di ferro è più pesante di un chilogrammo di lana di cotone", ecc. I giusti giudizi costituiscono la base di giuste conclusioni.

Tuttavia, oltre alla logica a due valori, in cui la sentenza può essere vera o falsa, esiste anche una logica multidimensionale. Secondo le sue condizioni, la sentenza può anche essere incerta. Ciò è particolarmente vero per i giudizi individuali futuri: "Domani ci sarà / non c'è battaglia sul mare" (Aristotele, "Interpretazione"). Se supponiamo che questa sia una vera proposta, allora la battaglia del mare domani non può accadere. Pertanto, è necessario che accada. Oppure viceversa: sostenendo che questo giudizio è falso al momento, rendiamo quindi necessari l'impossibilità della battaglia del mare di domani .

Giudizi per tipo di affermazione

Come è noto, secondo il tipo di affermazione, sono elencati tre tipi di frasi: narrativa, motivazionale e interrogativa. Ad esempio, la frase "Ricordo un momento meraviglioso" si riferisce ad un tipo narrativo. È consigliabile suggerire che tale giudizio sarà anche narrativo. Esso contiene alcune informazioni, rapporti su un determinato evento.

A sua volta, la frase interrogativa contiene una domanda che implica la risposta: "Che cosa mi prepara il futuro?" Inoltre, non dice nulla e non nega nulla. Di conseguenza, l'affermazione che tale giudizio è interrogativo è erronea. La sentenza interrogativa non contiene in linea di principio giudizi, in quanto la questione non può essere differenziata secondo il principio della verità / falsità.

Una forma incentivante di frasi si forma quando esiste una certa motivazione per l'azione, una richiesta o un divieto: "Alzati, profeta, e vedi e senti". Quanto ai giudizi, secondo alcuni ricercatori, non sono contenute in proposte di questo tipo. Altri ritengono che questa sia una varietà di giudizi modali.

Qualità di giudizio

Dal punto di vista della qualità, i giudizi possono essere affermativi (S è P) o negativo (S non è P). Nel caso di una proposizione affermativa, un predicato è dato da una certa proprietà (-a) al soggetto. Ad esempio: "Leonardo da Vinci è un pittore italiano, architetto, scultore, scienziato, scienziato naturale, inventore e scrittore, il più grande rappresentante dell'arte rinascimentale".

Nella sentenza negativa, al contrario, la proprietà del soggetto viene portata via: "La teoria della venticinquesima cornice di James Vaikeri non ha alcuna conferma sperimentale".

Caratteristica quantitativa

Le sentenze in logica possono avere un carattere generale (relative a tutti i soggetti di una determinata classe), privati (ad alcuni di essi) e singoli (quando si tratta di un oggetto che esiste in un'unica istanza). Ad esempio, si può sostenere che un giudizio come "di notte tutti i gatti di zolfo" si riferirà a una specie comune, in quanto riguarda tutti i rappresentanti del felino (soggetto di giudizio). L'affermazione "Alcuni serpenti non sono velenosi" è un esempio di un giudizio particolare. A sua volta, la dichiarazione "Wonderful Dnipro in calma" è un singolo, dato che si tratta di un fiume particolare, esistente in una sola forma.

Giudizi semplici e complessi

A seconda della struttura, la sentenza può essere del tipo semplice o complesso. La struttura di una semplice proposta comprende due concetti correlati (SP): "Il libro è la fonte della conoscenza". Ci sono anche giudizi con un concetto – quando il secondo è solo implicito: "stava diventando scuro" (P).

Una forma complessa è formata combinando diversi semplici giudizi.

Classificazione di giudizi semplici

Giudizi semplici in logica possono essere dei seguenti tipi: attributive, giudizi con relazioni, esistenziali, modali.

Attributive (giudici-proprietà) hanno lo scopo di affermare / negare l'esistenza di certi attributi (attributi), tipi di attività. Questi giudizi hanno una forma categorica e non vengono messi in discussione: "Il sistema nervoso dei mammiferi consiste nel cervello, nel midollo spinale e nei percorsi nervosi in partenza".

Nel giudizio con le relazioni, vengono considerate alcune relazioni tra gli oggetti. Possono avere un contesto spazio-temporale, un effetto causa, ecc. Ad esempio: "Un vecchio amico è meglio dei nuovi due", "L'idrogeno è più facile dell'anidride carbonica 22 volte".

Il giudizio esistenziale è una dichiarazione dell'esistenza / non esistenza di un oggetto (sia materiale che ideale): "Non esiste un profeta nel suo paese", "La luna è un compagna della Terra".

La valutazione modale è una forma di affermazione in cui è presente un certo operatore modale (necessario, buono / cattivo, provato, conosciuto / sconosciuto, proibito, credere, ecc.). Ad esempio:

• "In Russia è necessaria una riforma educativa" (una modalità aletica è un'opportunità, una necessità per qualcosa).
• "Ognuno ha il diritto di inviolabilità personale" (modalità deontica – norme morali del comportamento sociale).
• "L'atteggiamento negligente alla proprietà statale conduce alla sua perdita" (modalità axiologica – relazione ai valori materiali e spirituali).
• "Crediamo nella tua innocenza" (modalità epistemica – il grado di affidabilità della conoscenza).

Giudizi complessi e tipi di connettori logici

Come già noto, i giudizi complessi sono costituiti da più semplici. Come connessioni logiche tra loro sono tecniche come:

• Coniunzione (a ʌ b – giudizi di collegamento). I giudizi-i coniugi hanno un gruppo di "e": "L'esercizio dei diritti e delle libertà dell'uomo e del cittadino non dovrebbe violare i diritti e le libertà degli altri".
• Disgiunzione (avb – giudizi separativi). Come elementi composti, si usano le frasi-disgregazioni, come un fascio – l'unione "o". Ad esempio: "L'attore ha il diritto di aumentare o diminuire l'importo dei crediti".
• L'implicazione (a → b – la conseguenza di giudizio). Se la struttura di una complessa proposta distingue tra la premessa e l'effetto, allora si può sostenere che tale giudizio è implicito. Come un fascio in questo modulo, tali sindacati come "se … che" sono usati. Per esempio: "Se passi una corrente elettrica attraverso un conduttore, poi il conduttore si riscalda" "Se vuoi essere felice, sia lui".
• Equivalenza (a ≡ b – giudizi di identità). Si verifica quando i valori di a e b sono uguali (o entrambi sono veri o entrambi sono falsi): "L'uomo è creato per felicità, come un uccello per il volo".
• Negazione (¬a, ā – giudizio-inversione). Ad ogni affermazione iniziale viene posta una corrispondenza composita, che nega l'affermazione originale. Viene eseguito per mezzo di un legamento "no". Di conseguenza, se l'affermazione originale assomiglia a questo: "Il toro reagisce alla luce rossa" (a) – allora la negazione suonerà come: "Il toro NON risponde alla luce rossa" (¬a).