10 relações: Augustus De Morgan, Axioma, Inferência, João Duns Escoto, Lógica, Modus ponens, Modus tollens, Regra de inferência, Silogismo, Tabela-verdade.
Augustus De Morgan
Augustus De Morgan (Madura, Índia, — Londres) foi um matemático e lógico britânico.
Novo!!: Lista de regras de inferência e Augustus De Morgan · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Lista de regras de inferência e Axioma · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Lista de regras de inferência e Inferência · Veja mais »
João Duns Escoto
O Beato João Duns Escoto, ou Scot ou Scotus1 O.F.M. (Berwickshire, c. 1266 - Colônia, 8 de novembro de 1308) foi um teólogo e filósofo escocês (ou nascido no Ulster). Ele é um dos três filósofos-teólogos mais importantes da Europa Ocidental na Alta Idade Média, juntamente com Tomás de Aquino e Guilherme de Ockham. Viveu durante muitos anos em Paris, em cuja universidade lecionou. Membro da Ordem Franciscana, filósofo e teólogo da tradição escolástica, chamado o Doutor Sutil, foi mentor de outro grande nome da filosofia medieval: Guilherme de Ockham. Foi beatificado em 20 de Março de 1993, durante o pontificado do Papa João Paulo II. Duns Escoto é considerado continuador da tradição franciscana que adotou muitas coisas de Aristóteles e seus antecessores medievais não-franciscanos. Escoto foi ainda um pensador que levou adiante a tradição aristotélica de São Tomás de Aquino mas, ao mesmo tempo, corrigiu Santo Tomás à luz do que considerava a verdade. Vários teólogos contemporâneos, especialmente entre as Ordens Franciscanas, como Kenan Osborne OFM e Daniel Horan OFM são herdeiros da tradição scotista. Vários projetos recentes, como o Projeto Scotus da CUA, a Comissão Scotística Internacional em Roma e a Comissão da Tradição Intelectual Franciscana da Conferência de Língua Inglesa do OFM têm procurado aumentar a conscientização sobre Duns Scotus e a disseminação do scotismo sobre a teologia contemporânea. O scotismo também encontrou um lar entre os anglo-católicos, incluindo Richard Cross e Thomas Williams, além de influenciar protestantes como William Lane Craig. No Brasil, estudos acadêmicos sobre Escoto tem se expandido consideravelmente durante as últimas décadas. Em 2019, a Faculdade de Direito da Universidade de São Paulo promoveu a restauração de um exemplar da obra “Opera Omnia”, datado de 1639.
Novo!!: Lista de regras de inferência e João Duns Escoto · 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!!: Lista de regras de inferência e Lógica · Veja mais »
Modus ponens
Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.
Novo!!: Lista de regras de inferência e Modus ponens · Veja mais »
Modus tollens
Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico.
Novo!!: Lista de regras de inferência e Modus tollens · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Lista de regras de inferência e Regra de inferência · Veja mais »
Silogismo
Um silogismo (do grego antigo συλλογισμός, transl. syllogismós, 'conexão de ideias', 'raciocínio', composto pelos termos σύν, transl. syn, 'com', e λογισμός, 'cálculo' e, por extensão, 'raciocínio', pelo latim syllogismus,i) é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita.
Novo!!: Lista de regras de inferência e Silogismo · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Lista de regras de inferência e Tabela-verdade · Veja mais »