Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Predicado (lógica)

Índice Predicado (lógica)

En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.

76 relaciones: A priori y a posteriori, Amonio Saccas, Apófansis, Argumento, Argumento ontológico, Asociacionismo, Atributo (filosofía), Augustus De Morgan, Avicena, Étienne Bonnot de Condillac, Concepto, Conjunto, Conocimiento, Constante lógica, Contingente, Creencia, Cuantificador, Definición, Elemento de un conjunto, Empirismo, Entidad, Enunciado, Esencia, Evidencia, Existencia, Experiencia, Francis Herbert Bradley, Francisco Romero (filósofo), Función proposicional, Hilary Putnam, Idea, Identidad (filosofía), Individuo, Innatismo, Intuición, Jeremy Bentham, John Stuart Mill, Juan Gerson, Juicio (pensamiento), Juicio de términos, Lógica, Lógica aristotélica, Lógica de clases, Lógica de Port-Royal, Lógica de primer orden, Lógica de relaciones, Lógica de segundo orden, Lógica matemática, Lógica proposicional, Lo real, ..., Metafísica, Metodología, Necesario, Noam Chomsky, Noción, Nombre, Oración (gramática), Oración copulativa, Predicado (gramática), Predicado (lógica), Principio de no contradicción, Propiedad (lógica), Proposición, Racionalismo, Realidad, Relación de equivalencia, René Descartes, Saul Kripke, Semántica formal, Sujeto (filosofía), Sustancia, Tomás de Aquino, Valor de verdad, Variable proposicional, Verdad, William Rowan Hamilton. Expandir índice (26 más) »

A priori y a posteriori

Las locuciones latinas a priori (‘previo a’) y a posteriori (‘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; mientras que el conocimiento a posteriori es aquel que, en algún sentido importante, depende de la experiencia.

¡Nuevo!!: Predicado (lógica) y A priori y a posteriori · Ver más »

Amonio Saccas

Amonio Saccas o Amonio Sacas (o también Sakkas; griego: Ἀμμώνιος Σακκᾶς; en latín: Ammonius Saccas; ca. 175-242) fue un filósofo de Alejandría del considerado con frecuencia como fundador del neoplatonismo.

¡Nuevo!!: Predicado (lógica) y Amonio Saccas · Ver más »

Apófansis

Apófansis (del griego ἀπόφανσις, substantivo derivado de ἀποφαίνω, «mostrar») es, según Aristóteles, una oración o un discurso en los que se da la verdad o la falsedad.

¡Nuevo!!: Predicado (lógica) y Apófansis · Ver más »

Argumento

Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento o idea mediante el cual se intenta probar, refutar o incluso justificar una proposición o tesis.

¡Nuevo!!: Predicado (lógica) y Argumento · Ver más »

Argumento ontológico

El argumento ontológico es un argumento filosófico deductivo a priori a favor de la existencia de Dios.

¡Nuevo!!: Predicado (lógica) y Argumento ontológico · Ver más »

Asociacionismo

El asociacionismo es el paradigma que sirve de justificación teórica a las técnicas asociativas basándose en el postulado, defendido por esta corriente psicológica, de que la asociación es el mecanismo que explica cualquier actividad del ser humano.

¡Nuevo!!: Predicado (lógica) y Asociacionismo · Ver más »

Atributo (filosofía)

El atributo en filosofía es una forma, propiedad o cualidad que manifiesta un ser.

¡Nuevo!!: Predicado (lógica) y Atributo (filosofía) · Ver más »

Augustus De Morgan

Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871) fue un matemático y lógico británico nacido en la India.

¡Nuevo!!: Predicado (lógica) y Augustus De Morgan · Ver más »

Avicena

Ibn Sina, latinizado como Avicena es el nombre por el que se conoce en la tradición occidental a Abū ‘Alī al-Husayn ibn ‘Abd Allāh ibn Sĩnã (en persa: ابو علی الحسین ابن عبدالله ابن سینا; en árabe: أبو علي الحسین بن عبدالله بن سینا; Bujará, Gran Jorasán, c. 980-Hamadán, 1037), un polímata, médico, filósofo, astrónomo y científico persa perteneciente a la Edad de Oro del Islam.

¡Nuevo!!: Predicado (lógica) y Avicena · Ver más »

