Re: ¿Tiene sentido preciso decir que uno está hablando «racionalmente»?

#32996
saibaba
Miembro

Lo que pasa es que si el lenguaje es «maravilloso» o no, es algo que no viene al caso.

Lo que me interesa es que al debatir sobre «cualquier cosa», haya leyes generales de razonamiento, válidas en todos los casos.

No sé si me he explicado bien en algunas cosas.

Hay muchas lógicas distintas, cada una con un poder expresivo distinto.

Pongo por ejemplo las que me he topado más frecuentemente: lógica proposicional, lógica de primer orden, lógica de segundo orden.

La logica proposicional no puede «cuantificar», o sea, no tiene el poder expresivo para decir cosas como «todo x tal que x es cretense, es mortal».

Para cuantificar (decir «para todo x» o «existe algún x») hay que usar lógicas de primer o segundo orden.

La lógica de primer orden no permite cuantificar sobre «propiedades», sino sólo sobre «elementos» x, digamos.

Se pueden enunciar propiedades P(x), que varían su valor de verdad según varía x.

Pero no se puede decir «para todo P bla bla bla…».

La lógica de segundo orden permite cuantificar sobre las propiedades P que dependen de una variable x. El poder expresivo es mayor.


Si bien esas lógicas son de uso interno a la matemática, también se pueden usar en otras áreas, pues se usan para «modelar» razonamientos en esas áreas.

¿Cuál lógica usar en cada caso?

¿Pueden todas las afirmaciones que suenan a «razonamientos» ser modeladas?

Hay razonamientos sobre cuestiones muy abstractas.

Estos temas requieren lógicas de segundo orden.

O quizá otro tipo de lógica adecuada a enormes grados de abstracción, como la teoría de categorías (que hasta donde yo sé, no tiene ningún estudio de consistencia).

Cuando nos abstraemos demasiado, hacemos razonamientos sobre la lógica misma,

o bien razonamientos acerca de los razonamientos mismos.

Y distintos tipos y grados de razonamientos se mezclan entre sí.

Y cosas que no son razonamientos se entrometen a veces sin darnos cuenta.

Todo esto me hace pensar que no hay una lógica definitiva que tenga todo el poder expresivo que tiene el lenguaje.

Así que sí, el lenguaje es maravilloso, pero es demasiado complejo, y si queremos razonamientos fiables, en términos de lo que sabemos hasta la fecha sobre lógica (teórica o aplicada), hay que conformarse con «menos». No usar toda la potencia del lenguaje.