Giudizio. Esempi di categorie di logica - concetti, giudizi e inferenze Qual è il concetto di giudizio

GIUDIZIO

Se ciò che viene detto viene valutato solo dal valore di verità (asserzioni: "A è vero" o "A è falso"), DA. chiamato assertorio. Se approvato (di verità) di ciò che è stato detto [modalità di affermazione: "A - forse (VERO)' o 'è possibile che A (VERO)"], DA. chiamato problematico. Quando viene approvato (di verità) di quanto detto [modalità enunciativa: “Ma è necessario (VERO)" oppure "è necessario che A (VERO)"], DA. chiamato apodittico. Naturalmente sono possibili anche altre valutazioni di quanto detto. per esempio."L - eccellente" o "L - non riuscito", ma questo tipo di S. non ha ancora trovato un'espressione formale in c.-l. logico teorie.

Nel classico la logica dell'unità il metodo di valutazione del detto si riduce al primo caso sopra considerato, ma il detto è assertorio. disse (come mostrano le Tabelle 1 e 2), Insieme a t.sp. questa logica,

E vero

vera bugia

falsa verità

indistinguibile. Pertanto, nel classico termini logici "S." e "dichiarazione" sono sinonimi e indipendenti. gli oggetti della ricerca di S. non sono assegnati. Materia specialista. studiare S. in realtà diventa solo in logica modale.

Siegwart X., Logica, per. Insieme a Tedesco, t. 1, San Pietroburgo, 1908; Che cosa succede? Ch A., Introduzione alla matematica. logica per. Insieme a inglese, t. 1, M., I960, § 04; Faccia R., Modale, per.[dall'inglese], M., 1974.

Dizionario enciclopedico filosofico. - M.: Enciclopedia sovietica. cap. redattori: L. F. Ilyichev, P. N. Fedoseev, S. M. Kovalev, V. G. Panov. 1983 .

GIUDIZIO

in logica, una proposizione, espressa in forma di frase, mediante la quale sono collegati due concetti (e un predicato); cfr. Frase). Nel giudizio, il pensiero si cristallizza. Il giudizio si rapporta al soggetto e, insieme, ai suoi predicati con l'aiuto del nesso "è", che è sempre diretto allo stato assoluto delle cose che si sta affermando. Perché è caratteristico di un giudizio vero che nulla può essere ammesso che contraddica questo giudizio e allo stesso tempo abbia validità. Se esiste un dato stato di cose, allora per giudizio queste condizioni sono giustapposte categoricamente come lo stato di cose stesso. La qualità interna e inalienabile di ogni giudizio è che contiene tutti i possibili soggetti della conoscenza, tutti i possibili stati di cose e le condizioni necessarie. Questo insieme di tutti i possibili soggetti, stati di cose e condizioni necessarie è governato da una legge generale: la legge di non contraddizione. Kant nella Critica della ragion pura distingue i seguenti tipi di giudizio: 1) per quantità - generale, particolare e singolare; 2) per qualità: affermativa, negativa, infinita; 3) in relazione - categorico, ipotetico, divisorio; 4) per modalità - problematico, assertorio, apodittico. I giudizi analitici, o esplicativi, sono, secondo Kant, giudizi il cui predicato è già contenuto in anticipo nel soggetto (“tutti i corpi sono estesi”); giudizi sintetici o espansivi - giudizi che aggiungono al concetto di soggetto un predicato non ancora implicito nella conoscenza del soggetto ("tutti i corpi hanno peso").

Dizionario enciclopedico filosofico. 2010 .

GIUDIZIO

La differenza indicata nell'uso dei termini "S." e "sentenza dichiarativa" ha portato in seguito a una definizione più chiara dei concetti ad essi corrispondenti. Già per B. Bolzano, e poi per G. Frege, S. è il (significato) di una proposizione dichiarativa vera (o falsa). Caratteristiche di una frase (narrativa) con t sp. il suo valore di verità risale ad Aristotele e non è certo nuovo. La cosa principale che distingue la comprensione da quella tradizionale è l'astrazione del contenuto della frase (narrativa) - S. nel senso proprio della parola - dal suo valore di verità e dalla forma materiale (linguistica) della sua espressione, la allocazione di S. esclusivamente come elemento logico del discorso - un oggetto astratto " ... dello stesso grado di generalità di , numero o " (Chiesa A., Introduzione alla logica matematica, M., 1960, p. 32). Essenzialmente nuova è anche la selezione dei valori di verità degli enunciati - "verità" e "falsità" (che possono essere assegnati a ciascun enunciato dichiarativo come suo valore) - come oggetti astratti indipendenti inclusi nell'interpretazione dei calcoli logici. Questo nuovo T. sp. ha spiegato le trasformazioni equivalenti in logica basate sul principio del volume (vedi Volume, Principio di astrazione): tutte le frasi vere sono equivalenti nell'intervallo di astrazione dell'identificazione nel significato (ma non nel significato). D'altra parte, ha permesso di generalizzare le tradizioni. il concetto di struttura S. sulla base del concetto di funzione logica (o proposizionale), i cui valori sono frasi o i loro valori di verità. Così, la frase "Socrate è un uomo" nella tradizione. comprensione corrispondeva a "S è R". Se in questo schema S e P sono intese come variabili aventi diversi intervalli di valori, o come variabili di diverso livello semantico, o di diverso tipo, o, infine, appartenenti a diversi alfabeti: – come variabile sul dominio dei "nomi individuali ", e P come variabile nel campo dei "concetti", quando si sceglie il concetto "persona" come valore della variabile Ρ (o nel caso generale, assumendo che la variabile Ρ sia fissa, cioè assumendo che Ρ abbia un significato ben definito, anche se arbitrario, non specificato nel contesto dato) lo schema "S è P" si trasforma nell'espressione "S è una persona" (nel caso generale, nell'espressione "... è P" , dove i punti sostituiscono la lettera S), che, quando si sostituisce un nome individuale (valore ) "Socrate" si trasforma in una frase vera. Ovviamente, l'espressione ". ..c'è una persona" (nel caso generale, l'espressione "...c'è P") è una funzione di una variabile, che assume i valori " " o "falso" quando viene inserito un certo soggetto posto dei puntini, svolgendo qui il solito ruolo di argomento della funzione. Analogamente, l'espressione "...maggiore di..." è una funzione di due variabili, e l'espressione "è tra... e... " è una funzione di tre variabili, ecc. Quindi. , la visione moderna della struttura di S. si riduce al fatto che i suoi tradizionali "predicato" e "soggetto" sono sostituiti dagli esatti concetti matematici della funzione e dei suoi argomenti , rispettivamente coprirebbe non solo (e anche non tanto) sillogistico, ma anche in particolare - le principali conclusioni della scienza.A sua volta, la forma funzionale dell'espressione S. apre ampie opportunità per formalizzare le proposte di qualsiasi teoria scientifica. (Spiegazione di come nella logica moderna caratterizzi e formalizzi il soggetto-predicato S. vedi in Articolo Quantor e Pr. edicate calcolo.)

M. Novoselov. Mosca.