Étienne Bonnot de Condillac

Étienne Bonnot de Condillac, abate de Mureau (Grenoble, 30 de septiembre de 1714-Beaugency, abadía de Flux, 3 de agosto de 1780), fue un sacerdote, filósofo y economista francés de la segunda Ilustración.

¡Nuevo!!: Predicado (lógica) y Étienne Bonnot de Condillac · Ver más »

Concepto

Los conceptos (del latín: conceptus) «son las unidades más básicas de toda forma de conocimiento humano»; por medio de las cuales comprendemos las experiencias.

¡Nuevo!!: Predicado (lógica) y Concepto · Ver más »

Conjunto

En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.

¡Nuevo!!: Predicado (lógica) y Conjunto · Ver más »

Conocimiento

El conocimiento es la familiaridad, la conciencia o la comprensión de alguien o de algo, como pueden ser los hechos (conocimiento descriptivo), las habilidades (conocimiento procedimental) o los objetos (conocimiento por familiaridad).

¡Nuevo!!: Predicado (lógica) y Conocimiento · Ver más »

Constante lógica

En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,Véase la introducción de y por extensión la validez o invalidez de los argumentos.

¡Nuevo!!: Predicado (lógica) y Constante lógica · Ver más »

Contingente

Se llama contingente al cupo de soldados que da cada pueblo para las quintas.

¡Nuevo!!: Predicado (lógica) y Contingente · Ver más »

Creencia

Las creencias son estados de la mente en los que uno supone que algo es verdadero o probable.

¡Nuevo!!: Predicado (lógica) y Creencia · Ver más »

Cuantificador

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).

¡Nuevo!!: Predicado (lógica) y Cuantificador · Ver más »

Definición

Una definición es una proposición o conjunto de proposiciones que exponen de manera unívoca y con precisión la comprensión de un concepto, término o dicción o –si consta de dos o más palabras– de una expresión o locución.

¡Nuevo!!: Predicado (lógica) y Definición · Ver más »

Elemento de un conjunto

En teoría de conjuntos, un elemento o miembro de un conjunto (o familia de conjuntos) es un objeto que forma parte de ese conjunto (o familia).

¡Nuevo!!: Predicado (lógica) y Elemento de un conjunto · Ver más »

Empirismo

El empirismo es una teoría filosófica que enfatiza el papel de la experiencia y la evidencia, especialmente la percepción sensorial, en la formación de ideas y adquisición de conocimiento, sobre la noción de ideas innatas o tradición.

¡Nuevo!!: Predicado (lógica) y Empirismo · Ver más »

Entidad

En filosofía, una entidad o ente (del latín: ens) es algo que es de alguna manera determinada, o que existe.

¡Nuevo!!: Predicado (lógica) y Entidad · Ver más »

Enunciado

En pragmática, un enunciado es un acto de habla mínimo, realizado mediante una oración o una expresión sintáctica más pequeña que una oración.

¡Nuevo!!: Predicado (lógica) y Enunciado · Ver más »

Esencia

En filosofía, la esencia de una cosa es aquello invariable y permanente que constituye su naturaleza.

¡Nuevo!!: Predicado (lógica) y Esencia · Ver más »

Evidencia

Evidencia (del latín, ēvidens 'visible, evidente, manifiesto') para una proposición es lo que apoya esta proposición.

¡Nuevo!!: Predicado (lógica) y Evidencia · Ver más »

Existencia

En filosofía, la existencia es, en términos generales, la realidad de un ente.

¡Nuevo!!: Predicado (lógica) y Existencia · Ver más »

Experiencia

Experiencia se refiere a los eventos conscientes en general, más específicamente a percepciones, o al conocimiento práctico y la familiaridad que producen estos procesos conscientes.

¡Nuevo!!: Predicado (lógica) y Experiencia · Ver más »

Francis Herbert Bradley

Francis Herbert Bradley (30 de enero de 1846 – 18 de septiembre de 1924), fue un filósofo británico exponente del idealismo absoluto, un pensamiento situado históricamente en el marco del idealismo alemán, que deriva directamente de la obra del filósofo Georg Wilhelm Friedrich Hegel.

¡Nuevo!!: Predicado (lógica) y Francis Herbert Bradley · Ver más »

Francisco Romero (filósofo)

