I.

SINTAXIS DE LA LOGICA
1.1) Antecedentes:
Concepto introducido por Wittgenstein en 1919, en el libro “Tractatus
lógico – philosophicus”, sin embargo este libro en sus inicios no tuvo gran
acogida por el público científico, así que por un tiempo Wittgenstein
desapareció. Al pasar los años él regresó y encontró que habían creado
un círculo de estudio llamado “Circulo de Viena” y en este círculo se
encontraba Carnap. Fue Carnap quien hizo una exposición sistemática
de los problemas y conceptos de esta disciplina en su “Sintaxis Lógica
del Lenguaje” donde en particular, se muestra la fecundidad de la
investigación sintáctica de los lenguajes que formalizan a determinadas
partes de las ciencias naturales.
1.2) Definición:
“La sintaxis es la forma, es la estructura, las variables y constantes. Sin
embargo surge el problema sobre el contexto y texto quien ya establece
ese problema y niega la existencia de proposiciones pues el contexto de
donde se diga determina el valor de verdad de la proposición”
Como en todo lenguaje, la sintaxis de un lenguaje lógico es un sistema
de símbolos que consta de un alfabeto de símbolos básicos y unas reglas
que determinan la estructura y la transformación de las expresiones de
cierto cálculo.
1.3) Objeto de estudio:
El objeto de la sintaxis lógica es el lenguaje, pero no el lenguaje en tanto
usado, sino en cuanto sistema de reglas para su uso. Dicho sistema de
reglas, se divide en dos grupos: reglas de formación y reglas de
transformación. Las reglas de formación determinan qué tipo de
combinaciones de símbolos originan "formulas bien formadas" para el
lenguaje que se utiliza. Las reglas de transformación "determinan cómo
transformar unas oraciones en otras". Ejemplo de estas últimas son las
reglas de la lógica clásica. No podemos definir los términos «verdadero»
y «falso» en la sintaxis, porque el que una oración dada sea verdadera o
falsa por lo general dependerá no sólo de la forma sintáctica de la
oración, sino también de la experiencia; es decir, de algo extra-
lingüístico A este estudio estrictamente sintáctico de una lógica se
le llama cálculo: cálculo de proposiciones, cálculo de predicados, etc. Un
cálculo es la estructura formal de un lenguaje, abstrayendo el significado;
se convierte en un lenguaje cuando se interpretan sus símbolos y sus
sentencias, o sea, se les atribuye un significado, se les pone en relación
con los elementos de una conceptuación.
1.4) Sintaxis proposicional: Formulas proposicionales
En primer lugar tenemos que ver qué es la formalización.
Formalización: Proceso mediante el cual llevamos una proposición verbal
hacia una proposición formal utilizando para ello un lenguaje simbólico
conformado por variables y constantes (conectores)
Lenguaje Formalizado: Es el lenguaje artificial construido por símbolos
que van a reemplazar a las proposiciones simples y conectores verbales.
1.4.1) Alfabeto:
 Variables:
Son símbolos que pueden ser utilizados para reemplazar a
cualquier fórmula o proposición, de allí el nombre “variable”
 Pueden ser de dos tipos:
a) Variables proposicionales:
Son letras minúsculas tomadas de la segunda miad del
alfabeto, es decir, desde “p” hasta “z” que sirven para
representar a las proposiciones atómicas
p,q,r,s… etc
Se asignan en forma alfabética.
b) Metavariables:
Comúnmente usados para enunciar reglas y leyes. Son
símbolos que representan fórmulas, también llamados
esquemas lógicos, y para ello se utilizan las letras
mayúsculas.
A, B, C, D,… etc.
 Constantes o conectores lógicos:
Son signos artificiales que representan a los conectivos que
bbenlazan a las proposiciones simples.

En general los conectores se clasifican en dos grupos:

a.) Conectores monádicos (unarios): Son aquellos que
se enlazan solo a una proposición simple.
b.) Conectores diádicos (binarios): Son aquellos que
enlazan a dos o más proposiciones simples.
 Signos de colección: son símbolos auxiliares que permiten
denotar la jerarquía entre los operadores lógicos y de esa forma
evitar la antigüedad.
Los signos más usados son:
Paréntesis, corchetes, llaves, barras.
EJEMPLOS:
1. La proposición: “No es verdad que sea falso que el Perú es un
país subdesarrollado”, se formaliza: --p
2. La proposición: “O bien es falso que el oro es un metal debido
a que el plomo lo es, o bien es mentira que el agua es mineral
porque siempre la sal lo es”. Se formaliza como:
¬( p  q ) >--< ¬( r  s )
3. La proposición “Es falso que todo boliviano es americano y no
es verdad que los ancashinos son huaracinos”. Se formaliza
como: ¬p & ¬q
4. La proposición: “Suponiendo que el ómnibus sale hoy para
Ayacucho, es obvio que no cayó un huayco o tampoco hubo
terremoto” , se formaliza como: p(¬q v ¬r)