Le suddette divisioni di S. in specie furono create da Ch. modo per soddisfare le esigenze del tradizionale. logica formale e, soprattutto, per la soluzione dei problemi principali. la sua sezione - la teoria dell'inferenza. Dunque, la divisione di S. secondo quantità, qualità e modalità fu stabilita da Aristotele per le esigenze della teoria della sillogistica da lui creata. conclusione (vedi Sillogistica). La divisione di S. in semplici e complessi e lo sviluppo della questione dei tipi di S. complessi da parte dei logici della scuola megarostoica erano richiesti per il loro studio di vari tipi di inferenze condizionali e disgiuntive. La divisione di S. in proprietà S. e relazioni S. è nata in connessione con la considerazione di ecc. ragionamento non sillogistico. Di solito si ritiene che il compito della logica formale non includa tutti i tipi e le varietà di S. trovati nella cognizione e la costruzione di una classificazione onnicomprensiva di S. I tentativi di costruire questo tipo di classificazioni hanno avuto luogo nella storia della filosofia [come, ad esempio, S. di Wundt (vedi W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)].

Tuttavia, va notato che, oltre al formale approccio alla questione dei tipi di S., quando S. sono divisi in tipi secondo esattamente fissi. logico i fondamenti della divisione e la divisione stessa è stabilita per soddisfare le esigenze della teoria dell'inferenza, anche un'altra, epistemologica, è del tutto legittima. approccio a questo problema. Per un epistemologico correttamente compreso approccio al problema dei tipi di S. caratteristico è il valore cognitivo comparativo dei tipi di S. conosciuti nella scienza e lo studio delle transizioni da un tipo di S. all'altro nel processo di cognizione della realtà. Quindi, considerando da questo t sp. divisione di S. per quantità, prestiamo attenzione al fatto che le singole S. svolgono fondamentalmente un duplice ruolo nel processo di cognizione. In primo luogo, i singoli S. esprimono e consolidano la conoscenza dell'otd. Oggetti. Questi includono storico eventi, caratteristiche personalità, descrizione della Terra, del Sole, ecc. Allo stesso tempo, tra questo tipo di singolo S., si nota il passaggio dal cosiddetto. S. appartenenze, in cui si afferma solo l'appartenenza di una caratteristica a un oggetto, per includere ed evidenziare S., non appena stabiliamo che la caratteristica asserita appartiene non solo a questo soggetto (compreso il giudizio) o solo a questo soggetto ( selezione del giudizio). In secondo luogo, i singoli S. preparano la placenta, la formulazione di S. privato e generale Dopo aver studiato tutti gli strati di k.-l. geologico sezione e fissando in un numero di singole S. che ciascuno degli strati studiati è di origine marina, possiamo esprimere la S generale: "Tutti gli strati di una data sezione geologica sono di origine marina".

Per quanto riguarda il particolare S., notiamo che nel processo di cognizione della realtà si effettua una transizione dall'indeterminato. privato S. alla definizione. privato S. o al generale S. Anzi, indefinito. privato S. (o semplicemente privato S.) si esprime in tali casi quando, sapendo che alcuni oggetti di c.-l. classe di oggetti hanno o non hanno una certa caratteristica, non abbiamo ancora stabilito che anche tutti gli altri oggetti di una data classe di oggetti abbiano (non abbiano) questa caratteristica, o che alcuni altri non abbiano (abbiano) questa caratteristica. oggetti di questa classe di oggetti. Se è ulteriormente accertato che il Dec. solo alcuni o tutti gli oggetti di una data classe hanno un segno, allora la particolare S. è sostituita da un definito. privato o generale S. Quindi, privato S. "Alcuni metalli sono più pesanti dell'acqua" nel processo di studio dei metalli è specificato nella definizione. privato S. "Solo alcuni metalli sono più pesanti dell'acqua." Il particolare C. "Alcuni tipi di moti meccanici passano attraverso l'attrito nel calore" è sostituito dal generale C. "Qualsiasi movimento meccanico passa attraverso l'attrito nel calore". def. particolare S., risolvendo il problema posto dal privato S., vale a dire se tutti o meno tutti gli oggetti di una data classe di oggetti abbiano o meno una certa caratteristica, allo stesso tempo lascia irrisolta la questione di quali oggetti abbiano o meno non hanno un attributo valido. Per eliminare questa incertezza, la S. privata deve essere sostituita da una S. di allocazione comune o multipla. Per passare dalla definizione. privato S. al cd. l'assegnazione multipla di S. è necessaria per stabilire le qualità. la certezza di ciascuno di quegli oggetti determinati, che sono discussi nella definizione. privato C. In questo caso, ad esempio, def. il quoziente S. "Solo alcuni alunni di questa classe vanno bene in russo" è sostituito dal plurale che sottolinea S. "Di tutti gli alunni di questa classe, solo Shatov, Petrov e Ivanov se la cavano bene in russo." Il passaggio alla S. distintiva generale viene effettuato quando una o più delle caratteristiche comuni note di determinati oggetti di un determinato tipo possono essere individuate come caratteristica di tutti questi ("alcuni") oggetti. Ad esempio, appreso che tutti quegli ("certi") animali di cui alla C. "Solo certi animali hanno l'intestino crasso" costituiscono una classe di mammiferi, possiamo esprimere una C distintiva generale: "Tutti i mammiferi, e solo i mammiferi, hanno intestino crasso”. Transizioni di questo tipo tra S. possono essere stabilite anche con il cosiddetto. sp. le loro modalità e sotto alcuni altri aspetti (vedi A. P. Sheptulin, Dialectical, M., 1965, pp. 271–80; Logic, a cura di D. P. Gorsky e P. V. Tavanets, M. , 1956).

Illuminato.: Tavanets P.V., Vopr. teoria dei giudizi., 1955: P. S. Popov, Judgment, M., 1957; Akhmanov A. S., La dottrina logica di Aristotele, M., 1900; Smirnova E. D., Sul problema dell'analitico e del sintetico, in: Philos. domanda moderno logica formale, Mosca, 1962; Gorsky DP, Logica, 2a ed., M., 1963.

P. Tavanets. Mosca.

Enciclopedia filosofica. In 5 volumi - M.: Enciclopedia sovietica. A cura di FV Konstantinov. 1960-1970 .

GIUDIZIO

JUDGEΕΗИΕ - un pensiero che afferma la presenza o l'assenza di qualsiasi stato di cose. Distinguere tra frasi semplici e complesse. Una proposizione si dice semplice se non è possibile individuare la parte corretta, cioè quella parte che non coincide con il tutto, che a sua volta è una proposizione. I principali tipi di giudizi semplici sono i giudizi attributivi e di relazione. I giudizi sono chiamati attributivi, in cui si esprime l'appartenenza a oggetti di proprietà o l'assenza di oggetti di qualsiasi proprietà. I giudizi attributivi possono essere interpretati come giudizi sulla totale o parziale inclusione o non inclusione di un insieme di oggetti in un altro, o come giudizi sull'appartenenza o meno di un oggetto a una classe di oggetti. I giudizi attributivi sono costituiti da un soggetto (soggetto logico), un predicato (predicato logico) e un connettivo, e in alcuni ci sono anche le cosiddette parole quantificatrici (quantitative) ("alcuni", "tutti", "nessuno", ecc. ). Il soggetto e il predicato si chiamano termini di giudizio.

Il soggetto è spesso indicato dalla lettera latina S (dalla parola "subjectum") e dal predicato - P (dalla parola "praedicatum"). Nel giudizio “Alcune scienze non sono umanistiche”, il soggetto () è “scienze”, il predicato () è “umanesimo”, il connettivo è “non sono”, e “alcuni” è quantificatore. I giudizi attributivi si dividono in tipologie "per qualità" e "per quantità". Per qualità, sono affermativi (il collegamento "essenza" o "è") e negativi (il collegamento "non è l'essenza" o "non è"). Per quantità, i giudizi attributivi si dividono in singoli, generali e particolari. Nei giudizi singolari si esprime l'appartenenza o la non appartenenza di un oggetto a una classe di oggetti. In generale - o non inclusione di una classe di oggetti in una classe.