Francisco Romero (Sevilla, 1891- Buenos Aires, 1962) fue un filósofo, considerado un líder en los movimientos filosóficos de Latinoamérica, en especial en Argentina.

¡Nuevo!!: Predicado (lógica) y Francisco Romero (filósofo) · Ver más »

Función proposicional

En matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones.

¡Nuevo!!: Predicado (lógica) y Función proposicional · Ver más »

Hilary Putnam

Hilary Whitehall Putnam (Chicago, Illinois; 31 de julio de 1926–Arlington, Massachusetts; 13 de marzo de 2016) fue un filósofo, matemático e informático teórico estadounidense.

¡Nuevo!!: Predicado (lógica) e Hilary Putnam · Ver más »

Idea

Una idea (del griego ἰδέα 'aspecto, apariencia, forma', relacionado con εῖδος eîdos, ‘vista, visión, aspecto’) es una representación mental que surge a partir del razonamiento o de la imaginación de una persona.

¡Nuevo!!: Predicado (lógica) e Idea · Ver más »

Identidad (filosofía)

En filosofía, la identidad es la relación que toda entidad mantiene solo consigo misma.

¡Nuevo!!: Predicado (lógica) e Identidad (filosofía) · Ver más »

Individuo

Individuo, que proviene del latín individŭus (‘indivisible’ o que no se puede dividir), se refiere a una unidad frente a otras unidades dentro de un mismo sistema.

¡Nuevo!!: Predicado (lógica) e Individuo · Ver más »

Innatismo

El innatismo es la doctrina según la cual algunos conocimientos (o todo el conocimiento) son innatos, es decir, no adquiridos por medio del aprendizaje o la experiencia.

¡Nuevo!!: Predicado (lógica) e Innatismo · Ver más »

Intuición

La intuición (del latín intuitio, «mirar hacia dentro» o «contemplar») es un concepto de la Teoría del conocimiento aplicado también en la epistemología que describe el que es directo e inmediato, sin intervención de la deducción o la razón (o razonamiento), siendo considerado como evidente.

¡Nuevo!!: Predicado (lógica) e Intuición · Ver más »

Jeremy Bentham

Jeremy Bentham (Londres, -Londres, 6 de junio de 1832), también conocido como Jeremías Bentham, fue un filósofo, jurista, economista, escritor y reformador social inglés considerado como el padre del utilitarismo moderno (que también recibió el nombre de "radicalismo filosófico").

¡Nuevo!!: Predicado (lógica) y Jeremy Bentham · Ver más »

John Stuart Mill

John Stuart Mill (Londres, 20 de mayo de 1806-Aviñón, Francia; 8 de mayo de 1873) fue un filósofo, político y economista británico, representante de la escuela económica clásica y teórico del utilitarismo.

¡Nuevo!!: Predicado (lógica) y John Stuart Mill · Ver más »

Juan Gerson

Juan Gerson o Jean-Charlier Gerson (Rethel, 14 de diciembre de 1363 - Lyon, 12 de julio de 1429) fue un teólogo y filósofo francés.

¡Nuevo!!: Predicado (lógica) y Juan Gerson · Ver más »

Juicio (pensamiento)

El juicio es un pensamiento en el que se afirma o se niega algo de algo.

¡Nuevo!!: Predicado (lógica) y Juicio (pensamiento) · Ver más »

Juicio de términos

En lógica aristotélica el juicio de términos se concibe como una relación de dos términos, como atribución de un predicado a un sujeto, concebidos estos como conceptos que se unen en la afirmación y se separan en la negación.

¡Nuevo!!: Predicado (lógica) y Juicio de términos · Ver más »

Lógica

La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.

¡Nuevo!!: Predicado (lógica) y Lógica · Ver más »

Lógica aristotélica

La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica.

¡Nuevo!!: Predicado (lógica) y Lógica aristotélica · Ver más »

Lógica de clases

La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.

¡Nuevo!!: Predicado (lógica) y Lógica de clases · Ver más »

Lógica de Port-Royal

Lógica de Port-Royal es el nombre con el que se conoce normalmente La logique, ou l'art de penser, contenant, outre les règles communes, plusieurs observationes nouvelles propres à former le jugement, 1ª edición, París 1662.

¡Nuevo!!: Predicado (lógica) y Lógica de Port-Royal · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

