Les déclarations fausses et vraies sont souvent utilisées dans la pratique de la langue. La première évaluation est perçue comme un déni de vérité (mensonge). En réalité, d'autres types d'évaluation sont également utilisés: incertitude, indémontrabilité (prouvabilité), insolvabilité. En se disputant pour savoir quel nombre x l'énoncé est vrai, il est nécessaire de considérer les lois de la logique.
L'émergence de la "logique multivaluée" a conduit à l'utilisation d'un nombre illimité d'indicateurs de vérité. La situation avec les éléments de vérité est confuse, compliquée, il est donc important de la clarifier.
Principes théoriques
Une déclaration vraie est la valeur d'une propriété (attribut), qui est toujours considérée pour une certaine action. Qu'est-ce que la vérité ? Le schéma est le suivant: "La proposition X a une valeur de vérité Y dans le cas où la proposition Z est vraie."
Regardons un exemple. Il est nécessaire de comprendre pour lequel des énoncés donnés l'énoncé est vrai: "L'objet a a un signe B". Cette déclaration est fausse en ce que l'objet a l'attribut B, et fausse en ce que a n'a pas l'attribut B. Le terme "faux" dans ce cas est utilisé comme une négation externe.
Détermination de la vérité
Comment est déterminé un énoncé vrai ? Quelle que soit la structure de la proposition X, seule la définition suivante est autorisée: « La proposition X est vraie quand il y a X, seulement X. »
Cette définition permet d'introduire le terme "vrai" dans le langage. Il définit l'acte d'être d'accord ou de parler avec ce qu'il dit.
Proverbes simples
Ils contiennent une affirmation vraie sans définition. On peut se borner à une définition générale dans la proposition "Non-X" si cette proposition n'est pas vraie. La conjonction "X et Y" est vraie si X et Y sont vrais.
Dire l'exemple
Comment comprendre pour quel x l'énoncé est vrai ? Pour répondre à cette question, nous utilisons l'expression: « La particule a est située dans une région de l'espace b ». Considérez les cas suivants pour cette déclaration:
- impossible d'observer la particule;
- vous pouvez observer la particule.
La deuxième option suggère certaines possibilités:
- la particule est en fait située dans une certaine région de l'espace;
- elle n'est pas dans la partie prévue de l'espace;
- la particule se déplace de telle manière qu'il est difficile de déterminer la zone de son emplacement.
Dans ce cas, quatre termes de valeur de vérité peuvent être utilisés qui correspondent aux possibilités données.
Pour les structures complexes, davantage de termes sont appropriés. C'estindique des valeurs de vérité illimitées. Pour quel nombre la déclaration est vraie dépend de l'opportunité pratique.
Le principe d'ambiguïté
Selon lui, toute déclaration est fausse ou vraie, c'est-à-dire qu'elle est caractérisée par l'une des deux valeurs de vérité possibles - "faux" et "vrai".
Ce principe est à la base de la logique classique, appelée théorie à deux valeurs. Le principe d'ambiguïté a été utilisé par Aristote. Ce philosophe, se disputant pour savoir quel nombre x l'énoncé est vrai, l'a considéré comme inapproprié pour les énoncés qui se rapportent à des événements aléatoires futurs.
Il établit une relation logique entre le fatalisme et le principe d'ambiguïté, prédestination de toute action humaine.
Dans les époques historiques suivantes, les restrictions imposées à ce principe s'expliquaient par le fait qu'il compliquait considérablement l'analyse des déclarations sur les événements planifiés, ainsi que sur les objets inexistants (non observables).
En pensant aux affirmations qui sont vraies, il n'a pas toujours été possible de trouver une réponse claire avec cette méthode.
Les doutes émergents sur les systèmes logiques n'ont été dissipés qu'après le développement de la logique moderne.
Pour comprendre pour lequel des nombres donnés l'énoncé est vrai, la logique à deux valeurs convient.
Principe d'ambiguïté
Si reformulévariante d'un énoncé à deux valeurs pour révéler la vérité, vous pouvez en faire un cas particulier de polysémie: tout énoncé aura une valeur de vérité n si n est supérieur à 2 ou inférieur à l'infini.
Comme exceptions aux valeurs de vérité supplémentaires (au-dessus de "faux" et "vrai"), il existe de nombreux systèmes logiques basés sur le principe d'ambiguïté. La logique classique à deux valeurs caractérise les usages typiques de certains signes logiques: "ou", "et", "non".
Une logique multivaluée qui prétend être concrétisée ne doit pas contredire les résultats d'un système à deux valeurs.
La croyance selon laquelle le principe d'ambiguïté conduit toujours à un énoncé de fatalisme et de déterminisme est considérée comme erronée. Également erronée est l'idée que la logique multiple est considérée comme un moyen nécessaire pour mener à bien un raisonnement indéterministe, que son acceptation correspond au rejet de l'utilisation du déterminisme strict.
Sémantique des signes logiques
Pour comprendre pour quel nombre X l'énoncé est vrai, vous pouvez vous armer de tables de vérité. La sémantique logique est une section de la métalogique qui étudie la relation aux objets désignés, leur contenu de diverses expressions linguistiques.
Ce problème était déjà envisagé dans le monde antique, mais sous la forme d'une discipline indépendante à part entière, il n'a été formulé qu'au tournant des XIXe et XXe siècles. Œuvres de G. Frege, C. Pierce, R. Carnap, S. Kripkepermis de révéler l'essence de cette théorie, son réalisme et son opportunité.
Pendant longtemps, la logique sémantique s'est principalement appuyée sur l'analyse des langages formalisés. Ce n'est que récemment que la majorité des recherches ont été consacrées au langage naturel.
Il y a deux domaines principaux dans cette technique:
- théorie de la notation (référence);
- théorie du sens.
La première concerne l'étude de la relation entre diverses expressions linguistiques et les objets désignés. Comme catégories principales, on peut imaginer: "désignation", "nom", "modèle", "interprétation". Cette théorie est la base des preuves dans la logique moderne.
La théorie du sens traite de la recherche d'une réponse à la question de savoir quel est le sens d'une expression linguistique. Elle explique leur identité dans le sens.
La théorie du sens joue un rôle important dans la discussion des paradoxes sémantiques, dans la solution desquels tout critère d'acceptabilité est considéré comme important et pertinent.
Équation logique
Ce terme est utilisé en métalangage. Sous l'équation logique, on peut représenter l'enregistrement F1=F2, dans lequel F1 et F2 sont des formules du langage étendu des propositions logiques. Résoudre une telle équation signifie déterminer les ensembles de valeurs vraies de variables qui seront incluses dans l'une des formules F1 ou F2, sous lesquelles l'égalité proposée sera observée.
Le signe égal en mathématiques dans certaines situationsindique l'égalité des objets d'origine et, dans certains cas, il est défini pour démontrer l'égalité de leurs valeurs. L'entrée F1=F2 peut indiquer que nous parlons de la même formule.
Dans la littérature assez souvent sous la logique formelle signifie un tel synonyme comme "le langage des propositions logiques". Les "mots corrects" sont des formules qui servent d'unités sémantiques utilisées pour construire un raisonnement dans une logique informelle (philosophique).
Une déclaration agit comme une phrase qui exprime une proposition particulière. En d'autres termes, il exprime l'idée de la présence d'un état de fait.
Toute affirmation peut être considérée comme vraie dans le cas où l'état de choses qui y est décrit existe en réalité. Sinon, une telle déclaration sera une fausse déclaration.
Ce fait est devenu la base de la logique propositionnelle. Il existe une division des déclarations en groupes simples et complexes.
Lors de la formalisation de variantes simples d'instructions, des formules élémentaires de langage d'ordre zéro sont utilisées. La description d'instructions complexes n'est possible qu'avec l'utilisation de formules de langage.
Les connecteurs logiques sont nécessaires pour désigner les unions. Lorsqu'elles sont appliquées, les déclarations simples se transforment en formes complexes:
- "pas",
- "c'est pas vrai que…",
- "ou".
Conclusion
La logique formelle aide à savoir pour quel nom une déclaration est vraie, implique la construction et l'analyse de règles de transformation de certaines expressions qui les préserventvaleur réelle quel que soit le contenu. En tant que section distincte de la science philosophique, elle n'est apparue qu'à la fin du XIXe siècle. La deuxième direction est la logique informelle.
La tâche principale de cette science est de systématiser les règles qui vous permettent de dériver de nouvelles déclarations basées sur des déclarations éprouvées.
Le fondement de la logique est la possibilité d'obtenir certaines idées comme conséquence logique d'autres énoncés.
Ce fait permet de décrire adéquatement non seulement un certain problème en science mathématique, mais aussi de transférer la logique à la créativité artistique.
L'investigation logique présuppose la relation qui existe entre les prémisses et les conclusions qui en sont tirées.
Cela peut être attribué au nombre de concepts initiaux et fondamentaux de la logique moderne, souvent appelée la science de "ce qui en découle".
Il est difficile d'imaginer prouver des théorèmes en géométrie, expliquer des phénomènes physiques, expliquer les mécanismes de réactions en chimie sans un tel raisonnement.
