Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Princípio da não-contradição

Índice Princípio da não-contradição

Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.

46 relações: Alfred North Whitehead, Aristóteles, Axioma, Bertrand Russell, Cambridge, CF, Chicago, Contradição, David Lewis, Dialeteísmo, Dicotomia, Gottfried Wilhelm Leibniz, Heráclito, Immanuel Kant, Isaac Newton, Jan Łukasiewicz, Kalpa (Vedanga), Lógica, Lógica clássica, Lógica difusa, Lógica proposicional, Lei do terceiro excluído, Leis do pensamento, Lista de símbolos lógicos, Logos, Método socrático, Metafísica, Ontologia, Paradoxo de Russell, Paradoxo do mentiroso, Parmênides, Platão, Princípio da bivalência, Princípio da identidade, Principia Mathematica, Proposição, Protágoras, Psicologia, Quadrado das oposições, Reductio ad absurdum, República, Sócrates, Stanford Encyclopedia of Philosophy, Stephen Kleene, Teorema, Viasa.

Alfred North Whitehead

Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.

Novo!!: Princípio da não-contradição e Alfred North Whitehead · Veja mais »

Aristóteles

Aristóteles (Aristotélēs; Estagira, – Atenas) foi um filósofo e polímata da Grécia Antiga.

Novo!!: Princípio da não-contradição e Aristóteles · 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!!: Princípio da não-contradição e Axioma · Veja mais »

Bertrand Russell

Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.

Novo!!: Princípio da não-contradição e Bertrand Russell · Veja mais »

Cambridge

Cambridge (aportuguesado para Cantabrígia. ou Cambrígia) é uma antiga cidade universitária no Reino Unido, sede do condado de Cambridgeshire, na região leste do país.

Novo!!: Princípio da não-contradição e Cambridge · Veja mais »

CF

*República Centro-africana (código ISO 3166).

Novo!!: Princípio da não-contradição e CF · Veja mais »

Chicago

Chicago é a cidade mais populosa do estado de Illinois, nos Estados Unidos.

Novo!!: Princípio da não-contradição e Chicago · Veja mais »

Contradição

Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.

Novo!!: Princípio da não-contradição e Contradição · Veja mais »

David Lewis

David Kellogg Lewis (28 de Setembro, 1941 – 14 de Outubro de 2001) é considerado um dos grandes filósofos analíticos da última metade do século XX.

Novo!!: Princípio da não-contradição e David Lewis · Veja mais »

Dialeteísmo

Dialetheismo é a noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente.

Novo!!: Princípio da não-contradição e Dialeteísmo · Veja mais »

Dicotomia

Uma dicotomia é uma partição de um todo (ou um conjunto) em duas partes (subconjuntos).

Novo!!: Princípio da não-contradição e Dicotomia · Veja mais »

Gottfried Wilhelm Leibniz

Gottfried Wilhelm Leibniz (Leipzig, — Hanôver) foi um proeminente polímata e filósofo alemão e figura central na história da matemática e na história da filosofia.

Novo!!: Princípio da não-contradição e Gottfried Wilhelm Leibniz · Veja mais »

Heráclito

de Éfeso (Hērákleitos ho Ephésios, Éfeso, aproximadamente -) foi um filósofo pré-socrático considerado o "Pai da dialética".

Novo!!: Princípio da não-contradição e Heráclito · Veja mais »

Immanuel Kant

Immanuel Kant (Königsberg, 22 de abril de 1724 – 12 de fevereiro de 1804) ou Emanuel Kant, foi um filósofo alemão (nativo do Reino da Prússia) e um dos principais pensadores do Iluminismo.

Novo!!: Princípio da não-contradição e Immanuel Kant · Veja mais »

Isaac Newton

Isaac Newton PRS (Woolsthorpe-by-Colsterworth, 25 de dezembro de 1642jul./ 4 de janeiro de 1643greg. – Kensington, 20 de março de 1727jul./ 31 de março de 1727greg) foi um matemático, físico, astrônomo, teólogo e autor inglês (descrito em seus dias como um "filósofo natural") que é amplamente reconhecido como um dos cientistas mais influentes de todos os tempos e como uma figura-chave na Revolução Científica.

Novo!!: Princípio da não-contradição e Isaac Newton · Veja mais »

Jan Łukasiewicz

Jan Łukasiewicz (21 de dezembro de 1878 — 13 de fevereiro de 1956) foi um lógico polonês.

Novo!!: Princípio da não-contradição e Jan Łukasiewicz · Veja mais »

Kalpa (Vedanga)