In particolari giudizi si esprime la parziale inclusione o non inclusione di una classe di oggetti in una classe di oggetti. In essi la parola "alcuni" è usata nel senso di "almeno alcuni, e forse tutti".

I giudizi della forma “Tutti S sono Ps> (generalmente affermativo), “Nessun S è su P” (generalmente negativo), “Alcuni S sono P” (particolare affermativo), “Alcuni S non sono P” (particolare negativo) sono detto categorico. I termini nei giudizi categorici possono essere distribuiti (presi per intero) e non distribuiti (presi non per intero). I soggetti sono distribuiti in giudizi generali e i predicati in negativi. I restanti termini non sono assegnati.

I giudizi che dicono che una certa relazione ha luogo (o non ha luogo) tra gli elementi di coppie, terzine, ecc. di oggetti sono chiamati giudizi sulle relazioni. Sono divisi per qualità in affermativi e negativi. Secondo il numero di giudizi sulle relazioni a due posti, sono divisi in singolo-singolo, generale-generale, privato-privato, singolare-generale, singolo-privato, comune-singolare, privato-singolo, generale-privato, privato- generale. Ad esempio, la proposizione “Ogni studente del nostro gruppo conosce qualche accademico” è di carattere generale-privato. Allo stesso modo, la divisione in tipi secondo il numero di giudizi sui rapporti tripartiti, quadrupli, ecc. Pertanto, la proposizione “Alcuni studenti della Facoltà di Filosofia conoscono alcune lingue antiche meglio di qualsiasi lingua straniera moderna” è privato-privato-generale.

Oltre ai giudizi attributivi e di relazione, si distinguono come tipi speciali di giudizi semplici i giudizi di esistenza (del tipo “Gli alieni esistono”) ei giudizi di identità (uguaglianza) (del tipo “a=fe>”).

I giudizi descritti, così come i giudizi complessi formati da essi, sono chiamati assertori. Sono (semplicemente) affermazioni o negazioni. Insieme alle affermazioni e alle smentite, vengono individuate affermazioni e smentite cosiddette forti e deboli. Ad esempio, rafforzando i giudizi assertori "La comunicazione con i propri simili è inerente a una persona", "Una persona non vive per sempre", "Una persona ha i lobi delle orecchie morbidi" sono, rispettivamente, i giudizi "Una persona ha necessariamente la proprietà di comunicazione con i suoi simili", "Una persona non può vivere per sempre", "Una persona ha accidentalmente lobi delle orecchie morbidi". Affermazioni e negazioni forti e deboli sono giudizi modali aletici. Tra questi ci sono i giudizi di necessità (apodittici), possibilità e caso.

Esistono diversi tipi di giudizi complessi. Le proposizioni connettive sono proposizioni che affermano l'esistenza di due o più situazioni. Nel linguaggio naturale, sono formati da altri giudizi molto spesso attraverso l'unione "e". Questa unione è denotata dal simbolo l, che è chiamato il segno della congiunzione (commutativa). Un giudizio con questa congiunzione è chiamato (commutativamente) congiuntivo. La definizione del segno di congiunzione è una tabella che mostra la dipendenza del valore di un giudizio congiuntivo dai valori dei suoi giudizi costitutivi. In esso, "e" e "l" sono abbreviazioni per i valori "vero" e "falso".

I giudizi che affermano l'occorrenza sequenziale o l'esistenza di due o più situazioni sono chiamati congiuntivi non commutativi. Sono formati da due o più proposizioni con l'aiuto di unioni, denotate dai simboli T-t, 7s, ecc., A seconda del numero di proposizioni da cui sono formate. Questi simboli sono detti segni di congiunzione non commutativa e si leggono rispettivamente “..., e poi...”, *..., poi..., e poi...”, ecc. Indici 2,3, ecc. ... indicare la località dell'unione.

I giudizi di separazione sono giudizi in cui si afferma la presenza di una delle due, tre, ecc. situazioni. Se si afferma l'esistenza di almeno una delle due situazioni, il giudizio si chiama (liberamente) disgiuntivo, o disgiuntivo. Se si afferma l'esistenza di esattamente una di due o più situazioni, il giudizio è chiamato strettamente disgiuntivo o strettamente disgiuntivo. L'unione “o”, mediante la quale si esprime l'enunciato del primo tipo, è denotata dal simbolo ν (leggi “o”), detto segno di disgiunzione non stretta (o semplicemente segno di disgiunzione), e l'unione "o ..., o ...", per mezzo della quale affermazione del secondo tipo, - dal simbolo y (si legge "o ..., o ..."), chiamato il segno di disgiunzione rigorosa. Definizioni tabulari dei segni di disgiunzione non rigorosa e rigorosa:

Un giudizio in cui si afferma che la presenza di una situazione determina la presenza di è chiamato condizionale. Le proposizioni condizionali sono spesso espresse in frasi con l'unione "se ..., allora ...". L'unione condizionale “if..., then...” è indicata dalla freccia “->”.

Nei linguaggi della logica moderna, l'unione "se ..., allora ...", indicata dal simbolo "e", è ampiamente utilizzata. Questo si chiama il segno dell'implicazione (materiale), e il giudizio con questa unione si chiama implicativo. La parte della proposizione implicativa che si trova tra le parole "se" e "allora" si chiama antecedente, e la parte che sta dopo la parola "allora" si chiama conseguente. Il segno dell'implicazione è determinato dalla tavola di verità:

Un giudizio di equivalenza è un giudizio che afferma la mutua condizionalità di due situazioni. La congiunzione "se e solo se...allora..." è usata ancora in un altro senso. In questo caso, è indicato dal simbolo "=", chiamato segno di equivalenza materiale, che è determinato dalla tavola di verità:

I giudizi con questa unione sono chiamati giudizi di equivalenza materiale.

I semplici giudizi modali illogici sono stati caratterizzati sopra. I giudizi composti formati da altri giudizi mediante le espressioni “è necessario che”, “accidentalmente che”, è possibile che” sono detti anche giudizi aletici modali. Anche i giudizi aletici modali sono giudizi complessi, i cui singoli componenti sono giudizi aletici modali. I concetti modali aletici ("necessario", "accidentalmente", "possibilmente") sono divisi in logici e reali (fisici). Uno stato di cose può essere logicamente possibile o effettivamente possibile, logicamente necessario o effettivamente necessario, logicamente accidentale o effettivamente accidentale. Ciò che è logicamente possibile è ciò che non contraddice le leggi della logica. Infatti, è possibile ciò che non contraddice le leggi della natura e della vita sociale.

il pensiero con cui qualcosa viene affermato o negato. Tale pensiero, racchiuso in una frase, contiene tre elementi: il soggetto, il predicato e il legame - "è" o "non è" (le parole che esprimono il legame di solito non sono usate in russo).

Ottima definizione

Definizione incompleta ↓

GIUDIZIO

