Truth is not fundamental

-
Traditionally, truth is considered a fundamental notion and logical consequence is considered less fundamental because it can be defined as truth-transmission. What is often forgotten is that things could also be presented the other way around: with logical consequence as fundamental and truth as derived from it. (This, I think is one of the important consequences of the work of Mike Dunn on algebraic methods for philosophical logic and David Lewis’ later work on the metaphysics of set theory).

Perhaps the main difference between logical consequence and truth is that the first one is a homogenous relationship, that is a relation between things of the same sort – propositions or sets of propositions, while truth is considered either not a relation or a heterogenous one – if one thinks of truth as truth-in-a-world, that is, a relation between things of different ontological kinds: a proposition and a world. So the first step in defining truth in terms of logical consequence is to level the land so to speak and consider a uniform ontological kind where propositions and worlds can live side by side. The simplest way is to conceive of possible worlds as sets of propositions, or vice versa, propositions as sets of possible worlds.

Now, we can easily define truth in terms of logical consequence: being true is being a logical consequence of the world. Thus a proposition is true (in the actual world) if it follows from the actual world, and in general, a proposition p is true in a world w iff p follows from w. 

 Of course, one could complain that in order to get actual truth and not just truth-in-a-world, we still need actuality as a primitive and, well, you would be completely right to think so; thus, the most honest thing to say would be that truth is just actuality by other name and that truth-in-a-world is just another name for logical consequence.
Let W be a partially ordered set of (sets of) propositions/possible worlds (or, in general, evaluation points) with a top and a bottom. Since we are in an extensional framework, there are no distinct logically equivalent propositions/possible worlds. Now, my final point can be re-stated thus. Given two objects x and y in W, that x is less than or equal to y can be read either as 

  1. x is a logical consequence of y (if we want to take x and y as propositions) or 
  2. x is true in y (if we want to take x as as a proposition and y as a possible world) or 
  3. x is a subset of y (if we want x and y to be sets, either of propositions or of possible worlds) or 
  4. x is part of y (if we want x and y to be possible worlds and accept than not all possible worlds are total).


Comentarios

Publicar un comentario

Entradas más populares de este blog

Condiciones de Verdad

-
Imagen
El objetivo central de las teorías de las condiciones de verdad es explicar la relación entre dos conceptos filosóficos fundamentales de la filosofía del lenguaje: significado y verdad. No hay nada controversial en decir que algunos enunciados son verdaderos y otros falsas y que la diferencia depende no sólo de cómo son las cosas según lo dice el enunciado, pero también de qué es lo que dice el enunciado, es decir, de su significado.Es claro que, por ejemplo, el enunciado “Marichuy Martínez nació en Tuxpan” es verdadero pero podría haber sido falso, o bien porque los hechos relevantes pudieron haber sido distintos o porque el enunciado mismo pudo haber significado algo distinto;   Marichuy Martínez pudo haber nacido en otro lado, así como el nombre “Marichuy Martínez” pudo haber referido a otra persona, y el nombre “Tuxpán” a otro lugar. Si yo me hubiera llamado “Marichuy Martínez” y la capital de Uruguay se llamará “Tuxpan” entonces el enunciado “Marichuy Martínez nació en Tu...
Leer más

Lógica Paraconsistente

-
Imagen
El reto filosófico de construir una lógica paraconsistente es mostrar que es genuinamente lógica y es genuinamente paraconsistente, es decir que en ella  realmente no es cierto que de todo conjunto de premisas inconsistentes se sigue / tiene como consecuencia lógica cualquier cosa. En otras palabras, para que una lógica sea paraconsistente, deben cumplirse dos condiciones: debe existir por lo menos un conjunto G de premisas y una proposición  p  tales que  G  sea inconsistente y  p  no se siga de  G .    El reto, en mas detalle, es que los casos de premisas inconsistentes de las que no se sigue cualquier cosa sean casos de premisas genuinamente inconsistentes – no inconsistentes en un sentido técnico ad-hoc – y el que no se siga todo también sea un ‘no se sigue’ genuinamente lógico – y no un ‘no se sigue’ técnico ad-hoc. Es decir, el conjunto  G  debe ser genuinamente inconsistente y la proposición  p  ...
Leer más

¿Qué es una Categoría Ontológica?

-
Imagen
En ontología, cuando nos preguntamos qué entidades existen realmente, no nos interesa la realidad de esta o aquella entidad particular – con notorias excepciones, como la de Dios (Rovira 1991) – sino la de categorías enteras de entidades. No nos interesa si existe esta silla o aquel taburete, sino si existen los objetos materiales ordinarios (Cumpa & Brewster 2018). Nos interesa la pregunta sobre si es un hecho ya el que habrá una batalla naval mañana, no porque dicho hecho particular tenga algo en especial (como lo tendría, por ejemplo, para el general que debe planear su estrategia de defensa), sino por lo que nos dice sobre el estatus ontológico de los hechos futuros (Mijangos 2003). Cuando Boolos se pregunta si existe el cardinal Kappa, no le interesa tanto este cardinal en particular, sino si es suficiente tener una prueba de existencia dentro de ZFC para aceptar la existencia de cualquier conjunto (Hart 2007). Esto significa que las preguntas ontologicas sobre lo que es real ...
Leer más