Kalpa é uma das seis disciplinas do Vedanga, tratando de rituais.

Novo!!: Princípio da não-contradição e Kalpa (Vedanga) · 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!!: Princípio da não-contradição e Lógica · Veja mais »

Lógica clássica

Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.

Novo!!: Princípio da não-contradição e Lógica clássica · Veja mais »

Lógica difusa

A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.

Novo!!: Princípio da não-contradição e Lógica difusa · Veja mais »

Lógica proposicional

Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.

Novo!!: Princípio da não-contradição e Lógica proposicional · Veja mais »

Lei do terceiro excluído

Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.

Novo!!: Princípio da não-contradição e Lei do terceiro excluído · Veja mais »

Leis do pensamento

Há quatro leis do pensamento clássicas reconhecidas na filosofia ocidental, principalmente a partir da filosofia do século XVII e da filosofia do século XVIII, e amplamente discutidas na filosofia do século XIX.

Novo!!: Princípio da não-contradição e Leis do pensamento · Veja mais »

Lista de símbolos lógicos

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica.

Novo!!: Princípio da não-contradição e Lista de símbolos lógicos · Veja mais »

Logos

Lógos (UK: /ˈloʊɡɒs, ˈlɒɡɒs/, US: /ˈloʊɡoʊs/; Grego antigo: λόγος, translit. lógos; de λέγω, légō, lit. 'Eu digo') é um termo na filosofia ocidental, psicologia, retórica e religião derivada de uma palavra grega que significa, "fundamento", "pleito", "opinião", "expectativa", "pensamento", "palavra", "fala", "conta", "razão", "proporção" e "discurso", mas se tornou um termo técnico na filosofia ocidental, começando com Heráclito (535 a.C. - 475 a.C.), que usou o termo para um princípio de ordem e conhecimento.

Novo!!: Princípio da não-contradição e Logos · Veja mais »

Método socrático

O método socrático é uma técnica de investigação filosófica feita em diálogo, que consiste em o professor conduzir o aluno a um processo de reflexão e descoberta dos próprios valores.

Novo!!: Princípio da não-contradição e Método socrático · Veja mais »

Metafísica

