Acesso mais rápido do que o navegador!
16 relações: Alfred Tarski, Consequência lógica, Filosofia, John LeRoy Hennessy, Jon Barwise, Language, Proof and Logic, Lógica, Nevada, Paradoxo do mentiroso, Reitor, Reno (Nevada), Semântica, Teoria dos conjuntos, Universidade de Princeton, Universidade Stanford, Verdade lógica.
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: John Etchemendy e Alfred Tarski · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: John Etchemendy e Consequência lógica · Veja mais »
Filosofia
Filosofia (do grego Φιλοσοφία, philosophia, literalmente "amor pela sabedoria") é o estudo de questões gerais e fundamentais sobre a existência, conhecimento, valores, razão, mente, e linguagem; frequentemente colocadas como problemas a se resolver.
Novo!!: John Etchemendy e Filosofia · Veja mais »
John LeRoy Hennessy
John LeRoy Hennessy (Huntington (Nova Iorque)) é um cientista da computação e professor universitário estadunidense.
Novo!!: John Etchemendy e John LeRoy Hennessy · Veja mais »
Jon Barwise
Kenneth Jon Barwise (29 de junho de 1942 – 5 de março de 2000) foi um matemático americano, filósofo e lógico que propôs algumas revisões fundamentais na maneira em que a lógica é entendida e usada.
Novo!!: John Etchemendy e Jon Barwise · Veja mais »
Language, Proof and Logic
Language, Proof and Logic (Linguagem, Prova e Lógica, em tradução livre) é um pacote de software educacional criado e escrito por Dave Barker-Plummer, Jon Barwise e John Etchemendy, gerado para ensinar lógica formal através do uso de uma integração entre o livro-texto (de mesmo nome do pacote) e quatro programas, onde três deles são relacionados a lógica (Boole, Fitch e Tarki’s World) e o outro (Submit) é um serviço de submissão de respostas através da internet ao Grade Grinder, o avaliador das respostas submetidas.
Novo!!: John Etchemendy e Language, Proof and Logic · 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!!: John Etchemendy e Lógica · Veja mais »
Nevada
Nevada é um dos 50 estados dos Estados Unidos, localizado na região dos estados das Montanhas Rochosas.
Novo!!: John Etchemendy e Nevada · Veja mais »
Paradoxo do mentiroso
Em filosofia e lógica, o paradoxo do mentiroso abrange afirmações paradoxais como: ou Para evitar que uma afirmação se refira ao seu próprio valor lógico, também se pode construir o paradoxo da seguinte forma, chamada de paradoxo mentiroso fortalecido: Geralmente, a denominação “paradoxo do mentiroso” é mais usada, embora a abstração seja feita precisamente pelo próprio mentiroso.
Novo!!: John Etchemendy e Paradoxo do mentiroso · Veja mais »
Reitor
Reitor é a denominação atribuída ao dirigente máximo de alguns tipos de instituições de ensino, podendo também designar o sacerdote responsável por um seminário ou por um santuário, basílica ou catedral.
Novo!!: John Etchemendy e Reitor · Veja mais »
Reno (Nevada)
Reno é uma cidade localizada no estado americano de Nevada, no condado de Washoe, do qual é sede.
Novo!!: John Etchemendy e Reno (Nevada) · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: John Etchemendy e Semântica · 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!!: John Etchemendy e Teoria dos conjuntos · Veja mais »
Universidade de Princeton
Universidade de Princeton (Princeton University) é uma universidade privada de pesquisa da Ivy League em Princeton, Nova Jérsei.
Novo!!: John Etchemendy e Universidade de Princeton · Veja mais »
Universidade Stanford
A Universidade Stanford (Stanford University, abreviação de Leland Stanford Junior University) é uma universidade de pesquisa privada situada em Palo Alto, Califórnia, Estados Unidos, e uma das instituições mais prestigiadas do mundo, com a maior seletividade de graduação e a posição de primeira colocada em várias pesquisas e medições no país.
Novo!!: John Etchemendy e Universidade Stanford · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: John Etchemendy e Verdade lógica · Veja mais »
