Sentències en la lògica. Quin és el judici, els tipus de judicis

El judici és una manera de pensar, afirmar o negar res sobre l'existència dels objectes, els vincles entre ells i les seves propietats, així com la relació entre els objectes.

Exemples de declaracions: "El Volga desemboca al mar Caspi", "COM Pushkin va escriure un poema "El genet de bronze", "tigre siberià apareix en el Llibre Vermell", etc.

L'estructura de la sentència

Sentència inclou els següents elements: el subjecte, predicat, i quantificador lligament.

1. Assumpte (lat subjektum -. «Subjacent») - que, com es desprèn de la sentència, el seu subjecte ( «S»).
2. El predicat (Amèrica praedicatum -. «Said") - un reflex de l'etiqueta de l'objecte, el que es diu sobre el tema del judici ( 'P').
3. Bundle - la relació entre el subjecte ( «S») i predicat ( "P"). Determina la presència / absència del subjecte d'una propietat s'expressa com un predicat. Potser implica, i està indicat per un "guió" o les paraules "un" ( "no és"), "té", "té", "substància", i altres.
4. Quantificador (quantificador paraula) defineix l'abast del concepte, a la qual l'objecte de la sentència. S'està dret davant del subjecte, però també pot estar absent en el judici. Denotat per paraules com ara "tots", "molts", "alguns", "no", "no", i altres.

declaracions veritables i falses

El judici és cert en el cas en què hi ha algun indici, les propietats i relacions dels articles aprovats / negats en el judici, veritables. Per exemple: "Totes les orenetes - ocells", "9 més de 2" i així successivament ..

Si la instrucció està contingut en el judici no és cert, es tracta d'una proposició falsa 'el sol gira al voltant de la Terra' 'Un quilo de ferro pesat que un quilogram de cotó "i una altra judici correcte són la base del raonament correcte ..

No obstant això, a més de la lògica de dos valors, en què el judici pot ser veritable o falsa, també hi ha una lògica multi-dimensional. D'acord amb els seus termes, el judici pot ser encara incert. Especialment es tracta del futur dels judicis individuals, "Demà passa / no passa una batalla naval" (Aristòtil, "Sobre la interpretació"). Si suposem que es tracta d'una proposició veritable, el matí batalla naval no pot succeir. Per tant, és necessari perquè això passi. O viceversa: al·legant que la sentència en el moment present és falsa, per tant fem la impossibilitat necessària del matí de la batalla del mar.

Els judicis sobre el tipus de declaració

Com se sap, el tipus de declaracions són tres tipus de frases: declarativa, l'agitació i el qüestionament. Per exemple, la frase "Recordo un moment meravellós" es refereix al tipus de narrativa. És aconsellable per suggerir que tal judici també narrativa. Conté informació específica, d'acord amb un esdeveniment específic.

Al seu torn, la frase interrogativa conté una pregunta, obtenir una resposta a: "Què li espera en el futur per a mi," Al mateix temps que no diu res i no nega. En conseqüència, l'afirmació que tal judici és una qüestió de forma incorrecta. frase interrogativa, en principi, no conté cap judici perquè la pregunta no pot diferenciar-se sobre la base de la veritat / falsedat.

Tipus d'incentiu de la pena es forma en el cas que hi hagi algun incentiu per a l'acció, sol·licitar una prohibició: "Aixeca't, oh profeta, i la vinya, i atendre." Pel que fa al judici, segons l'opinió d'alguns investigadors, no estan contingudes en les propostes d'aquest tipus. Uns altres creuen que es tracta d'una varietat de judicis modals.

judici de la qualitat

En termes de qualitat, el judici pot ser o bé positiva (S és P), i negativa (S no és P). En el cas de la sentència afirmativa, a través de predicat subjecte unit a una certa propietat (-wa). Per exemple: "Leonardo da Vinci - Italià pintor, arquitecte, escultor, científic, naturalista i inventor i escriptor, el major representant de l'art del Renaixement."

En el judici negatiu, per contra, la propietat serà tret el tema: "Teoria de l'estructura 25 de James Vicary no té cap confirmació experimental."

caracterització quantitativa

Sentències en la lògica poden ser comuns (en relació amb tots els objectes d'aquesta classe), privat (alguns d'ells) i la unitat (quan es parla del tema, només hi ha una). Per exemple, es pot argumentar que una proposició com "A la nit tots els gats són bruns" es referirà a l'aparença general, ja que afecta tots els membres del gat (el tema de la sentència). Aprovació dels "Algunes serps no són verinoses" - un exemple de judici privat. Al seu torn, el judici "Dniéper meravellós en temps de calma" és una unitat, ja que estem parlant d'un riu en particular, existent en un únic formulari.

judicis simples i complexos

Depenent de l'estructura, el judici pot ser d'un tipus de simple o complexa. Estructura simple judici inclou dos conceptes interconnectats (SP): «Llibre - una font de coneixement". També hi ha judicis amb un sol concepte - quan el segon només significava: "Estava fent fosc» (P).

forma complicada es forma unint diversos judici simple.

Classificació dels judicis simples

judicis simples de la lògica poden ser de les següents formes: atributives, judici amb les relacions, existencial, modal.

Atribut (propietat-judici) enviat per a la seva aprovació / denegació del subjecte a certes propietats (atributs) activitats. Aquests judicis són forma categòrica i no va qüestionar, "el sistema nerviós dels mamífers consisteix en el cervell del cervell, la medul·la espinal i les vies nervioses sortints."

En els judicis pel que fa a les relacions específiques entre els objectes. Ells poden tenir un context espai-temporals, causals, etc. Per exemple:. "Vell amic millor que dos nous", "L'hidrogen el diòxid de carboni més lleuger per 22 vegades."

Existencial judici - aquesta afirmació de l'existència / no existència del subjecte (tant material com ideal): "No hi ha profeta al seu propi país", "La Lluna és un satèl·lit de la Terra."

proposició modal - una forma d'aprovació, que va incloure la presència de certa operador modal (necessiten una bona / dolenta, va resultar ser conegut / desconegut, està prohibit, crec, i altres.). Per exemple:

• "Rússia necessita per dur a terme la reforma de l'educació" (modalitat aletico - possibilitat, necessitat d'alguna cosa).
• "Tota persona té dret a la seguretat personal" (modalitat deòntica - les normes morals de conducta social).
• "L'abandonament de la propietat estatal condueix a la seva pèrdua" (modalitat axiològica - relacionat amb els valors materials i morals).
• "Nosaltres creiem en la seva innocència" (epistèmica modalitat - la fiabilitat del coneixement).

judicis complexos i els tipus de connectors lògics

Com ja s'ha esmentat, els judicis complexos consisteixen en uns simples. Com les connexions lògiques entre ells són mètodes com ara:

• Conjunció (una ʌ b - connectar judicis). Sentències-conyuntos tenen un munt de "i", "Aplicació dels drets i llibertats de l'home i ciutadà no violarà els drets i llibertats dels altres."
• Disjunció (AVB - dividir judicis). Com s'utilitzen els elements constitutius de la sentència-clàusules com aglutinant - conjunció "o". Per exemple: "El demandant té el dret d'augmentar o disminuir la mida de la reclamació."
• La implicació (A → B - judici-efecte). Si la publicació s'assigna en l'estructura complicada judici i, en conseqüència, es podria argumentar que tal judici es refereix a IMPLICATIVOS. Com l'aglutinant utilitzat en la forma d'associacions com ara "si ... llavors". Per exemple: "Si a través del conductor perdre el corrent elèctric, el filferro s'escalfa", "Vols ser feliç - ser feliç".
• Equivalència (a ≡ b - judici idèntics). Es porta a terme en el cas en què els valors de a i b són els mateixos (ja sigui alhora vertadera o falsa tant): "L'home és creat per a la felicitat, com un ocell per volar."
• Negació (¬ A, A - judici-inversió). Cada font està associada amb la sentència composta declaració que nega l'original. Mitjançant l'ús de "no" munt. En conseqüència, si la declaració original de la següent manera: "El toro reacciona davant un semàfor en vermell," (a) - la negació sonaria com: "El bou no respon a la llum vermella" (¬).