uno). dichiarazione, 2). un atto mentale che esprime l'atteggiamento del parlante nei confronti del contenuto del pensiero espresso C può essere vero o falso Formato dall'uso di parole predicative (che esprimono proprietà e relazioni). all'oggetto del pensiero (da un oggetto o un insieme di essi). Ad esempio, Tver si trova tra Mosca e San Pietroburgo (vero C), 2 è maggiore di 3 (falso C).

Tutte le C si dividono in semplici e complesse Le C semplici possono essere attributive (esprimono l'appartenenza di una proprietà ad un oggetto). o relazioni C (stiamo parlando di due o più oggetti, tra i quali esistono relazioni diverse: più, meno, più vecchio, a destra, tra, ecc.). Le C attributive sono divise per qualità in affermative e negative, per quantità - in generale, particolare e singolare. Quindi, dal punto di vista di queste due caratteristiche, le C attributive si dividono in affermative generali, negative generali, negative particolari e affermative particolari, c'è una divisione di C secondo altri segni.

Il complesso C è composto da diversi. semplice, interconnesso dal tipo di congiuntivo (attraverso l'unione logica "e"), disgiuntivo (attraverso l'unione logica "o"). o implicativo (attraverso l'unione logica "se, allora"). connessioni Nella formazione del complesso C, si dovrebbe tener conto della logica. le leggi di connessione tra C, che esprimono la dipendenza della verità di qualche C dalla verità (o falsità). altri Verità oggettiva (o falsità). C è stabilito praticamente o in operazioni con altri C. La derivazione di un C dagli altri è chiamata inferenza.

Una persona acquisisce gradualmente la capacità di costruire C. Studi psicologici hanno dimostrato che C espresso nel linguaggio è preceduto da forme di pensiero, in cui i mezzi di espressione non linguistici occupano il posto più importante (azioni pratiche, indicazioni di una situazione pratica, scienza dei gesti , ecc.). Solo alla fine del 3 ° anno di vita, il bambino inizia a esprimere i suoi pensieri sulle principali relazioni tra cose ed eventi sotto forma di C separate, mentre il design linguistico di C è in ritardo rispetto al suo contenuto.Inizialmente, C è un semplice , combinazione di parole grammaticalmente non correlate (ad esempio, "elefante tprua"), a volte anche una parola (ad esempio, con un soggetto implicito). Insieme al processo di morfologizzazione del discorso, c'è una transizione graduale a una frase formulata grammaticalmente.La formazione di C si basa su una generalizzazione.La correttezza della C dei bambini, il grado della loro corrispondenza con la realtà dipendono direttamente dalla qualità di generalizzazioni.

Psicologico-ped. le osservazioni mostrano che diverse forme di C non si sviluppano contemporaneamente: prima di tutto si formano C che affermano qualcosa: C complesse, che riflettono la molteplicità di dipendenze tra i fenomeni, compaiono più tardi di quelle semplici e si basano su di esse.

S. è eseguito ed espresso nella lingua sotto forma di una frase narrativa Le frasi interrogative, i desideri e gli ordini non sono S, poiché la caratteristica in termini di verità o falsità non è applicabile a loro. La questione della discrepanza tra linguistica e logica. aspetti di considerare la struttura della proposta ha una grande pratica. significato, in particolare nello studio della grammatica Quindi, con grammaticale. Quando si analizza una frase, è necessario separare le caratteristiche di una parola come membro di una frase dalle sue caratteristiche come elemento.Gli studenti dovrebbero anche distinguere tra grammaticali. e logico. significato dei sindacati.

Enunciato (regola, teorema, legge). sotto forma di un complesso C, implica la capacità di distinguere in esso le condizioni necessarie e sufficienti per qualificare un particolare fenomeno sulla base dello stesso membro della frase "ciascuna delle 2 caratteristiche è necessaria (se una caratteristica non è presente, è impossibile trarre una conclusione), ma uno, preso indipendentemente dall'altro, non è sufficiente per classificare il membro della frase come membri omogenei. Solo la combinazione di queste caratteristiche è una condizione sufficiente per C sull'omogeneità di i membri della sentenza.

Poiché in S. tutte le caratteristiche discusse sopra sono nascoste, l'insegnante deve introdurre gli studenti ai tipi di logica. connessioni in C e insegnare loro a identificare la logica. significato grammaticale. sindacati, per capire quali condizioni sono sufficienti e necessarie, ciò consente di delineare un certo sistema di azioni per applicare C a un fenomeno specifico, disciplina il pensiero degli studenti.

Lit Davydov VV, Tipi di generalizzazione nell'apprendimento, M, 1972, Baranov II, L'essenza del processo di apprendimento, M, 1981, Leon-t s nell'Accademia delle scienze, Problemi nello sviluppo della psiche, M, 19814, Shaporinsky SA, Educazione e scienza. knowledge, M, 1981, Lo sviluppo della psiche degli scolari nel processo di attività di apprendimento, M, 1983 A N Zhdan.

Ottima definizione

Definizione incompleta ↓

; un atto mentale che esprime l'atteggiamento del parlante nei confronti del contenuto di ciò che viene espresso.

Quando esprimiamo un giudizio, creiamo quei supporti che consideriamo corrispondenti alla realtà e quindi ci permettono di andare verso la verità.

Un giudizio è un riflesso delle connessioni tra oggetti e fenomeni della realtà o tra proprietà e caratteristiche. Ad esempio, la proposizione "I metalli si espandono quando vengono riscaldati" esprime la relazione tra le variazioni di temperatura e il volume dei metalli. Stabilendo in questo modo varie connessioni e relazioni tra concetti, i giudizi sono dire qualcosa su qualcosa. Affermano o negano qualsiasi relazione tra oggetti, eventi, fenomeni della realtà. Ad esempio, quando diciamo: "La Terra gira intorno al Sole", affermiamo così l'esistenza di una certa connessione oggettiva nello spazio tra due corpi celesti.

Giudizi generali, particolari e singolari

I giudizi sono generali, particolari e singolari. Nei giudizi generali, qualcosa viene affermato (o negato) in relazione a tutti gli oggetti di un dato gruppo, di una data classe, ad esempio "Tutti i pesci respirano con le branchie". Nei giudizi privati, o non si fa più riferimento a tutte, ma solo ad alcune materie, ad esempio: "Alcuni studenti sono ottimi studenti"; in singoli giudizi - solo a uno, ad esempio: "Questo studente non ha imparato bene la lezione".

Giudizi diretti e indiretti

I giudizi si formano principalmente in due modi:

Direttamente, quando esprimono ciò che viene percepito.
Indirettamente - per deduzione o.

Nel primo caso, vediamo, ad esempio, un tavolo marrone ed esprimiamo il giudizio più semplice: "Questo tavolo è marrone". Nel secondo caso, con l'aiuto del ragionamento, altri (o altri) giudizi derivano da alcuni giudizi. Ad esempio, D.I. Mendeleev, sulla base della legge periodica da lui scoperta, puramente teoricamente, solo con l'ausilio di conclusioni, dedusse e predisse alcune proprietà degli elementi chimici che erano ancora sconosciute ai suoi tempi.

Veri e falsi giudizi

Sviluppo della capacità di giudizio

Una persona acquisisce la capacità di costruire un giudizio gradualmente. Solo entro la fine del 3 ° anno di vita il bambino inizia a esprimere giudizi separati. Inizialmente, una proposizione è una combinazione di parole semplice e grammaticalmente non correlata, a volte anche una sola parola. Al centro della formazione del giudizio si trova. La correttezza dei giudizi dei bambini, il grado della loro corrispondenza con la realtà dipendono direttamente dalla qualità delle generalizzazioni. Le osservazioni psicologiche e pedagogiche mostrano che le forme individuali di giudizio non si sviluppano simultaneamente. Prima di tutto, si formano giudizi che affermano qualcosa. I giudizi complessi, che riflettono la molteplicità delle dipendenze tra i fenomeni, appaiono più tardi di quelli semplici e si basano su di essi. Nel processo di apprendimento, l'insegnante dovrebbe introdurre gli studenti ai tipi di connessioni logiche nel giudizio e insegnare loro a identificare il significato logico delle congiunzioni grammaticali, determinare le condizioni necessarie e sufficienti, che consentiranno allo studente di costruire un giudizio su uno specifico fenomeno.

Il pensiero è lo stadio più alto della cognizione umana. Si basa su continui cambiamenti di idee e concetti. Consente di ottenere tali conoscenze che non sono informazioni dirette ottenute con l'ausilio del primo sistema di segnalazione. Nella psicologia clinica, il pensiero si riferisce alle più alte funzioni mentali - i processi mentali più complessi.

Le caratteristiche del pensiero sono oggetto di diverse sezioni scientifiche. Così, ad esempio, i meccanismi psicofisiologici costituiscono la base della psicologia generale e dello sviluppo, la fisiologia dell'attività nervosa superiore, e le forme di pensiero e le leggi con cui procede il processo sono oggetto di studio in logica (sebbene siano influenzate anche in sezioni di psicologia).

concetto

Il concetto come forma di pensiero consente di conoscere l'essenza di oggetti e fenomeni, di stabilire connessioni tra loro, di determinare la relazione degli oggetti in relazione tra loro, di generalizzare i segni.

Esiste sotto forma di parole che possono significare qualcosa di singolare (un oggetto - "Marte", "Oceano Pacifico"), generale ("Costruzione", "Uomo"), specifico ("Tavolo", "Cucchiaio"), astratto ( "Misericordia", "Eternità"). È importante capire che il concetto riflette le proprietà essenziali di oggetti, oggetti, fenomeni.

Esempi di ciò: un triangolo può essere distinto da altre forme geometriche dalla presenza di tre angoli (sebbene abbia altri segni: lunghezza, area, ecc.), E un animale ha tali segni con cui può essere distinto da una persona o piante.

Il concetto come forma di pensiero di natura generale è il risultato di un processo di comprensione delle proprietà generali sulla base di singoli oggetti. Ciò è dovuto all'acquisizione di nuove conoscenze. La formazione dei concetti è sempre un movimento verso il generale dal particolare. Questo processo è chiamato "generalizzazione", ed è oggetto di studio in alcuni dipartimenti di psicologia (generale, età, clinica).

Il processo di assimilazione dei concetti si basa sull'esperienza pratica: in caso di carenza, i concetti possono assumere una forma distorta, restringersi o espandersi. Si verifica spesso nei bambini della scuola materna e in una certa misura della scuola primaria. Ad esempio, gli insetti non sono animali per loro e un ragno è solo un insetto. La violazione dell'assimilazione dei concetti negli adulti è un segno caratteristico di ridotta intelligenza (ritardo mentale).

Il concetto come forma del pensiero non è identico alla percezione e alle rappresentazioni della memoria: ha un carattere astratto e generalizzato.

Giudizio

Il giudizio come forma di pensiero implica la conferma o la negazione di qualche fatto, evento, proprietà, caratteristica, connessione. Si manifesta in frasi, ma dobbiamo ricordare che non tutte le frasi sono un giudizio. Quindi, un'interiezione o una frase monosillabica non si applica a questa forma di pensiero (esempi: "Oh!", "Come mai?").

Le frasi tendono ad essere di natura narrativa: "La terra gira intorno al sole".

Un giudizio può essere vero o falso, che è determinato dalla logica. La prima prevede la presenza di un soggetto con caratteristiche o un confronto tra due soggetti.

Quando si separa un semplice giudizio, le parole cessano di portare un carico semantico. Esempio: "Il topo è più piccolo del gatto". Se questa frase è divisa in due, il significato è perso.

I giudizi composti sono varie combinazioni che consistono in un complesso e uno semplice, due complessi o due semplici giudizi. Esempi: "Se passa la grandine, le piante potrebbero soffrire". Qui "le piante possono soffrire" appare come un mero giudizio.

Il giudizio come forma di pensiero di natura complessa è impossibile senza connettivi grammaticali ("ma", "o", "e", "se è così, allora ...", "quando ..., allora ...", eccetera.).

È necessario distinguere tra giudizio e altre forme logiche di pensiero: un concetto è espresso da una parola e una conclusione è una conclusione.

Questa forma di pensiero può anche essere:

affermativo ("La botanica è la scienza delle piante", "La tigre è un predatore");
negativo ("Questa frase è costruita in modo errato", "Nelle città russe, gli orsi non camminano per le strade").

C'è un'altra classificazione. Un giudizio generale comporta un'affermazione (negazione), che si riferisce a fenomeni, soggetti, accomunati da un concetto comune (“Tutti i gatti sani hanno quattro zampe”). Il privato implica una parte di oggetti, soggetti, fenomeni che sono accomunati dal concetto (“Alcuni poeti sono grafomani”). Una proprietà individuale è espressa in un unico giudizio ("F.M. Dostoevskij è l'autore di Delitto e castigo").

Infatti, il giudizio rivela il contenuto di un concetto (o più) - quindi, per l'affermazione, è necessario conoscere il contenuto di tutti i concetti utilizzati.

inferenza

L'inferenza come forma di pensiero si forma con l'aiuto di diversi giudizi. Pertanto, le informazioni disponibili consentono di ottenere nuove conoscenze.

Questa forma di pensiero appartiene al più alto, in quanto combina concetti e giudizi.

L'inferenza può essere giusta o sbagliata. Quando parlano di questa proprietà, intendono la possibilità teorica di verifica, poiché la correttezza della conclusione è un fenomeno soggettivo che può essere verificato per un lungo periodo di tempo attraverso esperimenti e ragionamenti logici.

C'è una stretta connessione tra giudizio e inferenza, poiché senza il primo il secondo è impossibile. Le inferenze sono:

deduttivo, che sono il risultato del processo di ragionamento mentale dal generale al particolare;
induttivo - la generalizzazione procede dal particolare al generale;
costruito sull'analogia, che utilizza la proprietà di fenomeni e oggetti che hanno caratteristiche simili.

Il concetto, il giudizio e la conclusione interagenti formano un'immagine della coscienza umana, della percezione e sono la base per lo sviluppo dell'intelligenza.

Un esempio lampante di inferenza è la dimostrazione di teoremi geometrici.

Quindi, le principali forme di pensiero sono tre componenti, senza le quali il processo di pensiero è impossibile. È grazie a loro che il cervello umano è in grado di analizzare e sintetizzare, costruire connessioni logiche, che di conseguenza portano allo sviluppo intellettuale. Lo studio di queste caratteristiche del pensiero appartiene alle sezioni principali della logica, nonché ad alcune sezioni della psicologia.

lo stesso di un'affermazione, in cui sono collegati due concetti: un soggetto e un predicato (vedi Proposta). S. esprime l'atteggiamento del parlante nei confronti del contenuto del pensiero espresso attraverso l'affermazione della modalità (informazioni aggiuntive espresse in modo esplicito o implicito sullo stato logico o effettivo di S., sulle sue caratteristiche normative, valutative, temporali e di altro tipo) di ciò che è stato detto ed è solitamente accompagnato da psychol. stati di dubbio, convinzione o fede. S. in questo senso, contrariamente all'enunciato, è sempre modale e ha carattere valutativo. Nel classico termini logici "S." e "dichiarazione" sono sinonimi, e come self. L'oggetto di ricerca di S. non è assegnato. V. I. Polishchuk

Ottima definizione

Definizione incompleta ↓

GIUDIZIO

Nel tradizionale Nella logica formale (fino all'opera di Frege sulla semantica logica), S. era intesa (con varie riserve e aggiunte minori) come proposizione dichiarativa affermativa o negativa. Tuttavia, nel tradizionale insegnando su S., specialmente nella sezione sulla trasformazione della forma del giudizio, era intuitivamente implicita anche la differenza nell'uso dei termini "S." e "sentenza dichiarativa". Il primo è stato solitamente utilizzato come termine logico per asserzioni (o negazioni) di "qualcosa su qualcosa" effettuate mediante frasi dichiarative (in una lingua o in un'altra). Il secondo serviva per la caratterizzazione linguistica degli enunciati, cioè rimase prevalentemente un termine grammaticale. Questa differenza implicita si esprimeva esplicitamente nella distinzione (nel caso generale) tra la struttura logica di S. e la struttura grammaticale delle frasi, operata sin dai tempi della sillogistica aristotelica. Sì, nel classico l'attributivo S. con il soggetto (di cosa si dice qualcosa, o si dice - il soggetto del discorso) era, di regola, identificato con il grammaticale. soggetto, e il predicato (ciò che si dice, o si dice, sull'argomento del discorso - il soggetto) era già compreso grammaticalmente. predicato ed è stato identificato con la parte nominale del predicato, espressa, ad esempio, da un aggettivo. Contrariamente alla grammaticale, la forma logica del dire (la forma di S.) ha sempre significato che il soggetto (soggetto di S.) ha (o non ha) un determinante. segno, cioè si riduceva a un nesso attributivo di tre termini: soggetto - verbo-copia - attributo. La differenza indicata nell'uso dei termini "S." e "sentenza dichiarativa" ha portato in seguito a una definizione più chiara dei concetti ad essi corrispondenti. Già per B. Bolzano, e poi per G. Frege, S. è il contenuto (significato) di una frase dichiarativa vera (o falsa). Caratteristiche di una frase (narrativa) con t sp. il suo valore di verità risale ad Aristotele e non è certo nuovo. La cosa principale che distingue la nuova comprensione da quella tradizionale è l'astrazione del contenuto della frase (narrativa) - S. nel senso proprio della parola - dal suo valore di verità e dalla forma materiale (linguistica) della sua espressione , l'assegnazione di S. esclusivamente come elemento logico del discorso - un oggetto astratto "...dello stesso grado di generalità di una classe, numero o funzione" (Chiesa?., Introduzione alla logica matematica, Mosca, 1960, p. 32). Essenzialmente nuova è anche la selezione dei valori di verità degli enunciati - "verità" e "falsità" (che possono essere assegnati a ciascun enunciato dichiarativo come suo valore) - come oggetti astratti indipendenti inclusi nell'interpretazione dei calcoli logici. Questo nuovo T. sp. ha spiegato il significato delle trasformazioni equivalenti in logica basate sul principio del volume (vedi Principio del volume, Principio di astrazione): tutte le frasi vere sono equivalenti nell'intervallo di astrazione dell'identificazione nel significato (ma non nel significato). D'altra parte, ha permesso di generalizzare le tradizioni. il concetto di struttura S. sulla base del concetto di funzione logica (o proposizionale), i cui valori sono frasi o i loro valori di verità. Così, la frase "Socrate è un uomo" nella tradizione. la comprensione corrispondeva allo schema "S è P". Se in questo schema S e? essere intese come variabili aventi diverse gamme di significati, o come variabili di diversi livelli semantici, o di diverso tipo, o, infine, appartenenti a diversi alfabeti: S come variabile sul dominio dei "nomi individuali", e P come variabile sul dominio dei "concetti", allora quando si sceglie il concetto di "persona" come valore della variabile? (o nel caso generale, assumendo che il valore della variabile? sia fisso, cioè assumendo che? abbia un valore ben definito, sebbene arbitrario, non specificato nel dato contesto), lo schema "S è P" si trasforma nel espressione "S è una persona" ( nel caso generale, nell'espressione "... c'è P", dove i punti sostituiscono la lettera S), che, quando la variabile S è sostituita dal nome individuale (valore), " Socrate" si trasforma in una frase vera. Ovviamente, l'espressione "... c'è una persona" (nel caso generale, l'espressione "... c'è P") è una funzione di una variabile, che assume i valori "vero" o "falso" quando il nome è posto al posto dei punti qualche soggetto, che qui svolge il solito ruolo di argomento di funzione. Allo stesso modo, l'espressione "...maggiore di..." è una funzione di due variabili, e l'espressione "è tra... e..." è una funzione di tre variabili, e così via. T. o., moderno. vista della struttura di S. si riduce al fatto che è tradizionale. gli elementi "predicato" e "soggetto" sono sostituiti rispettivamente da stuoie esatte. concetti di una funzione e dei suoi argomenti. Questa nuova interpretazione risponde all'esigenza da tempo sentita di una caratterizzazione generalizzata del logico. ragionamento, che coprirebbe non solo (e nemmeno tanto) conclusioni sillogistiche, ma soprattutto non sillogistiche - osn. le conclusioni della scienza. A sua volta, la forma funzionale dell'espressione di S. apre ampie opportunità per formalizzare le proposte di qualsiasi scientifico. teorie. (Per una spiegazione di come la struttura soggetto-predicato di S. sia caratterizzata e formalizzata nella logica moderna, vedi Quantifier and Predicate Calculus.) M. Novoselov. Mosca. In e dy S. Molta attenzione nella storia della logica e della filosofia è stata data al problema della divisione in tipi. Uno dei più importanti è la divisione di S. in semplice e complesso. Il concetto di semplice S. si trova già in Aristotele nel suo libro Sull'interpretazione. Aristotele chiama qui semplice la S. dell'esistenza, cioè S., in cui si afferma (o si nega) solo l'esistenza del soggetto S. (per esempio, c'è una persona). Semplice S. Aristotele contrappone il tritermine S., in cui, oltre alla conoscenza dell'esistenza (o non esistenza) del soggetto di S., vi è anche conoscenza dell'inerente (o non inerente) al soggetto di S. a. certezza di essere (ad esempio, "l'uomo è giusto"). Nella scuola megarostoica si chiamava S. semplice, costituito da un soggetto e da un predicato. Complesso - chiamato S., formato da semplici con l'aiuto di vari tipi di logica. connettivi quali negazione, congiunzione, disgiunzione, implicazione. Una tale comprensione di S. semplice e complessa è vicina alla loro interpretazione, che è data nel moderno. la logica delle affermazioni Principale erano già note ad Aristotele anche le intestazioni della classificazione della S. semplice: la divisione della S. per qualità (affermativa e negativa) e per quantità (generale, particolare e indefinita) fu data da Aristotele nei Primi Analitici. Libri di testo tradizionali. le logiche di divisione di S. per qualità in affermativo e negativo, e per quantità in generale e particolare (per particolare qui si intendeva un giudizio particolare indefinito del tipo "Alcune, e forse tutte le S, sono P") sono state riunite in un'unica rubrica . Questa rubrica era chiamata la divisione di S. secondo la qualità e la quantità. Ciò includeva quattro tipi di C: 1) affermativa generale ("tutte le S sono P"), 2) negativa generale ("nessuna S è P"), 3) affermativa particolare ("alcune S sono P"), 4) negativa particolare ("alcune S non sono P"). I libri di testo hanno ulteriormente esaminato la relazione tra questi giudizi dal punto di vista della verità e della falsità nel cosiddetto. quadrato logico e il rapporto tra i volumi del soggetto e il predicato di questi S. nel cd. la dottrina della distribuzione dei termini in giudizio. Nel moderno In logica, i tipi di S. per numero includono: 1) S. generale (S. con un quantificatore generale), 2) indefinito. privato S., chiamato to-rye. semplicemente privata (S. con il quantificatore esistenziale) e 3) singola S. Risale anche ad Aristotele la divisione di S. in S. di realtà, possibilità e necessità, detta poi divisione per modalità. Per S. della realtà, Aristotele intendeva S., in cui si parla di ciò che esiste realmente, esiste nella realtà. Sotto S. Necessità - S., in cui si parla del fatto che non può essere altrimenti. Sotto S. di possibilità - S., in cui si parla di cosa potrebbe essere altrimenti, ad es. che può o non può essere. Ad esempio, "Domani potrebbe esserci una battaglia navale". Nel moderno la logica dell'enunciato con operatori modali "possibile", "impossibile", "necessario", ecc. sono studiati in vari sistemi di logica modale. Distinguere 1) separare e includere S. e 2) S. proprietà e S. relazioni può anche, in un certo senso, essere effettuato da Aristotele. Nei capitoli quarto e decimo del primo libro dei Temi, Aristotele considerava la traccia. quattro tipi di correlazione di ciò che si dice di un oggetto con l'oggetto stesso: 1) definizione, 2) proprio, 3) genere, 4) accidentale. Secondo Aristotele, tale S. dovrebbe essere chiamata definizione, in cui si rivela la proprietà. l'essenza dell'oggetto C. Ciò che è espresso nella definizione appartiene all'oggetto C; non può riguardare un altro soggetto. Tale S. dovrebbe essere chiamata una S. propria, in cui, oltre che nella definizione, si parla di qualcosa che appartiene solo al soggetto S. Ma, a differenza della definizione, ciò che si manifesta nella propria S., non significa l'essenza di un oggetto concepibile. R su d su m dovrebbe essere chiamato tale S., in cui si rivela l'incompetenza. l'essenza del soggetto, ad es. tale essenza che hanno altri oggetti, ad eccezione dell'oggetto C. Casuale dovrebbe essere chiamato tutto ciò che, non essendo l'essenza dell'oggetto C., può, come il genere, influenzare molti altri oggetti. Questo insegnamento di Aristotele, in seguito chiamato dai suoi commentatori la dottrina della precabilia, ci consente di stabilire due tipi più importanti di S., vale a dire, distinguere e includere S. se questa caratteristica è essenziale (definizione) o non essenziale (propria) . Ad esempio, "Un quadrato è un rettangolo con lati uguali" (definizione). "Marte è un pianeta che risplende di luce rossa" (corretto). È naturale chiamare inclusivi quei S., in cui si parla di appartenenza al soggetto di S. di tali segni, di cui si sa che appartengono non solo al soggetto di S., ad esempio: "La balena è un animale" (genere), "Questa persona sta mentendo" (casuale). Per la divisione di S. in S. proprietà e relazioni, è interessante ridurre tutte le categorie a tre, cioè a "essenza", "stato" e "relazione", che Aristotele eseguì nel XIV libro della Metafisica. Sulla base delle categorie qui indicate, S. può essere suddiviso in due tipi: 1) S. proprietà, nelle quali si affermano come esseri. proprietà (essenza) e non-esseri. (stato), 2) S. relazioni, in cui si affermano vari tipi di relazioni tra oggetti. Lo stesso Aristotele non indica ancora la divisione in S. proprietà e S. relazioni. Questa divisione fu apparentemente data per la prima volta da Galeno (vedi C. Galenus, Institutiologica, ed. C. Kalbfleisch, Lipsiae, 1896). È stato elaborato in grande dettaglio da Karinsky (vedi "On M.I. Karinsky's Logic Course", "VF", 1947, n. 2). Nei tempi moderni (H. Wolf, I. Kant e in molti libri di testo scolastici di logica che li seguono) c'era anche un cosiddetto. La divisione di S. in relazione a categorico, condizionale (o ipotetico) e divisivo. Sotto la S. categorica si intendeva qui la S. generale, in cui la connessione tra soggetto e predicato si stabilisce in forma incondizionata. S. era detto ipotetico (o altrimenti condizionale), in cui il nesso tra soggetto e predicato diventa dipendente dal c.-l. termini. La separazione è stata chiamata S., che contiene diversi predicati, di cui solo uno può riferirsi al soggetto, o più soggetti, di cui solo uno può riferirsi al predicato (vedi M. S. Strogovich, Logic, M. , 1949, pp. 166 –67). Nel moderno La divisione di S. in relazione alla logica non è riconosciuta. cosiddetto la proposizione categorica è qui identificata con una proposizione semplice, e vari tipi di proposizioni condizionali e disgiuntive sono considerati come tipi di proposizioni complesse (vedi Proposizione condizionale, Proposizione separativa). Nella classificazione kantiana di S., oltre alla divisione secondo qualità, quantità, modalità e relazione, incontriamo anche la divisione di S. in 1) a priori ea posteriori, e 2) analitica e sintetica. S. si dividono in a posteriori e a priori, a seconda del modo in cui nell'atto di S. si combinano rappresentazioni o concetti. Kant chiama a posteriori quelle S., in cui le rappresentazioni si combinano nella coscienza in modo tale che la loro connessione non abbia un carattere generalmente valido. Al contrario, «... se un giudizio qualsiasi è concepito come strettamente universale, cioè in modo tale che non è ammessa la possibilità dell'eccezione, allora non è derivato dall'esperienza, ma è un giudizio incondizionatamente a priori» (I. Kant, Soch., t 3, M., 1964, p.107). Tali S. a priori sono, ad esempio, secondo Kant, Math. S., assiomi della logica, ecc. Distinguendo tra giudizi a priori e a posteriori, Kant ha cercato di risolvere un problema dalla posizione di un priorismo, che attraversa l'intera storia della filosofia, vale a dire, il problema della differenza tra l'empirico (fissazione dei fatti) e il teorico . conoscenza. Con T. sp. logica, il problema è non riconoscere (o non riconoscere) l'esistenza sia dell'empirico che del teorico. conoscenza. Nella scienza esistono sia questa che altre conoscenze, e in alcuni casi possiamo intuitivamente distinguerle [ad esempio, nel caso della fissazione dei fatti (empirica) e della conoscenza necessaria (teorica)]. Il problema è specificare la logica esatta. segni, secondo i quali sarebbe possibile distinguere S., esprimendo empirico. conoscenza (empirica C), da giudizi espressivi teorici. conoscenza (teorica C). Questo problema non può essere considerato definitivamente risolto, sebbene siano stati fatti tentativi per risolverlo (vedi, ad esempio, Art. V. A. Smirnov, Livelli di conoscenza e fasi del processo di cognizione, nel libro: Problemi della logica della conoscenza scientifica, M., 1964). Un ruolo importante nella filosofia di Kant è svolto dalla divisione di S. in analitico e sintetico. Analitico S. differiscono da quelli sintetici in quanto non aggiungono nulla al concetto di soggetto attraverso il loro predicato, ma lo dividono solo dividendolo in concetti ad esso subordinati, che sono già stati concepiti in esso (seppur vagamente), mentre sintetici . S. "...attribuiscono al concetto di soggetto un predicato che in esso non era affatto concepito e non poteva essere estratto da esso mediante alcuna divisione" (ibid., pp. 111-12). Il merito di I. Kant sulla questione della divisione di S. in analitico e sintetico sta principalmente nel porre questa domanda: è stato il primo a distinguere il problema di dividere S. in analitico e sintetico dal problema di dividere i giudizi in empirici (a posteriori) e teorico (a priori). Prima di Kant (ad esempio, in Leibniz) questi problemi erano solitamente identificati. Allo stesso tempo, I. Kant non poteva indicare il logico. segni per distinguere analitico. S. da sintetico. In futuro, il problema dell'analisi e della sintesi S. è stato discusso più volte (cfr. Giudizi sintetici e analitici). Le suddette divisioni di S. in specie furono create da Ch. modo per soddisfare le esigenze del tradizionale. logica formale e, soprattutto, per la soluzione dei problemi principali. la sua sezione - la teoria dell'inferenza. Dunque, la divisione di S. secondo quantità, qualità e modalità fu stabilita da Aristotele per le esigenze della teoria della sillogistica da lui creata. conclusione (vedi Sillogistica). La divisione di S. in semplici e complessi e lo sviluppo della questione dei tipi di S. complessi da parte dei logici della scuola megarostoica erano richiesti per il loro studio di vari tipi di inferenze condizionali e disgiuntive. La divisione di S. in proprietà S. e relazioni S. è nata in connessione con la considerazione di ecc. ragionamento non sillogistico. Di solito si ritiene che il compito della logica formale non includa lo studio di tutti i tipi e varietà di S che si verificano nella cognizione. e la costruzione di una classificazione onnicomprensiva di S. I tentativi di costruire questo tipo di classificazioni hanno avuto luogo nella storia della filosofia [come, ad esempio, la classificazione di S. di Wundt (vedi W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)]. Tuttavia, va notato che, oltre al formale approccio alla questione dei tipi di S., quando S. sono divisi in tipi secondo esattamente fissi. logico i fondamenti della divisione e la divisione stessa è stabilita per soddisfare le esigenze della teoria dell'inferenza, anche un'altra, epistemologica, è del tutto legittima. approccio a questo problema. Per un epistemologico correttamente compreso approccio al problema dei tipi di S. caratteristico è l'interesse per il valore cognitivo comparativo dei tipi di S. conosciuti nella scienza e lo studio delle transizioni da un tipo di S. all'altro nel processo di cognizione della realtà. Quindi, considerando da questo t sp. divisione di S. per quantità, prestiamo attenzione al fatto che le singole S. svolgono fondamentalmente un duplice ruolo nel processo di cognizione. In primo luogo, i singoli S. esprimono e consolidano la conoscenza dell'otd. Oggetti. Ciò include una descrizione dello storico eventi, caratteristiche personalità, descrizione della Terra, del Sole, ecc. Allo stesso tempo, tra questo tipo di singolo S., si nota il passaggio dal cosiddetto. S. appartenenze, in cui si afferma solo l'appartenenza di una caratteristica a un oggetto, per includere ed evidenziare S., non appena stabiliamo che la caratteristica asserita appartiene non solo a questo soggetto (compreso il giudizio) o solo a questo soggetto ( selezione del giudizio). In secondo luogo, i singoli S. preparano la placenta, la formulazione di S. privato e generale Dopo aver studiato tutti gli strati di k.-l. geologico sezione e fissando in un numero di singole S. che ciascuno degli strati studiati è di origine marina, possiamo esprimere la S generale: "Tutti gli strati di una data sezione geologica sono di origine marina". Per quanto riguarda il particolare S., notiamo che nel processo di cognizione della realtà si effettua una transizione dall'indeterminato. privato S. alla definizione. privato S. o al generale S. Anzi, indefinito. privato S. (o semplicemente privato S.) si esprime in tali casi quando, sapendo che alcuni oggetti di c.-l. classe di oggetti hanno o non hanno una certa caratteristica, non abbiamo ancora stabilito che anche tutti gli altri oggetti di una data classe di oggetti abbiano (non abbiano) questa caratteristica, o che alcuni altri non abbiano (abbiano) questa caratteristica. oggetti di questa classe di oggetti. Se è ulteriormente accertato che il Dec. solo alcuni o tutti gli oggetti di una data classe hanno un segno, allora la particolare S. è sostituita da un definito. privato o generale S. Quindi, privato S. "Alcuni metalli sono più pesanti dell'acqua" nel processo di studio dei metalli è specificato nella definizione. privato S. "Solo alcuni metalli sono più pesanti dell'acqua." Il particolare C. "Alcuni tipi di moto meccanico passano attraverso l'attrito nel calore" è sostituito dal generale C. "Qualsiasi movimento meccanico passa attraverso l'attrito nel calore". def. particolare S., risolvendo il problema posto dal privato S., vale a dire la questione se tutti o meno tutti gli oggetti di una data classe di oggetti abbiano o meno una certa caratteristica, allo stesso tempo lascia irrisolta la questione di quale gli oggetti hanno o non hanno la caratteristica approvata. Per eliminare questa incertezza, la S. privata deve essere sostituita da una S. di allocazione comune o multipla. Per passare dalla definizione. privato S. al cd. l'assegnazione multipla di S. è necessaria per stabilire le qualità. la certezza di ciascuno di quegli oggetti determinati, che sono discussi nella definizione. privato C. In questo caso, ad esempio, def. il quoziente S. "Solo alcuni alunni di questa classe vanno bene in russo" è sostituito dal plurale che sottolinea S. "Di tutti gli alunni di questa classe, solo Shatov, Petrov e Ivanov se la cavano bene in russo." Il passaggio alla S. distintiva generale viene effettuato quando una o più delle caratteristiche comuni note di determinati oggetti di un determinato tipo possono essere individuate come caratteristica di tutti questi ("alcuni") oggetti. Ad esempio, appreso che tutti quegli ("certi") animali di cui alla C. "Solo certi animali hanno l'intestino crasso" costituiscono una classe di mammiferi, possiamo esprimere una C distintiva generale: "Tutti i mammiferi, e solo i mammiferi, hanno intestino crasso”. Transizioni di questo tipo tra S. possono essere stabilite anche con t sp. le loro modalità e sotto alcuni altri aspetti (vedi A. P. Sheptulin, Dialectical materialism, M., 1965, pp. 271–80; Logic, a cura di D. P. Gorsky e P. V. Tavanets, M. ., 1956). Illuminato.: Tavanets P.V., Vopr. teoria dei giudizi., 1955: ?opov P. S., Judgment, M., 1957; Akhmanov A. S., La dottrina logica di Aristotele, M., 1900; Smirnova E. D., Sul problema dell'analitico e del sintetico, in: Philos. domanda moderno logica formale, Mosca, 1962; Gorsky DP, Logica, 2a ed., M., 1963. P. Tavanets. Mosca.