WebDefinición. [26]​ Un problema recurrente es el de la palabra "ser" en español, que tiene una variedad de significados dependiendo del contexto, como identidad, existencia, predicación, inclusión de clases o ubicación. WebEl siglo XVII d. C. (siglo diecisiete después de Cristo) o siglo XVII e. c. (siglo diecisiete de la era común) fue el séptimo siglo del II milenio en el calendario gregoriano.Comenzó el 1 de enero de 1601 y terminó el 31 de diciembre de 1700.Este siglo es el último que forma parte completa de la Edad Moderna, el cual estuvo caracterizado por el movimiento artístico … [16]​ Si un argumento es válido solo depende de su forma. [2]​[89]​[90]​[91]​ Desde este punto de vista, oraciones como " Pero se enfrenta a otros problemas propios. Pero según la modalidad lógica, esto no es necesario, ya que las leyes de la naturaleza podrían haber sido diferentes sin llevar a una contradicción lógica. [1]​[8]​ Un problema para este tipo de caracterizaciones es que parecen ser circulares, ya que los mundos posibles se definen a su vez en términos modales, es decir, como formas de cómo podrían haber sido las cosas. La lógica, por otro lado, tiene como objetivo descubrir las leyes del razonamiento correcto, independientemente de si el pensamiento humano real a menudo no alcance este ideal. Una cuestión central con respecto a la ontología se refiere a los compromisos ontológicos asociados con el uso de la lógica, por ejemplo, con los términos singulares y los cuantificadores existenciales. Entre las muchas aportaciones que hizo Aristóteles al conocimiento abstracto, sin duda la lógica formal - de la que fue indiscutiblemente creador - no solamente puede considerarse el más trascendental, sino aquel en que logró mejores y mayores aciertos. WebPrecisiones. ( ∃ Hay muchos desacuerdos sobre qué es la lógica y cómo debe definirse. [16]​[22]​ Tanto la lógica formal como la informal pretenden evaluar la corrección de los argumentos. [15]​[1]​ Las proposiciones están estrechamente relacionadas con las oraciones, ya que son el significado de las oraciones: oraciones expresan proposiciones. [3]​ Un problema central en la filosofía de la lógica, planteado por la proliferación contemporánea de sistemas lógicos, es explicar cómo estos sistemas se relacionan entre sí. Los falsos dilemas, por ejemplo, se basan en una premisa disyuntiva falsa que simplifica demasiado la realidad al excluir alternativas viables, como en "Stacey habló en contra del capitalismo; por lo tanto, debe ser comunista". [25]​[28]​ El contexto de un argumento se refiere a la situación en la que se utiliza y al papel que se supone que desempeña. P Desde este punto de vista, se debería dar más énfasis a las reglas estratégicas, ya que muchas aplicaciones de la lógica, como el problema del cambio racional de creencia, dependen más de las reglas estratégicas que de las definitorias.[5]​. Estas lógicas pueden dividirse en la lógica clásica, normalmente identificada con la lógica de primer orden, lógicas extendidas y lógicas desviadas. [92]​ Dentro de la lógica, estos problemas pueden evitarse mediante el uso de ciertas formas de lógica no clásica. Zeus y Poseidón se habían disputado su mano hasta que Temis profetizó que Tetis engendraría un hijo todavía más grande que su padre. La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica. {\displaystyle Caballo(pegaso)} [34]​ El objetivo de estos cambios suele ser o aplicar el tratamiento lógico a nuevas áreas o introducir un mayor nivel de abstracción, por ejemplo, en forma de cuantificación aplicada no solo a términos singulares sino también a predicados o proposiciones o a través de predicados de verdad. [5]​, Las inferencias ampliativas, por otro lado, son informativas porque pretenden proporcionar nueva información. Un problema con esta caracterización de la lógica es que no siempre está claro cómo establecer la distinción entre las constantes lógicas y otros símbolos. La filosofía de la lógica está estrechamente relacionada con la filosofía de las matemáticas en muchos aspectos, especialmente en relación con sus aspectos metafísicos. ◊ Una característica importante de la lógica formal es que para un argumento válido, la verdad de sus premisas asegura la verdad de su conclusión, es decir, es imposible que las premisas sean verdaderas y la conclusión sea falsa. [3]​ La filosofía de la lógica puede entenderse en analogía con otras ramas de la filosofía específicas de una disciplina: al igual que la filosofía de la ciencia investiga los problemas filosóficos planteados por la ciencia, la filosofía de la lógica investiga los problemas filosóficos planteados por la lógica. Shapiro, Stewart; Kouri Kissel, Teresa (2021). [4]​ Pero esto también significaría que las "lógicas" de orden superior no son lógicas estrictamente hablando, debido a su incompletitud.[5]​. Desempeña un papel central en la lógica, ya que la validez a menudo se define en términos de verdad: una inferencia es válida si y solo si es imposible que sus premisas sean verdaderas y su conclusión sea falsa. M [4]​[6]​[8]​ Según este último punto de vista, la lógica filosófica contrasta con la filosofía de la lógica en que generalmente se ve como la aplicación de métodos lógicos a problemas filosóficos, a menudo mediante el desarrollo de lógicas desviadas o extendidas. [5]​, La noción de inferencia válida está estrechamente relacionada con la de confirmación. [4]​ Trata de aclarar la relación entre la lógica y otros campos, como la ontología, las matemáticas y la psicología. Diferentes conjuntos de reglas de inferencia constituyen diferentes sistemas deductivos, por ejemplo, los asociados a la lógica clásica o a la lógica intuicionista. Esta, a su vez, alcanza una repercusión trascendental no solamente en la informática en sí misma, sino en todas sus aplicaciones en la vida cotidiana; ya sea a nivel de la industria, las comunicaciones, y aún en una enorme variedad de elementos de uso y consumo cotidiano. ) Otelo no es soltero. Durante mucho tiempo en la historia, la silogística aristotélica fue tratada como el canon de la lógica y hubo muy pocas mejoras sustanciales durante más de dos mil años hasta las obras de George Boole, Bernard Bolzano, Franz Brentano, Gottlob Frege y otros. WebOrfeo y Eurídice (título original en italiano, Orfeo ed Euridice; en francés, Orphée et Eurydice) es una ópera en tres actos del compositor alemán Christoph Willibald von Gluck, con libreto de Raniero di Calzabigi, que data de 1762 y basada en el mito de Orfeo.Pertenece al género de azione teatrale (acción teatral), que implica que la ópera se basa en un tema de la … [4] Según otras fuentes, fue Prometeo [5] o Proteo quien … a [25]​[73]​ Negar el antecedente es un tipo de falacia formal, por ejemplo, "Si Otelo es soltero, entonces es hombre. [1]​ Tradicionalmente, se entienden como pensamientos o proposiciones, es decir, como objetos mentales o abstractos. " y " WebLa ética o filosofía moral es la rama de la filosofía que estudia la conducta humana, [1] [2] lo correcto y lo incorrecto, [3] [4] lo bueno y lo malo, [4] la moral, [5] el buen vivir, [6] la virtud, la felicidad y el deber.La ética contemporánea se suele dividir en tres ramas o niveles: la metaética estudia el origen, naturaleza y significado de los conceptos éticos, la ética … Debido a esto, puede darse el caso de que la misma inferencia sea válida en un contexto e inválida en otro. Esto ocurre a costa de perder el carácter necesariamente preservador de la verdad. [84]​ Una dificultad de esta posición consiste en aclarar qué sentido de independencia se entiende cuando se dice que la lógica es independiente de los humanos. [1]​[48]​[6]​ Esto a menudo se combina con un predicado de existencia, que puede utilizarse para especificar si un término singular denota un objeto en el dominio. [5]​[66]​[67]​ Según Alfred Tarski, la inferencia deductiva tiene tres características centrales: (1) es formal, es decir, depende solo de la forma de las premisas y de la conclusión; (2) es a priori, es decir, no se necesita ninguna experiencia sensorial para determinar si se obtiene; (3) es modal, es decir, existe por necesidad para las proposiciones dadas, independientemente de cualquier otra circunstancia. [1] Obsérvese que dos números enteros cualesquiera tienen divisores comunes. Una pregunta importante en las matemáticas es si todas las verdades matemáticas pueden fundamentarse en los axiomas de la lógica junto con la teoría de conjuntos. Investiga los problemas filosóficos planteados por la lógica, como las presuposiciones que a menudo actúan implícitamente en las teorías de la lógica y en su aplicación. [2]​ Según algunos teóricos, el objetivo principal de la ontología es simplemente determinar qué existe y qué no existe. [92]​ Pero si los nombres vienen con compromisos existenciales, entonces oraciones como "Papá Noel no existe" serían contradictorias. x Pero el problema de la lógica, es decir, de la inferencia válida y la verdad lógica, se encuentra no solo en los lenguajes formales, sino también en los lenguajes naturales. [1]​[48]​[49]​[6]​ La lógica plurivalente es una lógica que permite valores de verdad adicionales a los de verdadero y falso de la lógica clásica. [8]​[3]​ Por ejemplo, según la modalidad física, es necesario que un objeto caiga si se deja caer, ya que esto es lo que dictan las leyes de la naturaleza. , es decir, que si algo es necesariamente verdadero, entonces también es posiblemente verdadero. Se utilizan signos no lingüísticos. Caen en el ámbito de la lógica informal y también pueden dividirse en argumentos buenos y malos. [15]​, Una distinción importante con respecto a las inferencias es entre inferencias deductivas y ampliativas, también denominadas inferencias monotónicas y no monotónicas. WebJohn Locke (Wrington, Somerset, 29 de agosto de 1632-Essex, 28 de octubre de 1704) fue un filósofo y médico inglés, considerado como uno de los más influyentes pensadores del empirismo inglés y conocido como el «Padre del Liberalismo Clásico». El término lógica clásica se refiere principalmente a la lógica proposicional y a la lógica de primer orden. l La lógica formal solo se interesa por la forma de los argumentos, expresados en un lenguaje formal, y se centra en las inferencias deductivas. [5]​[69]​, Un problema central de la lógica es cómo distinguir los argumentos correctos o válidos de los incorrectos o inválidos. [3] La lógica se divide en varias categorías según su campo de estudio. [8]​[6]​[65]​ En el primer sentido, el nombre "Aristóteles" puede entenderse como la descripción definida "el alumno de Platón que enseñó a Alejandro". [5]​[33]​ Estos conceptos centrales incluyen cuantificadores, que expresan ideas como "todos" y "algunos", y conectivos proposicionales, como "y", "o" y "si-entonces". M [4]​, Los metalógicos a veces sostienen que la completitud lógica es un requisito necesario de los sistemas lógicos. La lógica informal, por otro lado, aborda una gama mucho más amplia de argumentos que también se encuentran en el lenguaje natural, y que incluyen argumentos no deductivos. [8]​[65]​ En el caso de los términos singulares, las sugerencias populares incluyen que el término singular se refiere a su objeto a través de una descripción definida o basándose en relaciones causales con él. y ; 2 de enero: en La Habana, Fidel Castro plantea a la Oficina de Intereses de los Estados Unidos en Cuba que debe reducir su personal (de más de 200 funcionarios) a solo 11, que es la cantidad de cubanos permitidos en la Oficina de Intereses de Cuba en Washington. Por lo general, los símbolos " [76]​[28]​[30]​, Ya que la lógica evalúa los argumentos como buenos o malos, la lógica enfrenta el problema de la naturaleza y justificación de las normas que guían estas evaluaciones. ( {\displaystyle \Box } En la literatura académica se encuentran varias caracterizaciones de la naturaleza de la lógica. ∧ z Un mundo posible es una forma completa y consistente de cómo podrían haber sido las cosas. [82]​[81]​ El realismo lógico suele interpretarse desde la perspectiva del platonismo, es decir, que hay un reino inteligible de objetos abstractos que incluye los objetos de la lógica. a Las lógicas modales también incluyen varias reglas de inferencias nuevas que especifican cómo estos nuevos símbolos figuran en los argumentos válidos. " y " [8]​ Pero este enfoque enfrenta varios problemas propios. La metalógica investiga las propiedades de los sistemas lógicos formales, como si un determinado sistema lógico es consistente o completo. Un argumento puede ser falaz si no desempeña el papel previsto para él, como en la falacia del hombre de paja, cuando el argumentador ataca una posición demasiado débil que el oponente no tiene. En este sentido, las reglas definitorias son permisivas y las reglas estratégicas son prescriptivas, mientras que las generalizaciones empíricas son descriptivas. [5]​ La verdad lógica es una forma especial de verdad, ya que no depende de cómo son las cosas, es decir, de qué mundo posible es real. Y aunque el objetivo principal de la lógica ha sido distinguir las inferencias válidas de las inválidas, también hay un objetivo secundario a menudo asociado con la lógica: determinar qué pasos inferenciales se necesitan para probar o refutar una proposición dada basada en un conjunto de premisas. [4]​ En este sentido, las ciencias regulares se ocupan del razonamiento correcto dentro de un área específica de investigación, por ejemplo, en relación con los cuerpos materiales para la mecánica clásica o con los seres vivos para la biología, mientras que la lógica se ocupa del razonamiento correcto en general aplicable a todas estas disciplinas. Desde este punto de vista, la lógica de primer orden constituye un sistema lógico. [4]​, Un enfoque para determinar la naturaleza de la lógica consiste en estudiar los diferentes sistemas formales, denominados "lógicas", para determinar qué es lo esencial de todos ellos, es decir, qué los hace lógicas. La validez se define a menudo en términos de necesidad, es decir, una inferencia es válida si y solo si es imposible que las premisas sean verdaderas y la conclusión falsa. [8]​[3]​ La íntima conexión entre la lógica y la filosofía se refleja también en el hecho de que muchos lógicos famosos fueron también filósofos. [2]​[6]​ Una motivación central para este tipo de modificación es que la lógica libre puede utilizarse para analizar discursos con términos singulares vacíos, como en la expresión "Papá Noel no existe". [8]​, La noción de verdad lógica es central para la lógica. [8]​, De especial interés son las llamadas falacias, es decir, argumentos incorrectos que parecen ser correctos. [2]​[21]​[17]​ Si las interpretaciones se entienden en términos de mundos posibles, las oraciones lógicamente verdaderas pueden verse como oraciones que son verdaderas en todos los mundos posibles. [6]​ En cuanto a los predicados, se suele considerar que se refieren a universales, conceptos o clases de objetos. [4]​ Esto refleja la definición en términos de razonamiento, ya que la argumentación puede entenderse como una expresión externa del razonamiento interno. [5]​[79]​ Tanto las reglas definitorias como las estratégicas deben distinguirse de las reglas descriptivas empíricas, que generalizan cómo las personas realmente sacan inferencias, ya sean correctas o incorrectas. De esta manera, evita varios problemas asociados a esta traducción. {\displaystyle \Diamond } Pero muchos argumentos que se encuentran en las ciencias y en el discurso cotidiano apoyan su conclusión sin asegurar su verdad. [25]​[5]​ Son incorrectos porque las premisas no apoyan la conclusión de la forma supuesta. [74]​[75]​ Las falacias informales pertenecen a la lógica informal y su principal fuente de error se encuentra en el nivel de contenido y contexto. [3]​[7]​ Algunos teóricos usan estos dos términos para la misma disciplina, mientras que otros los ven como disciplinas distintas. [1]​, El término "lógica modal", cuando se entiende en su sentido más amplio, se refiere a una variedad de lógicas extendidas, como la lógica modal alética, deóntica o temporal. [4]​ Si esta tesis es correcta depende de cómo se entiende el término "lógica". [20]​[17]​ Una interpretación de una oración (o de una teoría que comprende varias oraciones) se llama un modelo de esta oración si la oración es verdadera según esta interpretación. En su opinión, la capacidad de razonar lógicamente solo surge en una cierta etapa del desarrollo del niño y puede usarse como criterio para distinguirla de las etapas anteriores.[2]​[102]​[103]​. [80]​ La metafísica de la lógica se ocupa del estado metafísico de sus objetos y de las leyes que los gobiernan. [2]​[97]​ La lógica proposicional, por ejemplo, es una instancia del álgebra de Boole. [1]​ Algunos lógicos definen la inferencia válida en términos de necesidad lógica: las premisas implican la conclusión si es imposible que las premisas sean verdaderas y la conclusión sea falsa. La lógica está estrechamente relacionada con varias disciplinas. [4]​, Una relación importante entre la lógica y la informática surge de los paralelos entre los conectivos proposicionales de la lógica proposicional y las puertas lógicas de las ciencias de la computación: ambos siguen las leyes del álgebra de Boole. Por esta razón Tetis fue obligada a casarse con Peleo. a [2]​, El problema de tener que elegir entre una multitud de sistemas lógicos rivales es bastante reciente. ( a [81]​, El realismo lógico es rechazado por los antirrealistas, quienes sostienen que la lógica no describe una característica objetiva de la realidad. Las lógicas extendidas son extensiones de la lógica clásica, es decir, aceptan el formalismo básico y los axiomas de la lógica clásica, pero los amplían con un nuevo vocabulario lógico, como la introducción de símbolos para "posibilidad" y "necesidad" en la lógica modal o de símbolos para "a veces" y "siempre" en la lógica temporal. [5]​[67]​ Las inferencias deductivas son la forma paradigmática de inferencia y son el foco principal de la lógica. ) [2]​ Esto se capta mejor con otra caracterización que a veces se encuentra en la literatura: que la lógica se ocupa de las leyes del pensamiento correcto o, más específicamente, del razonamiento correcto. Pero no toda regularidad ampliamente observada es una convención: las convenciones incluyen un cierto factor normativo que distingue el comportamiento correcto del incorrecto, mientras que el comportamiento irregular no es automáticamente incorrecto. La lógica suele entenderse como lógica formal y se trata como tal en la mayor parte de este artículo. [8]​ En cambio, la proposición "Marte es rojo y Venus es blanco" se compone de dos proposiciones conectadas por el conectivo proposicional "y". WebDido y Eneas (título original en inglés, Dido and Aeneas) es una ópera en tres actos con música de Henry Purcell y libreto en inglés del dramaturgo y poeta Nahum Tate (1652-1715), basado en su tragedia Brutus of Alba or The Enchanted Lovers y en el canto IV de la Eneida de Virgilio. Esto pone en duda la posibilidad de definir la verdad lógica en términos de convención, a menos que se pueda dar una explicación plausible de cómo convenciones contingentes pueden fundamentar verdades necesarias.[88]​. [16]​ Esto suele ocurrir a través de la abstracción al ver argumentos particulares como instancias de una cierta forma de argumento. Megill, Norman; Wheeler, David A. Esto pone en peligro el enfoque sintáctico incluso cuando se limita a los lenguajes formales. Por ejemplo, un argumento del hombre de paja trata de superar la posición del oponente atribuyéndole una posición débil y luego demostrando que esta posición es falsa. En el siglo XX se han desarrollado varios sistemas formales lógicos, las llamadas "lógicas", y la tarea de la filosofía de la lógica es clasificarlos, mostrar cómo se relacionan entre sí y abordar el problema de cómo puede haber una multitud de lógicas en contraste con una lógica universalmente verdadera. [5]​[68]​ Esta dificultad puede abordarse distinguiendo entre información profunda e información superficial. [8]​ Las inferencias válidas pertenecen a la lógica formal y son asociadas a los argumentos deductivamente válidos. [83]​[81]​ Una consecuencia importante de esta posición es que existe una clara brecha entre los hechos de la lógica en sí y nuestras creencias sobre estos hechos. [5]​[78]​[79]​ Las reglas de inferencia son reglas definitorias: gobiernan qué inferencias son válidas. [4]​ La lógica formal suele considerarse la forma paradigmática de la lógica, pero varios desarrollos modernos han enfatizado la importancia de la lógica informal para muchos propósitos prácticos en los que la lógica formal no puede resolver todos los problemas por sí sola. Una inferencia inductiva involucra proposiciones particulares como premisas, que se utilizan para inferir una proposición particular más o una generalización como conclusión. n Una tarea importante de la filosofía de la lógica es investigar los criterios según los cuales un sistema formal debe contar como lógica. Las proposiciones simples no tienen otras proposiciones como sus partes, pero normalmente se considera que también están constituidas por otras entidades: por partes subproposicionales como términos singulares y predicados. [5]​ La lógica también se ha definido como la ciencia de la argumentación válida. ) [9]​[5]​ En este sentido, la lógica filosófica es un área de investigación dentro de la filosofía de la lógica, es decir, una parte del estudio general de los problemas filosóficos planteados por la lógica. z x Algunas versiones afirman que una proposición es verdadera si creerla es útil, si es el resultado ideal de una investigación interminable o si cumple las normas de asertividad justificada. La proposición "algunos solteros son felices", por otro lado, es sintéticamente verdadera, ya que depende de factores empíricos no incluidos en el significado de sus términos. Las teorías coherentistas, por otro lado, identifican la verdad con la coherencia. o [4]​ También se ha sugerido que puede haber un concepto universal de la lógica que subyace y unifica todos los diferentes sistemas lógicos. [4]​ Los filósofos suelen tratarla como la forma paradigmática de la lógica y se utiliza en varios campos. Las proposiciones sintéticas, por otro lado, se caracterizan por el hecho de que su verdad depende de factores no lógicos o empíricos. [8]​, Incluso cuando se restringe a la lógica modal alética, hay también diferentes tipos de posibilidad y necesidad que pueden significar estos términos. Esto incluye el problema de la verdad, especialmente de la verdad lógica, que puede definirse como verdad dependiendo solo de los significados de los términos lógicos utilizados. [86]​[80]​[87]​ Un problema para esta posición consiste en proporcionar una definición clara del término "convención". ∃ [20]​ Por esta razón, el enfoque semántico también se conoce como la concepción teórica de modelos de la lógica. [70]​[71]​ Esto suele entenderse en términos de probabilidad, es decir, que la evidencia aumenta la probabilidad de que la hipótesis sea verdadera. Se trata, por ejemplo, de las falacias de ambigüedad y de presunción. Por ejemplo, Willard Van Orman Quine ha argumentado que no hay verdades puramente analíticas, es decir, que todas las proposiciones son en cierta medida empíricas. [5]​[15]​ La relación entre las premisas y la conclusión se denomina "consecuencia lógica". Seguir las reglas definitorias determina si uno juega ajedrez u otro juego, mientras que seguir las reglas estratégicas determina si uno es un buen o un mal jugador de ajedrez. [4]​ Esto significaría que cualquier afirmación en la aritmética, como "2 + 2 = 4", puede expresarse en términos puramente lógicos, es decir, sin usar números u operadores aritméticos como la adición. [2]​[89]​ Las matemáticas, por ejemplo, cuantifican sobre números en oraciones como "hay números primos entre 1000 y 1010". WebLas locuciones latinas a priori [1] (‘previo a’) [2] [3] y a posteriori [1] (‘posterior a’) se utilizan para distinguir entre dos tipos de conocimiento: el conocimiento a priori es aquel que, en algún sentido importante, es independiente de la experiencia; [4] mientras que el conocimiento a posteriori es aquel que, en algún sentido importante, depende de la … P [4]​, El término lógica clásica se refiere principalmente a la lógica proposicional y la lógica de primer orden. [57]​ Pero se ha puesto en duda si esta distinción es sostenible. p En su sentido estricto, es idéntico a la lógica modal alética. Desde este punto de vista, las ciencias regulares podrían verse como la búsqueda de premisas verdaderas, mientras que la lógica estudia cómo sacar conclusiones de estas o cualquier premisa. ) [1]​[63]​ Otro problema consiste en el hecho de que algunas oraciones son ambiguas, es decir, que a veces depende de la interpretación de uno si una inferencia es válida o no. Una inferencia es válida si la conclusión se desprende de las premisas, es decir, si la verdad de las premisas asegura la verdad de la conclusión. [4]​ Tal posición puede defenderse basándose en la idea de que, al rechazar algunos supuestos lógicos básicos, incluyen un alejamiento demasiado radical de las intuiciones lógicas fundamentales para ser consideradas lógicas. La lógica libre, por ejemplo, permite términos singulares vacíos, que no denotan ningún objeto en el dominio y, por lo tanto, no conllevan compromisos ontológicos. Según una caracterización común, la lógica filosófica es la parte de la filosofía de la lógica 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. Rejection of Tertium Non Datur», «Constructive Mathematics: 1b Constructivism as Philosophy», «A Modal Theorem-Preserving Translation of a Class of Three-Valued Logics of Incomplete Information», «Varieties of Justification—How (Not) to Solve the Problem of Induction», «The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?», «The Fallacy Files: Informal Logical Fallacy», «Denying the Antecedent: Its Effective Use in Argumentation», «The Justification of the Basic Laws of Logic», «Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof», «Platonism in the Philosophy of Mathematics», «The Formal Sciences: Their Scope, Their Foundations, and Their Unity», «Automated Theorem Proving in Loop Theory», «Part I: The development of propositional logic», «Inhelder and Piaget's the Growth of Logical Thinking†», Routledge Encyclopedia of Philosophy entry, essay on the nature of logic (from organelle.org), https://es.wikipedia.org/w/index.php?title=Filosofía_de_la_lógica&oldid=147950909, Wikipedia:Artículos con texto en griego antiguo, Wikipedia:Artículos que necesitan referencias, Wikipedia:Referenciar (aún sin clasificar), Wikipedia:Páginas con enlaces mágicos de ISBN, Licencia Creative Commons Atribución Compartir Igual 3.0. [4]​ Suele incluir el estudio de la semántica y la sintaxis de los lenguajes formales y los sistemas formales. [64]​ Las proposiciones complejas están formadas por proposiciones simples que están vinculadas entre sí a través de conectivos proposicionales. [15]​ Esto también puede expresarse diciendo que la conjunción de las premisas y la negación de la conclusión es lógicamente imposible. n Una preocupación central en la lógica es si una inferencia deductiva es válida o no. Se ha sugerido que rechazar el principio de bivalencia de la verdad, es decir, que las proposiciones son o verdaderas o falsas, constituye tal caso. Esta relación es estudiada por las teorías de referencia, que tratan de especificar cómo los términos singulares se refieren a los objetos y cómo los predicados se aplican a estos objetos. [52]​[8]​ Según las teorías pragmáticas de la verdad, si una proposición es verdadera depende de su relación con la práctica. [4]​[3]​ Esto incluye la cuestión de cómo debe entenderse este tipo de apoyo o de qué son los criterios bajo los cuales una premisa apoya una conclusión. [5]​ La lógica de primer orden permite la cuantificación solo sobre individuos, en contraste con la lógica de orden superior, que permite la cuantificación también sobre predicados. [2]​[41]​ La lógica de segundo orden, por ejemplo, incluye la cuantificación existencial no solo para los términos singulares sino también para los predicados. Desde este punto de vista, afirmar que una proposición es verdadera es lo mismo que afirmar la proposición misma. Las falacias formales pertenecen a la lógica formal e involucran solo errores de forma al emplear una regla de inferencia inválida. P [13]​[14]​ Esto significa que se trata de la validez de los argumentos independientemente del asunto discutido en estos argumentos. b ◻ [3]​ Estos desarrollos a menudo fueron impulsados por la necesidad de aumentar la flexibilidad expresiva de la lógica y de adaptarla a ámbitos de uso específicos. Pero también incluyen el estudio de los argumentos informales que se encuentran en el lenguaje natural. [2]​[15]​ La lógica proposicional solo se ocupa de la verdad en virtud de conectivos proposicionales, mientras que la lógica de predicados también investiga las verdades basadas en el uso de cuantificadores e identidad. El error en este ejemplo se debe a una premisa falsa perteneciente a la astronomía empírica. [2]​[15]​ Por ejemplo, la oración "si llueve, entonces llueve" es verdadera solo en virtud de su forma lógica, porque todas las sustituciones de este tipo, como sustituir la expresión "Sócrates es sabio" por la expresión "llueve", también resultan en oraciones verdaderas. [4]​ Se ha argumentado que un requisito central es que las marcas y el modo en que se manipulan puedan interpretarse de tal manera que reflejen las intuiciones básicas sobre los argumentos válidos. a [18]​, Un problema con el enfoque sintáctico es que el uso del lenguaje formal es central para él. Los criterios de inferencia válida y de verdad lógica pueden especificarse a su vez de diferentes maneras: basándose en consideraciones sintácticas o semánticas. WebEl aprendizaje es el proceso a través del cual se adquieren y desarrollan habilidades, conocimientos, conductas y valores. Esto se refleja en el hecho de que los teoremas de la lógica clásica son válidos en ellas. [44]​[45]​[46]​[47]​ La lógica libre difiere de la lógica clásica porque tiene menos presuposiciones existenciales: permite expresiones no denotativas, es decir, términos individuales que no se refieren a objetos dentro del dominio. De … Hay dos formas importantes de especificar estos criterios: el enfoque sintáctico y el semántico, a veces también llamados enfoque deductivo y enfoque de teoría de modelos. " implican compromisos ontológicos con la existencia de manzanas y Pegaso, respectivamente. Se basa en 20 axiomas de la lógica proposicional, la lógica de predicados de primer orden y la teoría de conjuntos de Zermelo-Fraenkel, y ya ha demostrado una cantidad significativa de teoremas matemáticos basados en estos axiomas. [5]​ Esto significa que, para un argumento válido, no es posible producir premisas verdaderas con una conclusión falsa al sustituir sus constituyentes con elementos pertenecientes a categorías similares mientras se mantienen las constantes lógicas en su lugar. Tal función asigna constantes individuales a elementos individuales del dominio y predicados a tuplas de elementos del dominio. Por un lado, las teorías de orden superior son incompletas: no es posible demostrar todas las oraciones verdaderas a partir de los axiomas de esta teoría. [12]​, Una característica central de la lógica es su neutralidad temática. [1]​[77]​ Esto es similar a las cuestiones encontradas en la metaética sobre cómo justificar las normas morales. [32]​ Se ocupa de un pequeño número de conceptos lógicos centrales y especifica el papel que desempeñan estos conceptos en hacer inferencias válidas. x La verdad lógica suele entenderse en términos de la distinción analítico-sintética: una proposición es analíticamente verdadera si su verdad solo depende de los significados de los términos que la componen. [1]​[2]​ Como muchas otras disciplinas, la lógica involucra varios presupuestos filosóficos que son abordados por la filosofía de la lógica. c Blair, J. Anthony; Johnson, Ralph H. (2000). Ambas se consideran ciencias formales y, en muchos casos, los desarrollos en estos dos campos ocurrieron en paralelo. Esta página se editó por última vez el 15 dic 2022 a las 18:02. Este aviso fue puesto el 10 de marzo de 2022. ∃ Las formas de argumentos se definen por cómo sus constantes lógicas y variables se relacionan entre sí. [85]​ Un argumento a favor del psicologismo se basa en la idea de que la lógica es una subdisciplina de la psicología: no estudia todas las leyes del pensamiento, sino solo el subconjunto de leyes correspondientes al razonamiento válido. Los términos singulares representan objetos y los predicados representan propiedades o relaciones entre estos objetos. [84]​ Otro problema es explicar la relación entre el mundo único y la pluralidad de los diferentes sistemas lógicos propuestos. [8]​ Esto es necesario para que puedan cumplir su rol lógico. WebLa comunicación no verbal consiste en transmitir significados en la forma de mensajes no verbales. [58]​[56]​[55]​ Pero otros han defendido explícitamente la distinción analítico-sintética contra la crítica de Quine. [17]​ Fue concebida inicialmente por Alfred Tarski y caracteriza la verdad lógica no en relación con las constantes lógicas utilizadas en las oraciones, sino con base en las estructuras teóricas de conjuntos que se utilizan para interpretar estas oraciones. WebTrayectoria vital. Desde este punto de vista, una inferencia es válida si es conforme con una regla de inferencia apropiada. Por lo tanto, Otelo no es hombre". Pedemonte, Bettina (25 de junio de 2018). [8]​ En el caso más simple, estos conectivos son conectivos funcionales de verdad: el valor de verdad de la proposición compleja es una función de los valores de verdad de sus constituyentes. [2]​[93]​[94]​, La cuestión de la existencia trae consigo sus propios problemas en el caso de las lógicas de orden superior. [3] La lógica se divide en varias categorías según su campo de estudio. Su vida es poco conocida, debido a que vivió en Alejandría (ciudad situada al norte de Egipto) durante el reinado de Ptolomeo I.Ciertos autores árabes afirman que Euclides nació en Tiro y vivió en Damasco. [16]​[23]​ Esto trae consigo la necesidad de estudiar no solo la forma general del argumento en cuestión, sino también los contenidos utilizados como premisas de este argumento y el contexto en el que se utiliza este argumento. Las diferentes concepciones de la lógica pueden distinguirse en función de si definen la lógica como el estudio de la inferencia válida o de la verdad lógica. " se utilizan para expresar que la oración que les sigue es posible o necesariamente verdadera. [39]​[40]​ Desde este punto de vista, decir que algo es necesariamente verdadero es decir que es verdadero en todos los mundos posibles accesibles. [1]​ Un enfoque de este tema es caracterizar las normas de la lógica como generalizaciones de las prácticas inferenciales que se encuentran en el lenguaje natural o en las ciencias. En este caso, no importa cómo se defina la función de interpretación y el dominio de los objetos a los que apunta, la oración siempre es verdadera. {\displaystyle \Box } ◊ [8]​[3]​ Esta concepción trae consigo el principio de explosión, es decir, que de una contradicción se sigue cualquier cosa. [55]​ Esto a veces se expresa afirmando que las verdades analíticas son tautologías, cuya negación implicaría una contradicción, mientras que es posible que las proposiciones sintéticas sean verdaderas o falsas. [5]​, Las lógicas extendidas aceptan los axiomas y el vocabulario básico de la lógica clásica. [3] La filosofía de la lógica puede entenderse en analogía con otras ramas de la filosofía específicas de … {\displaystyle \exists x(Manzana(x)\land Dulce(x))} WebNo se debe confundir a la epistemología con: La gnoseología.Muchos autores franceses e ingleses identifican el término «epistemología» con lo que en español se denomina «gnoseología» o «teoría del conocimiento», rama de la filosofía que se ocupa del conocimiento en general: el ordinario, el filosófico, el científico, el matemático, etc. [1]​[50]​[2]​ En este sentido, rechaza el principio de bivalencia de la verdad. Uno se debe al hecho de que el significado de las oraciones generalmente depende del contexto. Incluye el estudio de la naturaleza de los conceptos fundamentales usados por la lógica y la relación de la lógica con otras disciplinas. [5]​, La lógica informal, por otro lado, tiene una orientación más concreta en el sentido de que trata de evaluar si una instancia específica de un argumento es buena o mala. s (2 de junio de 2019). [91]​ Otro problema se debe al hecho de que el lenguaje natural contiene muchos nombres para entidades imaginarias, como Pegaso o Papá Noel. g " y " Esto significaría, por ejemplo, que existen valores de verdad y que el comportamiento de algunas marcas se corresponde con el de operadores lógicos como la negación o la conjunción. WebLa lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones … Por lo tanto, si la proposición es una consecuencia lógica depende no solo de las premisas, sino también del sistema deductivo utilizado. Si la lógica se define como el estudio de la inferencia válida o de la verdad lógica deja abiertos sus criterios exactos. Las lógicas de orden superior permiten la cuantificación no solo sobre individuos sino también sobre predicados, como en Otra distinción entre las concepciones de la lógica se basa en si los criterios de inferencia válida y de verdad lógica se especifican en términos de sintaxis o de semántica. Pueden clasificarse como falacias formales o informales, dependiendo de si pertenecen a la lógica formal o informal. De esta manera, diferentes argumentos con contenidos muy diferentes pueden tener la misma forma lógica. Pero van más allá de la lógica clásica al incluir nuevos símbolos y teoremas adicionales. [4]​ La filosofía de la lógica también investiga cómo entender los conceptos más fundamentales de la lógica, como verdad, premisas, conclusiones, inferencia, argumento y validez. [8]​ Pero las inferencias válidas también pueden caracterizarse en términos de reglas de inferencia. [1]​ Un enfoque alternativo sostiene que solo las oraciones pueden actuar como premisas y conclusiones. Stoljar, Daniel; Damnjanovic, Nic (2014). Son los únicos miembros de ISO con derecho a voto. Si un número divide a y , es decir, | y |, diremos que es divisor común de y . WebEl empirismo lógico, también llamado neopositivismo o positivismo lógico , es una corriente en la filosofía de la ciencia que limita la validez del método científico a lo empírico y verificable.Esta limitación, conocida como verificacionismo, prohíbe inducir una regla general a partir de observaciones particulares, lo cual eventualmente despertó críticas sobre la … Otra relación importante con la lógica consiste en el desarrollo de software lógico que puede ayudar a los lógicos a formular pruebas o incluso automatizar el proceso. Las reglas de inferencia especifican qué pasos están permitidos, pero guardan silencio sobre qué pasos deben tomarse para llegar a una cierta conclusión. [2]​[5]​ Según este punto de vista, una proposición es una consecuencia lógica de un grupo de premisas si y solo si la proposición es deducible de estas premisas. [1]​[4]​ Utilizan axiomas diferentes a los de la lógica clásica, que a menudo son más limitantes con respecto a qué inferencias son válidas. [2]​ Metamath es un ejemplo de tal proyecto. [2]​[48]​ Pero hablar de la existencia como un predicado es controvertido. {\displaystyle \exists x(Manzana(x))} P [1]​ Como ciencia formal, contrasta con las ciencias materiales o empíricas, como la física o la biología, ya que se ocupa principalmente de las relaciones inferenciales entre proposiciones, pero no de si estas proposiciones son realmente verdaderas. Pero muchas inferencias sacadas en las ciencias empíricas y en el discurso cotidiano son inferencias ampliativas. WebTexto lingüístico. a [86]​ Otro problema es que las convenciones son contingentes, mientras que las verdades lógicas son necesarias. [5]​ Las reglas de inferencia gobiernan la transición de las premisas a la conclusión. [3]​ Prover9 es un ejemplo de un probador de teoremas automatizado para la lógica de primer orden. [5]​[26]​ Esto es necesario, ya que la lógica formal solo se define para un lenguaje formal específico: por lo tanto, no es directamente aplicable a muchos argumentos expresados de manera diferente. [56]​ En este sentido, la proposición "ningún soltero es un hombre casado" es analíticamente verdadera, ya que no estar casado forma parte de la definición del término "soltero". [5]​ Una distinción entre los conceptos no lógicos es entre términos singulares y predicados. a Las convenciones son regularidades ampliamente observadas. [2]​[17]​[20]​ La idea detrás de este enfoque es que las oraciones no son verdaderas o falsas por sí mismas, sino que solo son verdaderas o falsas en relación con una interpretación. [85]​ Otro argumento se centra en la tesis de que aprendemos sobre las verdades lógicas a través del sentimiento de autoevidencia, que a su vez es estudiado por la psicología. [15]​[17]​[18]​ El enfoque sintáctico trata de captar estas características basándose únicamente en las características sintácticas o formales de las premisas y la conclusión. [91]​ Esto significaría que el compromiso ontológico con la existencia de los números, es decir, el realismo sobre los números, ya está integrado en las matemáticas. [5] Fue compuesta en una fecha indeterminada, no posterior a 1688 [6] y posee … [19]​[36]​ Una oración es verdadera solo en virtud de las constantes lógicas si todos los términos no lógicos pueden sustituirse libremente por otros términos del tipo apropiado sin afectar ningún cambio en el valor de verdad de la oración. [4]​ Estas dificultades han llevado a algunos teóricos a dudar de que la lógica tenga un alcance claramente especificable o un carácter esencial. j [91]​[2]​[89]​[4]​, Un problema con este enfoque es que puede llevar a varios compromisos ontológicos controvertidos. La lógica intuicionista, por ejemplo, rechaza el principio del tercero excluido, que es una forma válida de inferencia en la lógica clásica. [5]​ Por lo tanto, presupone un lenguaje formal que puede ser estudiado desde una perspectiva externa a sí mismo. WebDefinición y disciplinas relacionadas. La lógica suele definirse como el estudio de las inferencias válidas o correctas. Un argumento se compone de las premisas, la conclusión y la relación entre ellas. [5]​ Se ha argumentado que el enfoque casi exclusivo de los lógicos en las reglas definitorias de la lógica no está justificado. [24]​[23]​, La lógica informal no se enfrenta a la necesidad de traducir los argumentos del lenguaje natural a un lenguaje formal para poder evaluarlos. WebLa lógica es una rama de la filosofía [1] de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, [2] las falacias, las paradojas y la noción de verdad. La lógica se ha ocupado principalmente de las reglas definitorias, es decir, de la cuestión de qué reglas de inferencia determinan si un argumento es válido o no. [8]​, Una inferencia es el proceso de razonamiento desde premisas hasta una conclusión. [20]​[17]​ Las interpretaciones suelen entenderse en términos de la teoría de conjuntos como funciones entre los símbolos utilizados en la oración y un dominio de objetos. r Es una ciencia formal que investiga cómo las conclusiones se derivan de las premisas de una manera neutral al tema, es decir, independientemente del asunto específico discutido. [5]​[2]​ Esto significaría que solo los sistemas formales que son completos deberían entenderse como sistemas lógicos. Tales traducciones pueden ser un desafío, ya que los lenguajes formales suelen ser bastante restrictivos. Se basó en el núcleo del sistema operativo Windows CE y contó con un conjunto de aplicaciones básicas utilizando las API de Microsoft Windows.Estaba diseñado para ser similar a las versiones de … [28]​[27]​, Se puede establecer una distinción importante entre las falacias a partir de estas fuentes de error: la que existe entre las falacias formales y las informales. Las falacias formales son falacias dentro del ámbito de la lógica formal, mientras que las falacias informales pertenecen a la lógica informal. Otra señala que las leyes psicológicas suelen ser vagas, mientras que la lógica es una ciencia exacta con leyes claras. Si bien hay poca controversia en los casos paradigmáticos, hay varios casos límite en los que parece no haber buenos criterios para decidir la cuestión. [1]​ En este sentido, las lógicas desviadas suelen considerarse rivales de la lógica clásica, mientras que las lógicas extendidas son suplementos de la lógica clásica. [27]​[29]​[30]​[31]​, Dentro del ámbito de la lógica formal, una distinción importante es entre la lógica clásica y la no clásica. [36]​[37]​ Un ejemplo es la fórmula [2]​[95]​[96]​, Las matemáticas y la lógica están relacionadas de varias maneras. A menudo se identifican tres factores como las fuentes del error: forma, contenido y contexto. o Pero si se incluye la teoría de conjuntos o la lógica de orden superior, entonces la aritmética es reducible a la lógica. WebAcontecimientos Enero. [4]​ Una caracterización estrechamente relacionada sostiene que la lógica se ocupa de la forma de los argumentos más que de su contenido. La corrección de los argumentos puede depender de otros factores además de su forma, como su contenido o su contexto. [2]​[41]​[4]​ Esta posición se conoce como realismo y a menudo se rechaza en la filosofía contemporánea debido a consideraciones naturalistas. [19]​[2]​[15]​, Hay varias discusiones sobre la naturaleza de premisas y conclusiones. 2 de enero: en la Unión Soviética se pone en circulación el nuevo rublo. Esto plantea problemas para generalizar sus ideas a la lógica del lenguaje en general como un medio que lo abarca todo. Pero no se desprende que "Kelly es aficionada al fútbol". Las lógicas desviadas, por otro lado, rechazan ciertos supuestos básicos de la lógica clásica y, por lo tanto, son incompatibles con ella. Un problema con la caracterización de las inferencias deductivas como no informativas es que esto parece sugerir que son inútiles, es decir, no explica por qué alguien las utilizaría o estudiaría. Esta idea tenía implícito el concepto de crear un método equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosóficas; pero precisamente por su estrecha vinculación con especulaciones filosóficas sobre numerosos temas como la metafísica y la teodicea, el concepto quedó largo tiempo olvidado. «Logical Consequence, Model-Theoretic Conceptions», «Logical Consequence, Deductive-Theoretic Conceptions of», «The Relation Between Formal and Informal Logic», «Intuitionistic Logic: 1. [85]​, El convencionalismo es otra forma de antirrealismo, en la que las verdades lógicas dependen de los significados de los términos utilizados, que a su vez dependen de las convenciones lingüísticas adoptadas por un grupo de agentes. Son "desviadas" en el sentido de que son incompatibles con la lógica clásica y pueden verse como sus rivales. → [8] No existe ninguna fuente directa sobre la vida de Euclides: no se dispone de ninguna carta, de ninguna indicación autobiográfica (incluso, bajo la forma … El defensor más famoso de este enfoque es Willard Van Orman Quine, quien argumenta que los compromisos ontológicos de cualquier teoría pueden determinarse traduciéndola a la lógica de primer orden y leyéndolos a partir de los cuantificadores existenciales utilizados en esta traducción. [1]​ Las inferencias y los argumentos pueden ser correctos o incorrectos. Las teorías dentro de la metafísica de la lógica pueden dividirse a grandes rasgos en posiciones realistas y no realistas. La metalógica está estrechamente relacionada con la filosofía de la lógica como la disciplina que investiga las propiedades de los sistemas lógicos formales, como la consistencia y la completitud. [1]​ Pero este aumento del poder expresivo tiene ciertos costos. Por ejemplo, dado que la lógica temporal habla del tiempo, esto llevaría a la conclusión implausible de que el tiempo pertenece a la forma y no al contenido de los argumentos. La diferencia entre las reglas definitorias y las estratégicas se encuentra no solo en la lógica, sino también en varios juegos. [1]​[5]​ Por ejemplo, se desprende de "Kelly está o en casa o en el trabajo" y "Kelly está en casa" que "Kelly no está en el trabajo". Las lógicas extendidas aceptan el formalismo básico y los axiomas de la lógica clásica, pero los extienden con un nuevo vocabulario lógico. [3]​ Pero esta forma de distinción no es universalmente aceptada y algunos autores han propuesto caracterizaciones diferentes. a [20]​[17]​ Una oración es lógicamente verdadera si es verdadera en todas las interpretaciones, es decir, si cada interpretación es un modelo de esta oración. C [81]​ Según una definición propuesta por Sandra LaPointe, el realismo lógico consiste en dos tesis: que existen hechos lógicos y que son independientes de nuestra constitución y nuestras prácticas cognitivas y lingüísticas. [5]​[66]​[67]​ La forma más prominente de inferencia ampliativa es la inducción. {\displaystyle \exists P(P(mary)\land P(john))} ∧ [1]​[41]​[42]​[43]​ El aumento del poder expresivo de las lógicas de orden superior es especialmente relevante para las matemáticas. n WebLa lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor … [1]​, Esta concepción evita los problemas del enfoque sintáctico asociados a la dificultad de distinguir entre símbolos lógicos y no lógicos. [89]​ El tema de la existencia está estrechamente relacionado con los términos singulares, como los nombres, y con los cuantificadores existenciales ( Dentro de la ontología, estos problemas se abordan a veces a través del platonismo o psicologismo al sostener que las entidades problemáticas existen, pero solo en forma de objetos abstractos o mentales, mientras carecen de existencia concreta o material. Si "lógica" solo se refiere a los axiomas de la lógica de predicados de primer orden, es falsa. ( [4]​ Las lógicas desviadas, por otro lado, rechazan ciertas suposiciones centrales de la lógica clásica. (hay algunas manzanas que son dulces). Este enfoque ha sido rechazado por varios filósofos, ya que ha resultado difícil especificar criterios de identidad claros para estos tipos de entidades. Por ejemplo, un número infinito de axiomas es necesario para la aritmética de Peano y la teoría de conjuntos de Zermelo-Fraenkel en la lógica de primer orden, mientras que la lógica de segundo orden solo necesita un puñado de axiomas para hacer el mismo trabajo. ( [3]​, Tradicionalmente, la lógica y la filosofía de la lógica se han centrado principalmente en los argumentos formales, es decir, en los argumentos expresados en un lenguaje formal. [5]​ En este formalismo, la validez de los argumentos solo depende de la estructura del argumento, específicamente de las constantes lógicas utilizadas en las premisas y la conclusión. (hay algunas cualidades que comparten Mary y John). WebAquiles era el hijo del mortal Peleo, rey de los mirmidones en Ftía (sureste de Tesalia), y de la ninfa marina Tetis. [19]​[2]​, El enfoque semántico, en cambio, se centra en la relación entre el lenguaje y la realidad. [16]​ Esto significa que el mismo argumento puede ser tanto bueno, cuando se usa en un contexto, como malo, cuando se usa en otro contexto. [2]​ Las lógicas extendidas introducen aún más constantes lógicas, como posibilidad y necesidad en la lógica modal. WebLa lógica es una rama de la filosofía [1] de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, [2] las falacias, las paradojas y la noción de verdad. n [4]​ Un problema con esta caracterización es que no siempre está claro cómo deben entenderse los términos "neutralidad temática" y "asunto" en este contexto. [16]​[15]​[1]​[3]​ Otra forma de definir la lógica es como el estudio de la verdad lógica. ISO tiene tres categorías de miembros: [2] Los Cuerpos miembro son cuerpos de normalización nacionales considerados los más representativos de cada país. En cambio, una proposición lógicamente verdadera es verdadera en todos los mundos posibles. [1] La experiencia suele entenderse como un evento consciente.A veces se limita a ciertos tipos de conciencia, como la percepción o la sensación, a través de … La filosofía de la lógica también investiga la naturaleza y las implicaciones filosóficas de los conceptos fundamentales de la lógica. [98]​ A menudo se afirma que las matemáticas pueden, en principio, basarse solo en la lógica de primer orden junto con la teoría de conjuntos. Sin embargo, los términos "inferencia", "argumento" y "consecuencia lógica" a menudo se usan indistintamente. [2]​ Por otra parte, ignora la relación entre lenguaje y mundo, ya que define la verdad basándose en la interpretación que tiene lugar únicamente entre los símbolos y los objetos teóricos de conjuntos. [4]​[3]​ El monismo es la tesis de que solo una lógica es correcta, mientras que el pluralismo permite que diferentes sistemas lógicos alternativos sean correctos para diferentes áreas del discurso. [5]​[78]​[79]​ En el ajedrez, por ejemplo, las reglas definitorias especifican que los alfiles solo pueden moverse en diagonal, mientras que las reglas estratégicas describen cómo se pueden usar los movimientos permitidos para ganar una partida, por ejemplo, controlando el centro o protegiendo al propio rey. Pero la filosofía de la lógica también se ocupa de las lógicas no clásicas o alternativas. Otros campos relacionados incluyen la informática y la psicología. Pero esta caracterización también tiene sus problemas debido a las dificultades para distinguir entre forma y contenido. La obra culminante de la lógica simbólica, la constituye "Principia mathematica" de Sir Bertrand Russell (Inglaterra, 1872-1970) y Alfred North Whitehead (Inglaterra, 1861 - E.U.A., 1947), realizada en tres tomos, entre los años 1910 y 1913. Teniendo clara conciencia de la forma en que, desde el fondo de los siglos, se proyecta hacia nosotros el esfuerzo intelectual de Aristóteles para habilitarnos a pensar correctamente; el empleo de las reglas de la lógica en otros campos, tales como las decisiones en el orden de la vida personal, política, económica y jurídica - en muchos de cuyos aspectos no suele ser frecuente aplicarla - debiera ser una importante preocupación para todos. Fue así que la lógica matemática - también llamada lógica simbólica - se desarrolló efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra "Investigación de las leyes del pensamiento en que se fundan las teorías matemáticas de la lógica y la probabilidad", en que se originara la conocida como "álgebra booleana"; que conjuntamente con Frege consiguió construir cálculos lógicos rigurosamente formalizados, que permitieron aplicar a los problemas lógicos los procedimientos matemáticos. [5]​ Esto incluye la cuestión de cómo distinguir los sistemas formales lógicos de los no lógicos. [3]​ Los sistemas formales de la lógica son sistematizaciones de verdades lógicas basadas en ciertos principios llamados axiomas. [5]​ En cuanto a la lógica formal, una pregunta central en la filosofía de la lógica es qué hace que un sistema formal constituya un sistema de la lógica en lugar de una colección de meras marcas junto con reglas sobre cómo deben manipularse. La lógica filosófica estudia el concepto y la definición, la enunciación … [5]​, Tradicionalmente, la lógica suele entenderse como la disciplina que investiga las leyes del pensamiento. h ◻ [12]​ Por ejemplo, deducir de la proposición "todas las lunas están hechas de queso" que "la luna de la Tierra está hecha de queso" es una inferencia válida. La metafísica de la lógica se ocupa del estado metafísico de las leyes y los objetos de la lógica. [101]​, Se puede establecer una conexión muy estrecha entre la psicología y la lógica si la lógica se ve como la ciencia de las leyes del pensamiento. [5]​[78]​[79]​ Este es el ámbito de las reglas estratégicas. Esto depende de si las premisas realmente apoyan la conclusión o no, es decir, de si la conclusión se desprende de las premisas. La lógica filosófica estudia el concepto y la definición, la … ∃ e Esto sugeriría que solo hay una lógica verdadera y que todos los demás sistemas lógicos son falsos o incompletos. [25]​[28]​ Un argumento incorrecto en el nivel de contenido usa proposiciones falsas como premisas. [2]​ Por un lado, comparte el problema con el enfoque sintáctico de necesitar un metalenguaje para abordar el problema de la verdad. n
Arctic Monkeys Perú Entradas, Esquema De Una Guía Didáctica, Trabajos En Sullana Para Mujeres, Unam Medicina Moquegua, Como Se Llama El Papá De 11 Stranger Things, Bloqueo De Carreteras Hoy En México, Gerente General Objetivo, Como Demostrar Que Trabajo Sin Contrato, Operaria De Producción Mujeres Computrabajo,