Lógica de segundo orden

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 para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.[1] Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.[1] Por ejemplo, en una lógica de primer orden es posible decir "esta esmeralda es verde", pero no es posible decir "el verde es un color", porque una lógica de primer orden sirve para hablar acerca de individuos (como esta esmeralda), pero no acerca de propiedades (como verde). En cambio, una lógica de segundo orden no tiene esa limitación, y por lo tanto permite escribir:

Color(Verde) \,

Además, una lógica de segundo orden también puede cuantificar sobre propiedades. Gracias a eso puede expresar, por ejemplo, que todo individuo o tiene una propiedad o no la tiene:

\forall P \, \forall x \, (Px \or \neg Px)

O el principio de identidad de los indiscernibles:[2]

\forall P \, \forall x \, \forall y \, \Big( (Px \leftrightarrow Py) \to (x = y) \Big)

Sin embargo, lo que se gana en poder expresivo se pierde en metateoría. Existen propiedades metateóricas generalmente consideradas deseables que las lógicas de segundo orden no tienen y las lógicas de primer orden sí. Por ejemplo, las lógicas de segundo orden (con semántica estándar) son incompletas.[3] Quiere decir que no puede haber ningún sistema deductivo finito a partir del cual se puedan demostrar todas las verdades lógicas expresables en el lenguaje.[3] Esto es: el conjunto de las verdades del sistema es mayor que el conjunto de las verdades demostrables en el sistema. Esto se debe a que las lógicas de segundo orden tienen el poder expresivo suficiente para ser afectadas por los teoremas de incompletitud de Gödel.

Véase también

Notas y referencias

  1. ↑ a b Enderton, Herbert B., «Second-order and Higher-order Logic», en Edward N. Zalta (en inglés), The Stanford Encyclopedia of Philosophy (Spring 2009 Edition edición), http://plato.stanford.edu/archives/spr2009/entries/logic-higher-order/, consultado el 7 de octubre de 2009 
  2. ↑ Forrest, Peter, «The Identity of Indiscernibles», en Edward N. Zalta (en inglés), The Stanford Encyclopedia of Philosophy (Summer 2009 Edition edición), http://plato.stanford.edu/archives/sum2009/entries/identity-indiscernible/, consultado el 7 de octubre de 2009 
  3. ↑ a b Dr. Fraser MacBride, «logic, second-order», The Oxford Companion to Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e1451, consultado el 7 de octubre de 2009 

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Lógica de primer orden — La lógica de primer orden, también llamada 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.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Cibernética de segundo orden — La cibernética de segundo orden o cibernética de la cibernética nace unos treinta años después de la cibernética de primer orden, a principios de 1970. La cibernética de segundo orden estudia ya no solo el sistema o concepto cibernético, sino… …   Wikipedia Español

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • Orden (desambiguación) — Orden puede adqurir varios significados en diferentes disciplinas. Puede referirse a: Contenido 1 Teoría de sistemas 2 Criterios de ordenación 3 Significados en diferentes ciencias 3.1 …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Orden del Císter — Nombre latino Ordo Cisterciensis Siglas O. Cist. Nombre común …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Lógica temporal — La lógica temporal es una extensión de la lógica modal, la cual es practicamente usada en sistema de reglas, donde esta presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”