debe existir un orden logico.
¿que nos dice esto filosóficamente?
Respuestas a la pregunta
Respuesta:
Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal. Algunos teóricos conciben la lógica filosófica en un sentido más amplio como el estudio del alcance y la naturaleza de la lógica en general. En este sentido, la lógica filosófica puede considerarse idéntica a la filosofía de la lógica, que incluye temas adicionales como la definición de la lógica o la discusión de los conceptos fundamentales de la lógica. El presente artículo trata la lógica filosófica en el sentido estricto, en el que constituye un campo de investigación dentro de la filosofía de la lógica.
Un tema importante para la lógica filosófica es la cuestión de cómo clasificar la gran variedad de sistemas lógicos no clásicos, muchos de los cuales son de origen bastante reciente. Una forma de clasificación que se encuentra a menudo en la literatura es distinguir entre lógicas extendidas y lógicas desviadas. La lógica misma puede definirse como el estudio de la inferencia válida. La lógica clásica es la forma dominante de la lógica y articula reglas de inferencia de acuerdo con intuiciones lógicas compartidas por muchos, como el principio del tercero excluido, la eliminación de la doble negación y la bivalencia de la verdad.
Las lógicas extendidas son sistemas lógicos que se basan en la lógica clásica y sus reglas de inferencia, pero la extienden a nuevos campos introduciendo nuevos símbolos lógicos y las correspondientes reglas de inferencia que rigen estos símbolos. En el caso de la lógica modal alética, estos nuevos símbolos se utilizan para expresar no solo lo que es verdadero simpliciter, sino también lo que es posible o necesariamente verdadero. A menudo se combina con la semántica de los mundos posibles, que sostiene que una proposición es posiblemente verdadera si es verdadera en algún mundo posible, mientras que es necesariamente verdadera si es verdadera en todos los mundos posibles. La lógica deóntica pertenece a la ética y proporciona un tratamiento formal de las nociones éticas, como la obligación y el permiso. La lógica temporal formaliza las relaciones temporales entre proposiciones. Esto incluye ideas como si algo es verdadero en algún momento o todo el tiempo y si es verdadero en el futuro o en el pasado. La lógica epistémica pertenece a la epistemología. Puede usarse para expresar no solo lo que es el caso, sino también lo que alguien cree o sabe que es el caso. Sus reglas de inferencia articulan lo que se desprende del hecho de que alguien tiene estos tipos de estados mentales. Las lógicas de orden superior no aplican directamente la lógica clásica a ciertos subcampos nuevos dentro de la filosofía, sino que la generalizan al permitir la cuantificación no solo sobre individuos sino también sobre predicados.
Las lógicas desviadas, en contraste con estas formas de lógicas extendidas, rechazan algunos de los principios fundamentales de la lógica clásica y a menudo son vistas como sus rivales. La lógica intuicionista se basa en la idea de que la verdad depende de la verificación a través de una prueba. Esto la lleva a rechazar ciertas reglas de inferencia encontradas en la lógica clásica que no son compatibles con esta suposición. La lógica libre modifica la lógica clásica para evitar los presupuestos existenciales asociados al uso de términos singulares posiblemente vacíos, como nombres y descripciones definidas. Las lógicas plurivalentes permiten valores de verdad adicionales además de verdadero y falso. Por lo tanto, rechazan el principio de bivalencia de la verdad. Las lógicas paraconsistentes son sistemas lógicos capaces de lidiar con contradicciones. Lo hacen evitando el principio de explosión que se encuentra en la lógica clásica. La lógica relevante es una forma prominente de lógica paraconsistente. Rechaza la interpretación puramente funcional de verdad del condicional material al introducir el requisito adicional de relevancia: para que el condicional sea verdadero, su antecedente tiene que ser relevante para su consecuente.
Explicación:
espero que te sirva y si no puedes perdón, y que la fuerza te acompañe...