Acesso mais rápido do que o navegador!
11 relações: David Kaplan, George Boolos, Harvard University Press, Journal of Philosophy, Lógica, Lógica de primeira ordem, Lógica de segunda ordem, Modelo de aritmética não padrão, Peter Geach, Quantificação plural, Teoria dos conjuntos.
David Kaplan
David Benjamin Kaplan (Los Angeles) é um filósofo e logicista norte-americano que ensina na Universidade da California.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e David Kaplan · Veja mais »
George Boolos
George Stephen Boolos (Nova Iorque, 4 de setembro de 1940 – Cambridge (Massachusetts), 27 de maio de 1996) foi um filósofo, logicista e matemático norte-americano, professor do Instituto de Tecnologia de Massachusetts.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e George Boolos · Veja mais »
Harvard University Press
Harvard University Press (HUP) é uma editora estabelecida desde 1913 como uma divisão da Universidade Harvard, focada em publicações acadêmicas.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Harvard University Press · Veja mais »
Journal of Philosophy
The Journal of Philosophy é uma revista de conteúdo acadêmico revisada por pares, publicada mensalmente, contendo artigos no campo da Filosofia.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Journal of Philosophy · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Lógica · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Lógica de primeira ordem · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Lógica de segunda ordem · Veja mais »
Modelo de aritmética não padrão
Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Modelo de aritmética não padrão · Veja mais »
Peter Geach
Peter Thomas Geach, (Chelsea, Londres, 29 de março de 1916 – Cambridge, 21 de dezembro de 2013) foi um filósofo britânico.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Peter Geach · Veja mais »
Quantificação plural
Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular).
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Quantificação plural · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Inexpressabilidade da Lógica de Primeira Ordem e Teoria dos conjuntos · Veja mais »
