Resultados de la búsqueda

…is]] usando las herramientas de la [[lógica]], en particular el simbolismo del [[cálculo proposicional]] y el [[cálculo de predicados]]. Oraciones distint …te mediante un [[lenguaje formal]], a diferencia de lo que ocurre con un [[lenguaje natural]]. En este caso, la forma lógica sería <math>aAe</math>, mientras… …

…s afirmaciones. Las distinciones son muy reconocidas en la [[filosofía del lenguaje]] y la [[metafísica]]. A partir de la frase «José busca al perpetrador del crimen» podemos realizar las siguientes interpretaciones: …

* [[Afirmación del consecuente]] * [[Negación del antecedente]] …

…lo paradójico de estas fórmulas, podemos considerar algunos ejemplos en el lenguaje natural. Según la lógica clásica, todas estas oraciones son verdades lógica …ror reside en la [[Función de verdad|interpretación veritativo-funcional]] del condicional «si..., entonces...», y por lo tanto se han propuesto varias al …

…erbo "noscere" (conocer, notar) con el sentido "acción de conocer" o "acto del conocimiento" (anteriormente "gnoscere"). * '''[[Definición]] de algo''' como consecuencia del significado anterior. …

…s en caída (s. XVII) fue idéntica la demostración geométrica del ''teorema del valor medio'', hecha por [[Nicolás Oresme]] en el {{siglo|XIV||s}}.]] …de Merton College]], de la [[Universidad de Oxford]], en la primera mitad del {{siglo|XIV||s}}. También estuvo muy presente en escritos de personalidades …

{{referencias|t=20080429|filosofía}} Un '''autómata probabilístico''' es una generalización del [[Autómata finito|automáta finito]] no determinista; incluye la probabilida …

…imamente relacionada con el [[Argumento del lenguaje privado|Argumento del Lenguaje Privado]], la paradoja ofrece una crítica a la idea de que el significado… …[[Significado|naturaleza del significado]] y la [[Pensamiento|normatividad del pensamiento]].<ref name=":0">Por ejemplo, G.P. Baker y P.M.S. Hacker, "Skep …

…ncia''. Según Frege, el sentido y la referencia son dos aspectos distintos del [[significado]]. Para él, tanto las expresiones de objeto como las de conce …[referencia]] (en estos dos casos, [[Aristóteles]]). El objetivo principal del artículo es mostrar que, además de la referencia, el [[significado]] de est …

| pie de imagen = La página del título de la edición original de 1879 '''''Begriffsschrift''''' —del alemán, aproximadamente "escritura de conceptos", "notación de conceptos"— …

…oral]],<ref>La primera parte del libro fue su tesis de [[habilitación]] en filosofía en la [[Universidad de Leipzig]]. Leibniz defendió su tesis en marzo de 166 La idea principal detrás del texto es la de un alfabeto del pensamiento humano, que se atribuye a [[René Descartes|Descartes]]. Todos… …

…también conocido como '''eliminación de la disyunción''' o '''eliminación del «o»''', abreviado '''∨E''',<ref>Sanford, David Hawley. 2003. ''If P, Then… == Ejemplos de lenguaje natural == …

…no conviene al sujeto, manifestando la [[identidad (filosofía)|identidad]] del sujeto como ser mediante las notas o [[propiedad (lógica)|propiedades]] que …e no contradicción|contradicción]]. El juicio manifiesta la verdad del ser del sujeto. …

…de los más significativos e influyentes ensayos [[filosofía|filosóficos]] del {{siglo|XX||s}}, escrito por [[Bertrand Russell]]. Fue publicado en la revi …920 [[Frank P. Ramsey]] se refirió al ensayo como "ese [[paradigma]] de la filosofía<ref>{{Obra citada …

…ble.<ref>{{Cita libro|título=Filosofia del lenguaje, lógica, filosofia del lenguaje y metafísica|url=https://books.google.com.mx/books?id=uj3sAvy537oC&pg=PA229 …contradicción]] y el [[principio de identidad]], una de las leyes clásicas del pensamiento occidental.<ref>{{Cita enciclopedia |título=laws of thought |en …

…stros desordenados en una única construcción, como en las estructuras [[C (lenguaje de programación)|C]] y los registros [[Haskell]]. …tion Framework|Resource Description Framework (RDF)]], en lingüística y en filosofía. …

…[[Ludwig Wittgenstein]], quienes estaban fuertemente influenciados por la filosofía de Frege. …son puramente objetivas: las matemáticas son completamente independientes del pensamiento humano. Las entidades matemáticas, según Frege, tienen [[Propie …

…historiadores de la filosofía han encontrado precursores del argumento del lenguaje privado en varias obras previas a Wittgenstein, sobre todo en los trabajos …n tres sub-argumentos. Por ello, es frecuente hablar de ''argumentos'' del lenguaje privado: …

…''' enumera y describe los [[símbolo no lógico|signos no lógicos]] de un [[lenguaje formal]]. En [[álgebra universal]], enumera las operaciones que caracteriza …ormadas construidas a partir de los signos de esa simbología junto con los del sistema lógico. …

En [[filosofía]] y [[lógica]], el término '''proposición''' se usa para referirse a:<ref… …erpretable (ya que existen por ejemplo cadenas de signos u oraciones de un lenguaje que carecen de un [[referente]] o interpretación bien definidos). …