Peter van Inwagen

Peter van InwagenBiografia

Nascimento	21 de setembro de 1942 Estados Unidos
Cidadania	Estados Unidos
Local de trabalho	Nova Iorque
Alma mater	Universidade de Rochester Instituto Politécnico Rensselaer
Atividades	filósofo professor universitário teólogo

Outras informações

Empregador	Universidade de Notre Dame Universidade de Syracuse Universidade Duke
Religão	anglicanismo
Membro de	Academia de Artes e Ciências dos Estados Unidos

Peter van Inwagen (nascido em 21 de setembro de 1942, Estados Unidos) é um filósofo analítico e Professor Cardeal John O'Hara de Filosofia na Universidade de Notre Dame. Ele já lecionou na Universidade de Syracuse e obteve seu doutorado na Universidade de Rochester, sob a direção de Richard Taylor e Keith Lehrer. Van Inwagen é uma das principais figuras na metafísica contemporânea, filosofia da religião e da filosofia de ação.

Ensaios

• A incompatibilidade de livre-arbítrio e determinismo
• Sobre dois argumentos para o compatibilismo

Ver também

• Metaontologia

Referências

1. ↑ Peter van Inwagen pelo departamento de filosofia da ]
2. ↑ Em defesa do incompatibilismo por Pedro Merlussi em 14 de Maio de 2012 ]

Livros

• Thinking about Free Will. Cambridge: Cambridge University Press. 2017. ISBN 978-1-107-16650-9 
• Existence: Essays in Ontology. Cambridge: Cambridge University Press. 2014. ISBN 1-1076-2526-2 
• The Problem of Evil. Oxford: Oxford University Press. 2006. ISBN 0-19-924560-6 
• Ontology, Identity, and Modality: Essays in Metaphysics. Cambridge: Cambridge University Press. 2002. ISBN 0-521-79164-2 
• The Possibility of Resurrection and Other Essays in Christian Apologetics. Boulder, CO: Westview Press. 1998. ISBN 0-8133-2731-8 
• God, Knowledge and Mystery: Essays in Philosophical Theology. Ithaca: Cornell University Press. 1995. ISBN 0-8014-8186-4 
• Metaphysics. Boulder, CO: Westview Press. 2002 . ISBN 0-8133-9055-9 
• Material Beings. Ithaca: Cornell University Press. 1990. ISBN 0-8014-8306-9 
• An Essay on Free Will. Oxford: Oxford University Press. 1983. ISBN 0-19-824924-1 

Ligações externas

• Official Page at the University of Notre Dame

v d e Lógica
Visão global Áreas acadêmicas Axiologia Filosofia da lógica Filosofia da matemática Filosofia História da lógica Lógica filosófica Lógica informal Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da computabilidade Teoria das provas Teoria dos conjuntos Teoria dos modelos Conceitos fundamentais A priori e A posteriori Absurdo Analogia Antinomia Axioma Certeza Conceito Convicção Cosmovisão Crença Declaração Dedução Definição Descrição Dilema Escopo Falácia Forma lógica Fórmula Inferência Lema Meio termo Metateoria Indução Mundo possível Necessidade Nome Ônus da prova Organon Paradoxo Premissa Pressuposição Probabilidade Raciocínio Abdução e Dedução Razão Referência Refutação Semântica Sentença Significado Silogismo Sintaxe Sistema formal Substituição Validade Valor da verdade Verdade Verdade analítica e Verdade lógica Vinculação
Lógica filosófica Pensamento crítico e Lógica informal Análise Ambiguidade Argumento Crença Credibilidade Evidência Explicação Poder explicativo Fato Falácia Investigação Opinião Parcimônia Premissa Propaganda Prudência Raciocínio Relevância Retórica Rigor Vagueza Teorias da dedução Atomismo lógico Construtivismo Dialetismo Ficcionalismo Finitismo Formalismo Intuicionismo Logicismo Nominalismo Pragmatismo Realismo Realismo platônico
Metalógica e Metamatemática Teorema de Cantor Teorema de Church Tese de Church Consistência Método efetivo Fundamentos da matemática Teorema da completude de Gödel Teoremas da incompletude de Gödel Solidez Completude Decidabilidade Interpretação Teorema de Löwenheim–Skolem Metateorema Satisfabilidade Independência Distinção Sin-signo e Legi-signo Distinção uso–menção
Lógica matemática Geral Linguagem formal Regra de formação Sistema formal Sistema dedutivo Prova formal Semântica formal Fórmula bem formulada Conjunto Elemento Classe Lógica clássica Axioma Dedução natural Regra de inferência Relação Teorema Consequência lógica Sistema axiomático Teoria dos tipos Símbolo Sintaxe Teoria Lógica aristotélica Proposição Inferência Argumento Validade Irrefutabilidade Silogismo Quadrado das oposições Diagrama de Venn Cálculo proposicional e Lógica booliana Funções boolianas Cálculo proposicional Fórmula proposicional Conectivo lógico Tabela verdade Predicativa Primeira ordem Quantificadores Predicado Segunda ordem Cálculo do predicado monádico Teoria dos conjuntos Conjunto Conjunto vazio Enumeração Extensionabilidade Conjunto finito Função Subconjunto Conjunto de partes Conjunto contável Conjunto recursivo Domínio Imagem da função Par ordenado Conjunto incontável Teoria dos modelos Modelo Interpretação Modelo não padrão Teoria do modelo finito Valor da verdade Validade Teoria da prova Prova formal Sistema dedutivo Sistema formal Teorema Consequência lógica Regra de inferência Sintaxe Teoria da computabilidade Recursão Conjunto recursivo Conjunto enumerável recursivamente Problema de decisão Tese de Church-Turing Função computável Função recursiva primitiva
Lógica não clássica Lógica modal Alética Axiológico Deôntica Doxástica Epistêmica Temporal Intuicionismo Lógica intuicionística Análise construtiva Aritmética de Heyting Teoria do tipo intuicionística Teoria do conjunto construtiva Lógica difusa Grau de verdade Regra difusa Conjunto difuso Elemento infinito difuso Operações de conjunto difusas Lógica subestrutural Regra estrutural Lógica relevante Lógica linear Lógica paraconsistente Dialeteísmo Lógica de descrição Ontologia Linguagem ontológica
Lógicos Alfarábi Anderson Algazali Al-Razi Aristóteles Averróis Avicena Bain Barwise Bernays Boole Boolos Cantor Carnap Church Crísipo de Solos Curry Dharmakirti Dignāga De Morgan Frege Geach Gentzen Gotama Kanada Gödel Hilbert Ibn al-Nafis Abzeme Ibn Taymiyyah Kleene Kripke Leibniz Löwenheim Mozi Nagarjuna Pāṇini Peano Peirce Putnam Quine Russell Schröder Scotus Skolem Smullyan Suhrawardi Tarski Turing Whitehead William of Ockham Wittgenstein Zadeh Zermelo F. C. S. Schiller
Listas Tópicos Esboço de lógica Índice de artigos sobre lógica Lógica matemática Álgebra booliana Teoria dos conjuntos Outros Lógicos Regras de inferência Paradoxos Símbolos lógicos
Categoria Portal

Controle de autoridade	: Q1972246 WorldCat VIAF: 75042238 BIBSYS: 90819793 BNF: 11887783g CANTIC: 981058516708106706 Dialnet: 2317225 GND: 13344516X ISNI: ID LCCN: n79151632 NTA: 069801789 NUKAT: n2003088035 SUDOC: 026673789 Angelicum: 52687 Angelicum: 81369 CONOR.SR: 10435687 Catálogo SHARE: 616793