Metafísica (do grego antigo μετα (metà).

Novo!!: Princípio da não-contradição e Metafísica · Veja mais »

Ontologia

Ontologia (do grego ontos "ente" e -logia, "discurso lógico"; no conjunto, "ciência do ser") é o ramo da filosofia que estuda conceitos como existência, ser, devir e realidade. Inclui as questões de como as entidades são agrupadas em categorias básicas e quais dessas entidades existem no nível mais fundamental. A ontologia é às vezes referida como a ciência do ser e pertence ao maior ramo da filosofia conhecido como metafísica. Os ontologistas frequentemente tentam determinar quais são as categorias ou tipos mais altos e como formam um sistema de categorias que fornece uma classificação abrangente de todas as entidades. As categorias comumente propostas incluem substâncias, propriedades, relações, estados de coisas e eventos. Estas categorias são caracterizadas por conceitos ontológicos fundamentais, como particularidade e universalidade, abstração e concretude, ou possibilidade e necessidade. De especial interesse é o conceito de dependência ontológica, que determina se as entidades de uma categoria existem no nível mais fundamental. As discordâncias dentro da ontologia são muitas vezes sobre se as entidades pertencentes a uma determinada categoria existem e, em caso afirmativo, como se relacionam com outras entidades. Quando usado como substantivo contável, os termos "ontologia" e "ontologias" referem-se não à ciência do ser, mas às teorias dentro da ciência do ser. As teorias ontológicas podem ser divididas em vários tipos de acordo com seus compromissos teóricos. As ontologias monocategóricas sustentam que há apenas uma categoria básica, o que é rejeitado pelas ontologias policategóricas. As ontologias hierárquicas afirmam que algumas entidades existem em um nível mais fundamental e que outras entidades dependem delas. As ontologias planas, por outro lado, negam tal status privilegiado a qualquer entidade.

Novo!!: Princípio da não-contradição e Ontologia · Veja mais »

Paradoxo de Russell

O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.

Novo!!: Princípio da não-contradição e Paradoxo de Russell · 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!!: Princípio da não-contradição e Paradoxo do mentiroso · Veja mais »

Parmênides

de Eleia (Παρμενίδης ὁ Ἐλεάτης) (— Cléverson Minikovsky.. biblioteca24horas; ISBN 978-85-7893-226-8. p. 25.) foi um filósofo grego natural de Eleia, uma cidade grega na costa sul da Magna Grécia.

Novo!!: Princípio da não-contradição e Parmênides · Veja mais »

Platão

Platão (Πλάτων, transl Plátōn, "amplo", Atenas, 428/427 – Atenas, 348/347 a.C.) foi um filósofo e matemático do período clássico da Grécia Antiga, autor de diversos diálogos filosóficos e fundador da Academia em Atenas, a primeira instituição de educação superior do mundo ocidental.

Novo!!: Princípio da não-contradição e Platão · Veja mais »

Princípio da bivalência

Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso.

Novo!!: Princípio da não-contradição e Princípio da bivalência · Veja mais »

Princípio da identidade

O princípio da identidade foi formulado por Parmênides em seus estudos sobre a lógica.

Novo!!: Princípio da não-contradição e Princípio da identidade · Veja mais »

Principia Mathematica

''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.

Novo!!: Princípio da não-contradição e Principia Mathematica · Veja mais »

Proposição

Proposição é um termo usado em lógica para descrever o conteúdo de asserções.

Novo!!: Princípio da não-contradição e Proposição · Veja mais »

Protágoras

Protágoras (Πρωταγόρας; Abdera, c. 490 a.C. — Sicília, c. 415 a.C.Károly Simonyi.. CRC Press; 2012. ISBN 978-1-56881-329-5. p. 612.) foi um sofista da Grécia Antiga, célebre por cunhar a frase: "O homem é a medida de todas as coisas, das coisas que são, enquanto são, das coisas que não são, enquanto não são." Tendo como base para isso o pensamento de Heráclito.

Novo!!: Princípio da não-contradição e Protágoras · Veja mais »

Psicologia

Psicologia é a ciência que trata, estuda e analisa os processos mentais e comportamentos de indivíduos e grupos humanos em diferentes situações.

Novo!!: Princípio da não-contradição e Psicologia · Veja mais »

Quadrado das oposições

No sistema da lógica aristotélica, o quadrado das oposições, também conhecido como quadrado lógico ou tábua das oposições, é um diagrama que representa as quatro proposições do sistema aristotélico, ou formas lógicas, e as quatro relações lógicas que cada uma das formas pode estabelecer com as outras três.

Novo!!: Princípio da não-contradição e Quadrado das oposições · Veja mais »

Reductio ad absurdum

Reductio ad absurdum (latim para "redução ao absurdo"), é um tipo de argumento lógico no qual alguém assume uma ou mais hipóteses e, a partir destas, deriva uma consequência absurda ou ridícula, e então conclui que a suposição original deve estar errada.

Novo!!: Princípio da não-contradição e Reductio ad absurdum · Veja mais »

República

480x480px A República (do latim res publica, "coisa pública") é uma estrutura política de Estado ou forma de governo em que, segundo Cícero, são necessárias três condições fundamentais para caracterizá-la: um número razoável de pessoas (multitude); uma comunidade de interesses e de fins (communio); e um consenso do direito (consensus iuris).

Novo!!: Princípio da não-contradição e República · Veja mais »

Sócrates

Sócrates (Σωκράτης,, transl. Sōkrátēs; Alópece, c. 470 a.C. – Atenas, 399 a.C.) foi um filósofo ateniense do período clássico da Grécia Antiga.

Novo!!: Princípio da não-contradição e Sócrates · Veja mais »

Stanford Encyclopedia of Philosophy

A Enciclopédia de Filosofia de Stanford é uma enciclopédia online, colaborativa e de livre acesso, projetada em 1995 por John Perry (ex-diretor do centro CSLI), e retomado por Edward Zalta, o editor principal do projeto.

Novo!!: Princípio da não-contradição e Stanford Encyclopedia of Philosophy · Veja mais »

Stephen Kleene

Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.

Novo!!: Princípio da não-contradição e Stephen Kleene · Veja mais »

Teorema

Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.

Novo!!: Princípio da não-contradição e Teorema · Veja mais »

Viasa

Viasa narrando o Maabárata para Ganexa, seu escrivão. Críxena Devaipaiana (Kṛṣṇadvaipāyana), mais conhecido como Viasa (व्यासः,, lit. "compilador", "organizador") ou Veda Viasa (वेदव्यासः,, lit. "aquele que classificou o Vedas"), é o lendário compilador dos Vedas, organizador do Maabárata e autor dos Puranas, algumas das obras mais importantes da tradição hindu.

Novo!!: Princípio da não-contradição e Viasa · Veja mais »

Redireciona aqui:

Lei da não-contradição, Princípio da não contradição, Princípio de não-contradição.

CessanteEntrada
Ei! Agora estamos em Facebook! »