20 relações: Ambiguidade, Anil Gupta, Carl Prantl, Clarence Irving Lewis, David Kaplan, Esquema T, Filosofia da Lógica, Humano, Jaakko Hintikka, Kit Fine, Lógica computacional, Michael Tye (filósofo), Non causae ut causae, Per Martin-Löf, Peter Geach, Relação reflexiva, Robert Koons, Sentença atômica, Teoria da prova, Utilitarismo.
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Lógica filosófica e Ambiguidade · Veja mais »
Anil Gupta
Anil K. Gupta (nascido em 1949) é um filósofo indiano-americano que trabalha principalmente com lógica, epistemologia, filosofia da linguagem, e metafísica.
Novo!!: Lógica filosófica e Anil Gupta · Veja mais »
Carl Prantl
Carl Prantl, Karl von Prantl, ou desde 1872, Cavaleiro de Prantl (Landsberg, 28 de janeiro de 1820 Oberstdorf, 14 de setembro de 1888) foi um filósofo e filólogo alemão.
Novo!!: Lógica filosófica e Carl Prantl · Veja mais »
Clarence Irving Lewis
Clarence Irving Lewis (Stoneham, 12 de abril de 1883 – Menlo Park, 3 de fevereiro de 1964), comumente citado como C.
Novo!!: Lógica filosófica e Clarence Irving Lewis · Veja mais »
David Kaplan
David Benjamin Kaplan (Los Angeles) é um filósofo e logicista norte-americano que ensina na Universidade da California.
Novo!!: Lógica filosófica e David Kaplan · Veja mais »
Esquema T
O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski.
Novo!!: Lógica filosófica e Esquema T · Veja mais »
Filosofia da Lógica
Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.
Novo!!: Lógica filosófica e Filosofia da Lógica · Veja mais »
Humano
Humano (taxonomicamente Homo sapiens, termo que deriva do latim "homem sábio", também conhecido como pessoa, gente ou homem) é a única espécie do gênero Homo ainda viva e o primata mais abundante e difundido da Terra, caracterizado pelo bipedalismo e por cérebros grandes, o que permitiu o desenvolvimento de ferramentas, culturas e linguagens avançadas.
Novo!!: Lógica filosófica e Humano · Veja mais »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 de janeiro de 1929 – 12 de agosto de 2015) foi um filósofo e lógico finlandês.
Novo!!: Lógica filosófica e Jaakko Hintikka · Veja mais »
Kit Fine
Kit Fine é um matemático britânico.
Novo!!: Lógica filosófica e Kit Fine · Veja mais »
Lógica computacional
A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação.
Novo!!: Lógica filosófica e Lógica computacional · Veja mais »
Michael Tye (filósofo)
Michael Tye é um filósofo da Universidade do Texas em Austin, que fez importantes contribuições para a filosofia da mente.
Novo!!: Lógica filosófica e Michael Tye (filósofo) · Veja mais »
Non causae ut causae
Em lógica filosófica, non causae ut causae é uma falácia argumentativa da falsa proclamação de vitória.
Novo!!: Lógica filosófica e Non causae ut causae · Veja mais »
Per Martin-Löf
Per Erik Rutger Martin-Löf é um lógico, filósofo e estatístico matemático sueco.
Novo!!: Lógica filosófica e Per Martin-Löf · 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!!: Lógica filosófica e Peter Geach · Veja mais »
Relação reflexiva
Na matemática, uma relação reflexiva é uma relação binária R sobre um conjunto X em que cada elemento de X está relacionado a si mesmo.
Novo!!: Lógica filosófica e Relação reflexiva · Veja mais »
Robert Koons
Robert Koons é professor de Filosofia da Universidade do Texas (UT), conhecido por sua contribuição à metafísica e à lógica filosófica.
Novo!!: Lógica filosófica e Robert Koons · Veja mais »
Sentença atômica
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples.
Novo!!: Lógica filosófica e Sentença atômica · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Lógica filosófica e Teoria da prova · Veja mais »
Utilitarismo
O utilitarismo é uma família de teorias metaéticas consequencionalistas, sistematizada inicialmente pelos filósofos ingleses Jeremy Bentham e John Stuart Mill, que afirma que uma ação é correta ou incorreta baseada em sua tendência a maximizar ou minimizar "utilidade"; que é geralmente identificada com a felicidade ou a satisfação de preferências.
Novo!!: Lógica filosófica e Utilitarismo · Veja mais »