Abstract
O conceito de verdade lógica implica uma nova extensão e generalização, porque ela pode ainda ser, na lógica formal matemática: semântica e sintática. A lógica formal formaliza e generaliza os conceitos de "verdadeiro" e "falso" pelos símbolos do sistema binário (1,0); mas funda-se sempre no principio do 3° excluido: pv-p. 1. A verdade do Cálculo proposicional matricial ($C_ p $) é semãntica porque as variáveis proposicionais dizem relação para significados possiveis não só de juízos mas também de operaçães sobre juizos. Por ex.: as tautologias de expressões a H-operadores... 2. Nos sistemas formalizados e dedutivos (dos cálculos) a Verdade é sintdtica, i. é, puramente simbólica. É a validade (├) dos axiomas e teoremas... 3. A Verdade da lógica fovmal funda-se pela teoria do conhecimento no Principio do 3° excluído como lei emanente de pensar. Foram dadas varias definiçães epistemológicas da "Verdade" mas só uma pode ser verdadeira! A verdade existe formalmente não só nos juízos analíticos ou sintéticos (tese clássica) mas também nos raciocinios dedutivos ou indutivos (tese generalizada). O intelecto é, pois, o seu prisma onde se pode orquestrar a Canção da Verdade. /// Le concept de vérité logique implique une nouvele extension et généralisation, parce qu'elle peut encore être, en logique formelle mathématique: sémantique et syntatique. La logique formelle formalise et généralise les concepts de "vrai" et de "faux" par les symboles du systeme binaire (1,0); mais elle se fonde toujours sur le principe du tiers exclu: p v -p. 1. La vérité du calcul propositionnel matriciel ($C_p $) est sémantique parce que les variables propositionnelles ont trait aux signifiés possibles non seulement de jugements mais aussi d'opérations sur les jugements. Par exemple, les tautologies d'expressions a n -opérateurs... 2. Dans les systémes formalisés et déductifs (les calculs), la vérité est syntaxique, c. à d . purement symbolique. C'est la validite (├) des axiomes et theoremes ... 3. La vérité de la logique formelle se fonde par la théorie de la connaissance dans le Principe du tiers exclu comme loi immanente du penser. On a doné plusieurs définitions épistémologiques de la "Vérité", mais une seule peut être vrai! La vérité existe formellement non seulement dans les jugements analytiques et synthétiques (thèse classique), mais aussi dans les raisonements déductifs ou inductifs (thèse généralisée). L'intellet est ainsi son prisme oú peut s'orchestrer la Chanson de la Vérité. /// The concept of logical truth implies anew extension and generalization, since in the mathematical formal logic it may still be semantic and syntactic. Formal logic formalizes and generalizes the concepts of "true" and "false" through the symbols of a dual system (1,0); however, it is always founded uppon the principle of the 3rd excluded. pv-q. 1. The truth of the matricial propositional Calculs ($C_p $) is semantic, because the propositional variables express a relation to possible meanings, not only of judgements but also of operations about judgements. For example: the tautologies of expressions with n-operators... 2. In the deductive and formalized systems (of calculi) Truth is syntatic, i. e., purely symbolic. It is the validity (├) of the axioms and theorems... 3. The Truth of formal logic is founded by the theory of knowledge upon the principle of the 3rd excluded as an immanent law of thought. Several epistemological definitions of "Truth" have been put forward, but only one can be true! Truth exists formally not only in the analytic and synthetic judgements (the classical thesis) but also in both the deductive and the inductive reasonings (generalized thesis). The intelect is therefore its prism where the Truth Song can be orchestrated.