¡Nuevo!!: Predicado (lógica) y Lógica de primer orden · Ver más »

Lógica de relaciones

Lógica de relaciones, es el estudio formal de las propiedades y operaciones de las relaciones (binarias), iniciado por Charles Sanders Peirce entre 1879 y 1882.

¡Nuevo!!: Predicado (lógica) y Lógica de relaciones · Ver más »

Lógica de segundo orden

Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.

¡Nuevo!!: Predicado (lógica) y Lógica de segundo orden · Ver más »

Lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.

¡Nuevo!!: Predicado (lógica) y Lógica matemática · Ver más »

Lógica proposicional

La 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 complejidad.

¡Nuevo!!: Predicado (lógica) y Lógica proposicional · Ver más »

Lo real

En filosofía continental, lo Real se refiere —en el contexto del psicoanálisis—, al resto de la realidad que no puede ser expresado y que supera al entendimiento.

¡Nuevo!!: Predicado (lógica) y Lo real · Ver más »

Metafísica

La metafísica (del latín metaphysica, y este del griego μετὰ φυσικά, «después de la naturaleza») es la rama de la filosofía que estudia la estructura, componentes y principios fundamentales de la realidad.

¡Nuevo!!: Predicado (lógica) y Metafísica · Ver más »

Metodología

La metodología (del griego μέθοδος de μετά metá 'más allá, después, con', οδως odós 'camino' y λογος logos 'razón, estudio') hace referencia al conjunto de procedimientos racionales utilizados para alcanzar el objetivo o la gama de objetivos que rige una investigación científica, una exposición doctrinal o tareas que requieran habilidades, conocimientos o cuidados específicos.

¡Nuevo!!: Predicado (lógica) y Metodología · Ver más »

Necesario

Necesario (del latín) es el término correlativo a "necesidad".

¡Nuevo!!: Predicado (lógica) y Necesario · Ver más »

Noam Chomsky

Avram Noam Chomsky (Filadelfia, 7 de diciembre de 1928) es un lingüista, filósofo, politólogo y activista estadounidense de origen judío.

¡Nuevo!!: Predicado (lógica) y Noam Chomsky · Ver más »

Noción

La noción es un término lingüístico de muy diverso contenido conceptual cuyo uso no suele ofrecer problemas salvo cuando se pretende precisar su contenido.

¡Nuevo!!: Predicado (lógica) y Noción · Ver más »

Nombre

El nombre (del latín nomen, nominis) es la designación o denominación verbal (las denominaciones no verbales las estudian la iconología y la iconografía) que se le da a una persona, animal, cosa o concepto tangible o intangible, concreto o abstracto, para distinguirlo de otros.

¡Nuevo!!: Predicado (lógica) y Nombre · Ver más »

Oración (gramática)

Su fin es destacar el hecho de que la oración, práctica o pragmáticamente, es el fragmento más pequeño del discurso que comunica una idea completa y posee autonomía e independencia (es decir, podría sacarse del contexto y seguir comunicando).

¡Nuevo!!: Predicado (lógica) y Oración (gramática) · Ver más »

Oración copulativa

Una oración copulativa, oración atributiva u oración de predicado nominal es aquella oración simple que tiene un verbo copulativo, que sirve principalmente como nexo con un argumento llamado ''atributo''.

¡Nuevo!!: Predicado (lógica) y Oración copulativa · Ver más »

Predicado (gramática)

El predicado es el conjunto de palabras que se agrupan en torno a uno de los dos núcleos de la oración, el verbo.

¡Nuevo!!: Predicado (lógica) y Predicado (gramática) · Ver más »

Predicado (lógica)

En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.

¡Nuevo!!: Predicado (lógica) y Predicado (lógica) · Ver más »

Principio de no contradicción

El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción o ley de no contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición (A) y su negación (\neg A) no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.

¡Nuevo!!: Predicado (lógica) y Principio de no contradicción · Ver más »

Propiedad (lógica)

En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto.

¡Nuevo!!: Predicado (lógica) y Propiedad (lógica) · Ver más »

Proposición

En filosofía y lógica, el término proposición se usa para referirse a.

¡Nuevo!!: Predicado (lógica) y Proposición · Ver más »

Racionalismo

