Los modificadores de predicados y su lógica
El lógico puede plantearse como ideal el que todos los argumentos intuitivamente válidos estén representados en su sistema por argumentos formales válidos. Quizá, como Quine, pretenda, además, realizar este ideal dentro del marco de la lógica de primer orden con identidad. Sin embargo, es este un...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Español |
| Publicado: |
1986
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/12514 http://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.1320/pr.1320.pdf |
| Aporte de: |
| Sumario: | El lógico puede plantearse como ideal el que todos los argumentos intuitivamente válidos estén representados en su sistema por argumentos formales válidos. Quizá, como Quine, pretenda, además, realizar este ideal dentro del marco de la lógica de primer orden con identidad. Sin embargo, es este un encuadre muy estrecho que deja fuera demasiadas cosas. Por ejemplo, no parece posible ofrecer en él una formalización adecuada de las inferencias que involucran modificaciones de predicados. Esto no resulta extraño ya que los modificadores de predicados son operadores intensionales; en efecto, dos predicados P y Q pueden ser coextensionales sin que los predicados modificados /m/P y /m/Q lo sean. Para ver esto considérese el siguiente ejemplo: en un pueblo hay sólo dos barberos que son también los únicos pescadores del pueblo; el que es buen barbero es mal pescador y el que es mal barbero es buen pescador. En este universo "pescador" y "barbero" son predicados coextensionales y, sin embargo, los predicados modificados "buen barbero" y "buen pescador" no lo son. |
|---|