Algunos términos técnicos
La presentación y discusión de algunos términos especiales que el lógico usa en su labor contribuirá a dar mayor claridad a la explicación de la lógica propuesta en la sección precedente. Hemos caracterizado la inferencia como un proceso en el cual se llega a una proposición y se la afirma sobre la base de otra u otras proposiciones aceptadas como puntos de partida del proceso. Al lógico no le interesa el proceso de la inferencia, sino las proposiciones que constituyen los puntos inicial y terminal de este proceso, así como las relaciones existentes entre ellas.
Las proposiciones son verdaderas o falsas; en esto difieren de las preguntas, las órdenes y las exclamaciones. Sólo es posible afirmar o negar proposiciones. Una pregunta puede responderse, una orden darse y una exclamación proferirse, pero ninguna de ellas puede ser afirmada o negada, ni se las puede juzgar como verdaderas o falsas. La gramática divide las formulaciones dadas en el lenguaje a las proposiciones, las preguntas, las órdenes y las exclamaciones en oraciones declarativas, interrogativas, imperativas y exclamativas. Estas nociones son familiares.
Es necesario distinguir entre las oraciones declarativas y sus significados. Dos oraciones declarativas, que constituyen claramente dos oraciones distintas porque* están compuestas de diferentes palabías dispuestas de manera también diferente, pueden tener el mismo significado. Por ejemplo:
Juan ama a María.
María es amada por Juan.
son dos oraciones diferentes, pues la primera contiene cuatro palabras mientras que la segunda contiene cinco, la primera comienza con la palabra 'Juan', mientras que la segunda comienza con la palabra 'María', etc. Sin embargo, las dos oraciones tienen exactamente el mismo significado. Se acostumbra usar la palabra 'proposición' para designar el significado de una oración declarativa.
La diferencia entre oraciones y proposiciones se pone de manifiesto al observar que una oración declarativa forma siempre parte de un lenguaje determinado, el lenguaje en el cual es enunciada, mientras que las proposiciones no son propias de ninguno de los lenguajes en los cuales, pueden ser formuladas. Las tres oraciones:
Llueve.
Il pleut.
Es regnet.
son diferentes, por cierto, pues la primera está en castellano, la segunda en francés y la tercera en alemán. Sin embargo, tienen todos un mismo significado. Este significado común es la proposición de la cual cada una de ellas es una formulación diferente. Al lógico le interesan las proposiciones, más que las oraciones que las formulan.