El racionalismo es una corriente filosófica que acentúa el papel de la razón en la adquisición del conocimiento.

¡Nuevo!!: Predicado (lógica) y Racionalismo · Ver más »

Realidad

La realidad (del latín realitas y este de res, «cosa») es el término lingüístico que expresa el concepto abstracto de lo real.

¡Nuevo!!: Predicado (lógica) y Realidad · Ver más »

Relación de equivalencia

En teoría de conjuntos y álgebra, la noción de relación de equivalencia sobre un conjunto permite establecer una relación entre los elementos del conjunto que comparten cierta característica o propiedad.

¡Nuevo!!: Predicado (lógica) y Relación de equivalencia · Ver más »

René Descartes

René Descartes (latinización: Renatus Cartesius; onomástico del que se deriva el adjetivo cartesiano; La Haye en Touraine, 31 de marzo de 1596-Estocolmo, 11 de febrero de 1650) fue un filósofo, matemático y físico francés considerado el padre de la geometría analítica y la filosofía moderna, así como uno de los protagonistas con luz propia en el umbral de la revolución científica.

¡Nuevo!!: Predicado (lógica) y René Descartes · Ver más »

Saul Kripke

Saul Aaron Kripke (Bay Shore, Nueva York, 13 de noviembre de 1940-15 de septiembre de 2022) fue un profesor, filósofo y lógico estadounidense.

¡Nuevo!!: Predicado (lógica) y Saul Kripke · Ver más »

Semántica formal

La semántica formal es el estudio de las interpretaciones de los lenguajes formales.

¡Nuevo!!: Predicado (lógica) y Semántica formal · Ver más »

Sujeto (filosofía)

En filosofía, el término sujeto hace referencia a un ser que es «autor de sus actos», en el sentido de que su comportamiento o conducta no son meramente «reactivas», sino que aporta un plus de originalidad que responde a lo que solemos entender por decisión o voluntad.

¡Nuevo!!: Predicado (lógica) y Sujeto (filosofía) · Ver más »

Sustancia

El vocablo sustancia (también, «substancia»), en química, puede referirse.

¡Nuevo!!: Predicado (lógica) y Sustancia · Ver más »

Tomás de Aquino

Santo Tomás de Aquino (en italiano, Tommaso d'Aquino; Roccasecca,Fra' Giovanni Fiore da Cropani, historiador calabrés del siglo XVII, en su obra (De la Calabria ilustrada) sostiene que Tomás de Aquino había nacido en Belcastro; una tesis sostenida también por Gabriele Barrio en su obra (Sobre la antigüedad y el lugar de Calabria, en cinco libros), y por Girolamo Marafioti, teólogo de la Orden de los Menores Observantes en su obra Cronache ed antichità della Calabria (Crónicas y antigüedades de la Calabria). 1224/1225-Abadía de Fossanova, 7 de marzo de 1274) fue un presbítero, fraile, teólogo, filósofo y jurista católico perteneciente a la Orden de Predicadores, es considerado el principal representante de la enseñanza escolástica y una de las mayores figuras de la teología sistemática.

¡Nuevo!!: Predicado (lógica) y Tomás de Aquino · Ver más »

Valor de verdad

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.

¡Nuevo!!: Predicado (lógica) y Valor de verdad · Ver más »

Variable proposicional

En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera o falsa.

¡Nuevo!!: Predicado (lógica) y Variable proposicional · Ver más »

Verdad

La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha afirmación se refiereMerriam-Webster's Online Dictionary,, 2005.

¡Nuevo!!: Predicado (lógica) y Verdad · Ver más »

William Rowan Hamilton

William Rowan Hamilton Dublín, 4 de agosto de 1805-ibídem, 2 de septiembre de 1865) fue un matemático, físico, y astrónomo irlandés, que hizo importantes contribuciones al desarrollo de la óptica, la dinámica, y el álgebra. Su descubrimiento del cuaternión, junto con su sistematización de la dinámica, son sus trabajos más conocidos. Este último trabajo sería decisivo en el desarrollo de la mecánica cuántica, donde un concepto fundamental llamado hamiltoniano lleva su nombre.

¡Nuevo!!: Predicado (lógica) y William Rowan Hamilton · Ver más »

Redirecciona aquí:

Predicado (lógica matemática).

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »