Les afirmacions falses i veritables s'utilitzen sovint a la pràctica lingüística. La primera valoració es percep com una negació de la veritat (falsa). En realitat, també s'utilitzen altres tipus d'avaluació: incertesa, no demostrabilitat (demostrabilitat), irresolubilitat. Argumentant per quin nombre x és certa l'afirmació, cal tenir en compte les lleis de la lògica.
L'aparició de la "lògica multivalor" va provocar l'ús d'un nombre il·limitat d'indicadors de veritat. La situació amb els elements de la veritat és confusa, complicada, per la qual cosa és important aclarir-la.
Principis de la teoria
Una afirmació veritable és el valor d'una propietat (atribut), que sempre es considera per a una determinada acció. Què és la veritat? L'esquema és el següent: "La proposició X té un valor de veritat Y en el cas que la proposició Z sigui certa."
Mirem un exemple. Cal entendre per a quina de les afirmacions donades l'afirmació és certa: "L'objecte a té un signe B". Aquesta afirmació és falsa perquè l'objecte té l'atribut B, i falsa perquè a no té l'atribut B. El terme "fals" en aquest cas s'utilitza com a negació externa.
Determinació de la veritat
Com es determina una afirmació veritable? Independentment de l'estructura de la proposició X, només es permet la definició següent: "La proposició X és certa quan hi ha X, només X."
Aquesta definició permet introduir el terme "vertader" a l'idioma. Defineix l'acte d'estar d'acord o parlar amb el que diu.
Refranes simples
Contenen una afirmació veritable sense definició. Un pot limitar-se a una definició general a la proposició "No-X" si aquesta proposició no és certa. La conjunció "X i Y" és certa si tant X com Y ho són.
Dient exemple
Com entendre per a quina x és certa l'afirmació? Per respondre a aquesta pregunta, utilitzem l'expressió: "La partícula a està situada en una regió de l'espai b". Considereu els casos següents per a aquesta afirmació:
- impossible observar la partícula;
- podeu observar la partícula.
La segona opció suggereix certes possibilitats:
- partícula es troba realment en una regió determinada de l'espai;
- ella no es troba a la part prevista de l'espai;
- partícula es mou de tal manera que és difícil determinar l'àrea de la seva ubicació.
En aquest cas, es poden utilitzar quatre termes de valor de veritat que corresponguin a les possibilitats donades.
Per a estructures complexes, més termes són adequats. Això ésindica valors de veritat il·limitats. Per a quin número l'afirmació és certa depèn de la conveniència pràctica.
El principi de l'ambigüitat
Segons això, qualsevol afirmació és falsa o vertadera, és a dir, es caracteritza per un dels dos possibles valors de veritat: "fals" i "vertader".
Aquest principi és la base de la lògica clàssica, que s'anomena teoria de dos valors. El principi d'ambigüitat va ser utilitzat per Aristòtil. Aquest filòsof, discutint sobre quin nombre x és cert l'afirmació, la va considerar inadequada per a aquelles afirmacions relacionades amb esdeveniments aleatoris futurs.
Va establir una relació lògica entre el fatalisme i el principi d'ambigüitat, la predestinació de qualsevol acció humana.
En èpoques històriques posteriors, les restriccions que es van imposar a aquest principi s'explicaven pel fet que complica significativament l'anàlisi d'afirmacions sobre esdeveniments planificats, així com sobre objectes inexistents (no observables).
Pensant quines afirmacions són certes, no sempre va ser possible trobar una resposta clara amb aquest mètode.
Els dubtes emergents sobre els sistemes lògics es van esvair només després que es va desenvolupar la lògica moderna.
Per entendre per a quins nombres donats l'afirmació és certa, la lògica de dos valors és adequada.
Principi d'ambigüitat
Si es reformulavariant d'una afirmació de dos valors per revelar la veritat, podeu convertir-la en un cas especial de polisèmia: qualsevol afirmació tindrà un valor de veritat n si n és més gran que 2 o menor que infinit.
Com a excepcions als valors de veritat addicionals (a sobre de "fals" i "cert") hi ha molts sistemes lògics basats en el principi d'ambigüitat. La lògica clàssica de dos valors caracteritza els usos típics d'alguns signes lògics: "o", "i", "no".
La lògica multivalor que pretén concretar-se no hauria de contradir els resultats d'un sistema de dos valors.
La creença que el principi d'ambigüitat sempre condueix a una afirmació de fatalisme i determinisme es considera errònia. També és incorrecta la idea que la lògica múltiple es veu com un mitjà necessari per dur a terme raonaments indeterministes, que la seva acceptació correspon al rebuig de l'ús del determinisme estricte.
Semàntica dels signes lògics
Per entendre per quin número X és certa l'afirmació, pots armar-te amb taules de veritat. La semàntica lògica és una secció de metalògica que estudia la relació amb els objectes designats, el seu contingut de diverses expressions lingüístiques.
Aquest problema ja es va plantejar al món antic, però en forma d'una disciplina independent de ple dret només es va formular al tombant dels segles XIX-XX. Obres de G. Frege, C. Pierce, R. Carnap, S. Kripkeva permetre revelar l'essència d'aquesta teoria, el seu realisme i conveniència.
Durant un llarg període de temps, la lògica semàntica es va basar principalment en l'anàlisi de llenguatges formalitzats. Només recentment la majoria de la investigació s'ha dedicat al llenguatge natural.
Hi ha dues àrees principals en aquesta tècnica:
- teoria de la notació (referència);
- teoria del significat.
La primera implica l'estudi de la relació de diverses expressions lingüístiques amb els objectes designats. Com a categories principals, es pot imaginar: "designació", "nom", "model", "interpretació". Aquesta teoria és la base per a les demostracions en lògica moderna.
La teoria del significat tracta de la recerca d'una resposta a la pregunta de quin és el significat d'una expressió lingüística. Ella explica la seva identitat amb el significat.
La teoria del significat juga un paper important en la discussió de paradoxes semàntiques, en la solució de les quals qualsevol criteri d'acceptabilitat es considera important i rellevant.
Equació lògica
Aquest terme s'utilitza en metalenguatge. Sota l'equació lògica, podem representar el registre F1=F2, en el qual F1 i F2 són fórmules del llenguatge estès de proposicions lògiques. Resoldre aquesta equació significa determinar aquells conjunts de valors reals de variables que s'inclouran en una de les fórmules F1 o F2, sota les quals s'observarà la igu altat proposada.
El signe igual a les matemàtiques en algunes situacionsindica la igu altat dels objectes originals i, en alguns casos, està configurat per demostrar la igu altat dels seus valors. L'entrada F1=F2 pot indicar que estem parlant de la mateixa fórmula.
A la literatura amb força freqüència sota la lògica formal significa un sinònim com "el llenguatge de les proposicions lògiques". Les "paraules correctes" són fórmules que serveixen com a unitats semàntiques utilitzades per construir raonaments en lògica informal (filosòfica).
Un enunciat actua com una frase que expressa una proposició determinada. En altres paraules, expressa la idea de la presència d'algun estat de les coses.
Qualsevol afirmació es pot considerar certa en el cas que l'estat de coses que s'hi descriu existeixi en la realitat. En cas contrari, aquesta afirmació serà una afirmació falsa.
Aquest fet es va convertir en la base de la lògica proposicional. Hi ha una divisió dels enunciats en grups simples i complexos.
Quan es formalitzen variants simples d'enunciats, s'utilitzen fórmules elementals de llenguatge d'ordre zero. La descripció d'enunciats complexes només és possible amb l'ús de fórmules de llenguatge.
Es necessiten connectius lògics per indicar les unions. Quan s'apliquen, enunciats simples es converteixen en formes complexes:
- "no",
- "no és cert que…",
- "o".
Conclusió
La lògica formal ajuda a esbrinar per quin nom és certa una afirmació, implica la construcció i anàlisi de regles per transformar determinades expressions que les conservenvalor real independentment del contingut. Com a secció separada de la ciència filosòfica, va aparèixer només a finals del segle XIX. La segona direcció és la lògica informal.
La tasca principal d'aquesta ciència és sistematitzar les regles que permeten derivar noves afirmacions a partir d'enunciats provats.
El fonament de la lògica és la possibilitat d'obtenir algunes idees com a conseqüència lògica d' altres afirmacions.
Aquest fet permet descriure adequadament no només un determinat problema de la ciència matemàtica, sinó també transferir la lògica a la creativitat artística.
La investigació lògica pressuposa la relació que hi ha entre les premisses i les conclusions que se'n deriven.
Es pot atribuir al nombre de conceptes inicials i fonamentals de la lògica moderna, que sovint s'anomena la ciència de "el que se'n deriva".
És difícil imaginar-se demostrant teoremes de geometria, explicant fenòmens físics, explicant els mecanismes de les reaccions en química sense aquest raonament.
