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

Verdade

Índice Verdade

A verdade é a propriedade de estar de acordo com o fato real ou a realidade.

94 relações: Abdruschin, Alan Turing, Alfred Tarski, Anselmo de Cantuária, Antropologia cultural, Aristóteles, Aristotelismo, Axioma, Baruch Espinoza, Cálculo infinitesimal, Certeza, Conhecimento, Consenso, Contingência, Crítica da Razão Pura, Critério, Da Interpretação, Distinção analítico-sintética, Empirismo, Epistemologia, Equação diofantina, Ernildo Stein, Falso (lógica), Fato, Fórmula bem formada, Ficção, Filosofia, Filosofia analítica, Friedrich Nietzsche, Hipótese do continuum, Imaginário, Immanuel Kant, Inferência, Interpretação (lógica), Intersubjetividade, Introspecção, Jürgen Habermas, John Langshaw Austin, Kurt Gödel, Lógica, Lógica proposicional, Lenio Streck, Linguagem, Linguagem formal, Ludwig Wittgenstein, Martin Heidegger, Método científico, Mente, Metafísica, Mundo (filosofia), ..., Palavra, Paradoxo do mentiroso, Paul Cohen (matemático), Pensamento, Percepção, Platão, Pragmatismo, Pré-socráticos, Problemas de Hilbert, Programa de Hilbert, Proposição, Raciocínio lógico, Razão, Realidade, Regra de inferência, Relativismo, René Descartes, Richard Rorty, Símbolo (formal), Ser, Ser e Tempo, Sistema axiomático, Sistema formal, Sofisma, Subjetividade, Tabela-verdade, Teorema, Teoremas da incompletude de Gödel, Teoria da prova, Teoria dos conjuntos, Teoria dos modelos, Teoria semântica da verdade, Teorias da verdade, Tese de Church-Turing, Tomás de Aquino, Tomismo, Tractatus Logico-Philosophicus, Validade, Valor, 1663, 1927, 1930, 1961, 1998. Expandir índice (44 mais) »

Abdruschin

Abdruschin (Abd-ru-shin ou Abdrushin) é o pseudônimo pelo qual Oskar Ernst Bernhardt é mais conhecido.

Novo!!: Verdade e Abdruschin · Veja mais »

Alan Turing

Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.

Novo!!: Verdade e Alan Turing · Veja mais »

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!!: Verdade e Alfred Tarski · Veja mais »

Anselmo de Cantuária

Anselmo de Cantuária, conhecido também como Anselmo de Aosta por conta de sua cidade natal e Anselmo de Bec por causa da localização de seu mosteiro, foi um monge beneditino, filósofo e prelado da Igreja que foi arcebispo de Cantuária entre 1093 e 1109.

Novo!!: Verdade e Anselmo de Cantuária · Veja mais »

Antropologia cultural

A antropologia cultural é uma das quatro áreas da antropologia geral (four-field-approach), junto com a antropologia física (atualmente designada por antropologia biológica), a arqueologia e a linguística.

Novo!!: Verdade e Antropologia cultural · Veja mais »

Aristóteles

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

Novo!!: Verdade e Aristóteles · Veja mais »

Aristotelismo

Aristotelismo é a influência exercida pela filosofia de Aristóteles ao longo da história do pensamento ocidental.

Novo!!: Verdade e Aristotelismo · 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!!: Verdade e Axioma · Veja mais »

Baruch Espinoza

Baruch (de) Espinoza (em hebraico, ברוך שפינוזה), também referido como Baruch (de) Espinosa ou Baruch Spinoza ou, ainda, na literatura em português, como Bento (de) Espinosa e, após o herem de 1656, como Benedictus de Spinoza (Amsterdão, 24 de novembro de 1632 – Haia, 21 de fevereiro de 1677foi um filósofo de origem judaico-portuguesa, nascido nos Países Baixos, filho de uma família de refugiados na Sinagoga Portuguesa de Amsterdão, perseguidos pela inquisição lusitana. Um dos primeiros pensadores do Iluminismo e da crítica bíblica moderna, incluindo das modernas concepções de si mesmo e do universo, ele veio a ser considerado um dos grandes racionalistas da filosofia do século XVII. Inspirado pelas ideias inovadoras de René Descartes, Spinoza se tornou uma figura filosófica importante da Idade de Ouro Holandesa. O nome de batismo de Spinoza, que significa "Bem-aventurado", varia entre as diferentes línguas. Em hebraico, seu nome completo é escrito. Na Holanda, usava o nome português. Em suas obras em latim e em holandês, usava a forma latina desse nome, Benedictus. Spinoza foi criado na comunidade luso-judaica em Amsterdã. Ele desenvolveu ideias altamente controversas a respeito da autenticidade da Bíblia Hebraica e da natureza do Divino. Autoridades religiosas judaicas emitiram um chérem contra ele, levando-o a ser efetivamente expulso e repudiado pela sociedade judaica, aos 23 anos, inclusive por sua própria família. Seus livros foram posteriormente adicionados ao Índice de Livros Proibidos da Igreja Católica. Ele era frequentemente chamado de "ateu" por seus contemporâneos, embora em nenhuma parte de sua obra Espinoza argumente contra a existência de Deus. Spinoza viveu uma vida aparentemente simples como um moedor de lentes ópticas, colaborando nos designs de microscópio e lentes de telescópio com Christiaan Huygens. Ele recusou recompensas e homenagens ao longo de sua vida, incluindo posições de ensino de prestígio. Morreu aos 44 anos em 1677 de uma doença pulmonar, talvez tuberculose ou silicose exacerbada pela inalação de pó de vidro fino durante o polimento de lentes. Ele está enterrado no cemitério cristão de Nieuwe Kerk, em Haia. No seu magnum opus, a Ética, publicado postumamente, no mesmo ano de sua morte, Espinoza contrapôs-se ao dualismo mente-corpo de Descartes. A obra viria a tornar-se um dos marcos da filosofia ocidental. "Espinoza escreveu a última obra-prima latina indiscutível, na qual as concepções refinadas da filosofia medieval são finalmente voltadas contra si mesmas e totalmente destruídas". Sobre ele, Hegel diria: "O fato é que Espinoza se tornou um ponto de teste na filosofia moderna, de modo que realmente pode-se dizer: ou você é um espinozista ou nem mesmo é um filósofo". Suas realizações filosóficas e caráter moral levaram Gilles Deleuze a nomeá-lo "o 'príncipe' dos filósofos". Um dos grandes filósofos racionalistas do século XVII, dentro da chamada Filosofia Moderna, já em seu tempo apontou importantes reflexões sobre os modos de viver e os caminhos escolhidos pelos seres humanos. Estes, com seus desejos insaciáveis, seus pensamentos prepotentes e suas ausências de conexão com a natureza, estabeleceram relações que, por si mesmos, julgaram importantes para suas vidas na Terra, mas que não passam de ideias inadequadas e de uma experiência vagante; ou seja, experiência de vida que não é determinada pelo conhecimento.

Novo!!: Verdade e Baruch Espinoza · Veja mais »

Cálculo infinitesimal

O cálculo infinitesimal, também conhecido como cálculo diferencial e integral ou simplesmente cálculo, é um ramo importante da matemática, desenvolvido a partir da Álgebra e da Geometria, que se dedica ao estudo de taxas de variação de grandezas (como a inclinação de uma reta) e a acumulação de quantidades (como a área debaixo de uma curva ou o volume de um sólido).

Novo!!: Verdade e Cálculo infinitesimal · Veja mais »

Certeza

Um argumento é uma certeza se, e somente se, a hipótese das premissas do argumento se tornou uma verdade, depois da conclusão provada.

Novo!!: Verdade e Certeza · Veja mais »

Conhecimento

Conhecimento (do latim cognoscere, "ato de conhecer"), como a própria origem da palavra indica, é o ato ou efeito de conhecer.

Novo!!: Verdade e Conhecimento · Veja mais »

Consenso

O consenso se estabelece quando duas ou mais partes chegam a um ponto comum de decisão durante uma negociação Consenso é um conceito que descreve um tipo de acordo produzido por consentimento entre todos os membros de um grupo ou entre vários grupos.

Novo!!: Verdade e Consenso · Veja mais »

Contingência

Em filosofia e lógica, contingência é o modo de ser daquilo que não é necessário, nem impossível - mas que pode ser ou não.

Novo!!: Verdade e Contingência · Veja mais »

Crítica da Razão Pura

A Crítica da Razão Pura (em alemão, Kritik der reinen Vernunft) é a principal obra de teoria do conhecimento do filósofo Immanuel Kant, cuja primeira edição é de 1781, com alterações substanciais feitas pelo autor em determinadas seções para a segunda edição, publicada em 1787.

Novo!!: Verdade e Crítica da Razão Pura · Veja mais »

Critério

Um critério (do grego kritérion pelo latim criteriu) é um padrão que serve de base para que coisas e pessoas possam ser comparadas e julgadas.

Novo!!: Verdade e Critério · Veja mais »

Da Interpretação

Das Interpretações (em grego Περὶ Ἑρμηνείας, em latim De Interpretatione, abrev. De Int.), é um texto do filósofo grego Aristóteles de Estagira.

Novo!!: Verdade e Da Interpretação · Veja mais »

Distinção analítico-sintética

Distinção analítico-sintética ou Distinção analítico/sintético em filosofia, é uma distinção conceitual desenvolvida por Immanuel Kant usada para distinguir proposições (em particular, declarações que são julgamentos sujeito-predicado afirmativas) em proposições analíticas e proposições sintéticas.

Novo!!: Verdade e Distinção analítico-sintética · Veja mais »

Empirismo

Na filosofia, o empirismo (em latim: "experientia": "experiência", do grego: /έμπειρία/) é uma teoria do conhecimento que afirma que o conhecimento sobre o mundo vem apenas da experiência sensorial; é a experiência do real.

Novo!!: Verdade e Empirismo · Veja mais »

Epistemologia

Epistemologia (do grego ἐπιστήμη, transl. episteme: conhecimento certo, ciência; λόγος, transl. logos: discurso, estudo), em sentido estrito, refere-se ao ramo da filosofia que se ocupa do conhecimento científico; é o estudo crítico dos princípios, das hipóteses e dos resultados das diversas ciências, com a finalidade de determinar seus fundamentos lógicos, seu valor e sua importância objetiva.

Novo!!: Verdade e Epistemologia · Veja mais »

Equação diofantina

Na matemática, uma equação Diofantina é uma equação polinomial que permite a duas ou mais variáveis assumirem apenas valores inteiros.

Novo!!: Verdade e Equação diofantina · Veja mais »

Ernildo Stein

Ernildo Jacob Stein (Santa Rosa) é um filósofo, professor e escritor brasileiro.

Novo!!: Verdade e Ernildo Stein · Veja mais »

Falso (lógica)

Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário.

Novo!!: Verdade e Falso (lógica) · Veja mais »

Fato

é um dado verificado, confirmado e incontestável sobre um ou mais aspectos de algo ou circunstância.

Novo!!: Verdade e Fato · Veja mais »

Fórmula bem formada

formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.

Novo!!: Verdade e Fórmula bem formada · Veja mais »

Ficção

Ficção é o termo usado para designar uma narrativa imaginária, irreal, ou para redefinir obras (de arte) criadas a partir da imaginação.

Novo!!: Verdade e Ficção · 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!!: Verdade e Filosofia · Veja mais »

Filosofia analítica

A filosofia analítica é uma vertente do pensamento contemporâneo reivindicada por filósofos bastante diferentes e com duas caracterizações distintas, cuja filosofia precursora surgiu da superação da filosofia sintética do Século XIX.

Novo!!: Verdade e Filosofia analítica · Veja mais »

Friedrich Nietzsche

Friedrich Wilhelm Nietzsche (Röcken, Reino da Prússia, 15 de outubro de 1844 – Weimar, Império Alemão, 25 de agosto de 1900) foi um filósofo, filólogo, crítico cultural, poeta e compositor prussiano do século XIX, nascido na atual Alemanha.

Novo!!: Verdade e Friedrich Nietzsche · Veja mais »

Hipótese do continuum

A hipótese do continuum é uma conjectura proposta por Georg Cantor.

Novo!!: Verdade e Hipótese do continuum · Veja mais »

Imaginário

* Imaginação — capacidade mental que permite a representação de objetos.

Novo!!: Verdade e Imaginário · 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!!: Verdade e Immanuel Kant · 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!!: Verdade e Inferência · Veja mais »

Interpretação (lógica)

Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.

Novo!!: Verdade e Interpretação (lógica) · Veja mais »

Intersubjetividade

Intersubjetividade é a relação entre sujeito e sujeito e/ou sujeito e objeto.

Novo!!: Verdade e Intersubjetividade · Veja mais »

Introspecção

Introspecção é o ato pelo qual o sujeito observa os conteúdos de seus próprios estados mentais, tomando consciência deles.

Novo!!: Verdade e Introspecção · Veja mais »

Jürgen Habermas

Jürgen Habermas (Düsseldorf) é um filósofo e sociólogo alemão que participa da tradição da teoria crítica e do pragmatismo, sendo membro da Escola de Frankfurt.

Novo!!: Verdade e Jürgen Habermas · Veja mais »

John Langshaw Austin

John Langshaw Austin (Lancaster, 26 de Março de 1911 – Oxford, 8 de Fevereiro de 1960) foi um filósofo da linguagem britânico que desenvolveu uma grande parte da actual teoria dos actos de discurso.

Novo!!: Verdade e John Langshaw Austin · Veja mais »

Kurt Gödel

Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.

Novo!!: Verdade e Kurt Gödel · 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!!: Verdade e Lógica · 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!!: Verdade e Lógica proposicional · Veja mais »

Lenio Streck

Lenio Luiz Streck (Agudo, 21 de novembro de 1955) é um jurista brasileiro, conhecido principalmente por seus trabalhos voltados à filosofia do direito e à hermenêutica jurídica.

Novo!!: Verdade e Lenio Streck · Veja mais »

Linguagem

A linguagemAntônio Houaiss.

Novo!!: Verdade e Linguagem · Veja mais »

Linguagem formal

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Novo!!: Verdade e Linguagem formal · Veja mais »

Ludwig Wittgenstein

Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.

Novo!!: Verdade e Ludwig Wittgenstein · Veja mais »

Martin Heidegger

Martin Heidegger (Meßkirch, 26 de setembro de 1889 – Friburgo em Brisgóvia, 26 de maio de 1976) foi um filósofo, escritor, professor e reitor universitário alemão.

Novo!!: Verdade e Martin Heidegger · Veja mais »

Método científico

O método científico refere-se a um conjunto de regras básicas dos procedimentos que produzem o conhecimento científico, quer um novo conhecimento, quer uma correção (evolução) ou um aumento na área de incidência de conhecimentos anteriormente existentes.

Novo!!: Verdade e Método científico · Veja mais »

Mente

A mente observa e interpreta a realidade A mente é o conjunto de faculdades responsáveis pelos fenômenos mentais e abrangendo a estes em sua estrutura.

Novo!!: Verdade e Mente · Veja mais »

Metafísica

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

Novo!!: Verdade e Metafísica · Veja mais »

Mundo (filosofia)

Mundo é tudo aquilo que constitui a realidade.

Novo!!: Verdade e Mundo (filosofia) · Veja mais »

Palavra

Na língua portuguesa, uma palavra (do latim parábola, que por sua vez deriva do grego translit. parabolé) pode ser definida como sendo um conjunto de letras ou sons de uma língua, juntamente com a ideia associada a este conjunto.

Novo!!: Verdade e Palavra · 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!!: Verdade e Paradoxo do mentiroso · Veja mais »

Paul Cohen (matemático)

Paul Joseph Cohen (Long Branch, 2 de abril de 1934 — Stanford, 23 de março de 2007) foi um matemático estadunidense.

Novo!!: Verdade e Paul Cohen (matemático) · Veja mais »

Pensamento

O Pensador de Auguste Rodin. Em seu sentido mais comum, os termos pensamento e pensar referem-se a processos cognitivos conscientes que podem acontecer independentemente da estimulação sensorial.

Novo!!: Verdade e Pensamento · Veja mais »

Percepção

O cubo de Necker e o vaso de Rubin podem ser percebidos de mais de uma maneira urlmorta.

Novo!!: Verdade e Percepção · 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!!: Verdade e Platão · Veja mais »

Pragmatismo

Os Pragmatistas C. Peirce, W. James, J. Dewey e G. H. Mead respectivamente O pragmatismo constitui uma escola de filosofia estabelecida no final do século XIX, com origem no Metaphysical Club, um grupo de especulação filosófica liderado pelo lógico Charles Sanders Peirce, pelo psicólogo William James e pelo jurista Oliver Wendell Holmes, Jr., congregando em seguida acadêmicos importantes dos Estados Unidos.

Novo!!: Verdade e Pragmatismo · Veja mais »

Pré-socráticos

Filósofos pré-socráticos foram os filósofos da Grécia Antiga que, como sugere o nome, antecederam a Sócrates.

Novo!!: Verdade e Pré-socráticos · Veja mais »

Problemas de Hilbert

David Hilbert, o autor dos "23 problemas" Os Problemas de Hilbert são uma lista de 23 problemas em matemática propostos pelo matemático alemão David Hilbert na conferência do Congresso Internacional de Matemáticos de Paris em 1900.

Novo!!: Verdade e Problemas de Hilbert · Veja mais »

Programa de Hilbert

O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética.

Novo!!: Verdade e Programa de Hilbert · Veja mais »

Proposição

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

Novo!!: Verdade e Proposição · Veja mais »

Raciocínio lógico

Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.

Novo!!: Verdade e Raciocínio lógico · Veja mais »

Razão

Razão é a capacidade da mente humana que permite chegar a conclusões a partir de suposições ou premissas.

Novo!!: Verdade e Razão · Veja mais »

Realidade

Realidade (do latim realitas isto é, "coisa") significa, em seu sentido mais livre, o termo inclui tudo o que é, seja ou não perceptível, acessível ou entendido pela filosofia, ciência ou qualquer outro sistema de análise.

Novo!!: Verdade e Realidade · 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!!: Verdade e Regra de inferência · Veja mais »

Relativismo

O relativismo é o conceito de que os pontos de vista não têm uma verdade absoluta ou validade intrínsecas, mas eles têm apenas um valor relativo, subjetivo, e de acordo com diferenças na percepção e consideração.

Novo!!: Verdade e Relativismo · Veja mais »

René Descartes

René Descartes (La Haye en Touraine, 31 de março de 1596 – Estocolmo, 11 de fevereiro de 1650) foi um filósofo, físico e matemático francês.

Novo!!: Verdade e René Descartes · Veja mais »

Richard Rorty

Richard Rorty (Nova Iorque, 4 de Outubro de 1931 - Palo Alto, 8 de Junho de 2007) foi um filósofo pragmatista estadunidense.

Novo!!: Verdade e Richard Rorty · Veja mais »

Símbolo (formal)

cadeias de símbolos podem ser divididos em disparates e fórmulas bem formadas. Uma linguagem formal pode ser pensada como sendo idêntica ao conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e "não teoremas". Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados ​​para expressar essa ideia na linguagem formal.

Novo!!: Verdade e Símbolo (formal) · Veja mais »

Ser

Ser é um conceito que engloba características objetivas e subjetivas da realidade e da existência.

Novo!!: Verdade e Ser · Veja mais »

Ser e Tempo

Ser e tempo (em alemão: Sein und Zeit) é uma obra do filósofo alemão Martin Heidegger, publicada em 1927 nos Anais de Filosofia e Pesquisa Fenomenológica editados por Edmund Husserl.

Novo!!: Verdade e Ser e Tempo · Veja mais »

Sistema axiomático

Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.

Novo!!: Verdade e Sistema axiomático · Veja mais »

Sistema formal

Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.

Novo!!: Verdade e Sistema formal · Veja mais »

Sofisma

Sofisma ou sofismo (do grego antigo σόϕισμα -ατος, derivado de σοϕίξεσϑαι "fazer raciocínios capciosos") em filosofia, é um raciocínio ou falácia se chama a uma refutação aparente, refutação sofística e também a um silogismo aparente,"Japiassu e Marcondes explicam que o sofisma é o 'raciocínio que possui aparentemente a forme de um silogismo, sem que o seja, sendo usado assim de modo a produzir a ilusão de validade, e tendo como conclusão um paradoxo ou um impasse'.

Novo!!: Verdade e Sofisma · Veja mais »

Subjetividade

Subjetividade é entendida como o espaço íntimo do indivíduo, ou seja, como ele "instala" a sua opinião ao que é dito (mundo interno) com o qual ele se relaciona com o mundo social (mundo externo), resultando tanto em marcas singulares na formação do indivíduo quanto na construção de crenças e valores compartilhados na dimensão cultural que vão constituir a experiência histórica e coletiva dos grupos e populações.

Novo!!: Verdade e Subjetividade · 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!!: Verdade e Tabela-verdade · 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!!: Verdade e Teorema · Veja mais »

Teoremas da incompletude de Gödel

Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.

Novo!!: Verdade e Teoremas da incompletude de Gödel · 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!!: Verdade e Teoria da prova · 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!!: Verdade e Teoria dos conjuntos · Veja mais »

Teoria dos modelos

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.

Novo!!: Verdade e Teoria dos modelos · Veja mais »

Teoria semântica da verdade

Uma teoria semântica da verdade é uma teoria da verdade na filosofia da linguagem que afirma que a verdade é uma propriedade das sentenças A concepção semântica da verdade foi publicada pelo lógico polonês Alfred Tarski por volta de 1930.

Novo!!: Verdade e Teoria semântica da verdade · Veja mais »

Teorias da verdade

Teorias da verdade são teorias que fornecem uma definição de verdade para uma linguagem.

Novo!!: Verdade e Teorias da verdade · Veja mais »

Tese de Church-Turing

Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.

Novo!!: Verdade e Tese de Church-Turing · Veja mais »

Tomás de Aquino

Tomás de Aquino, em italiano Tommaso d'Aquino (Roccasecca, 1225 – Fossanova, 7 de março de 1274), foi um frade católico italiano da Ordem dos Pregadores (dominicano) cujas obras tiveram enorme influência na teologia e na filosofia, principalmente na tradição conhecida como Escolástica, e que, por isso, é conhecido como "Doctor Angelicus", "Doctor Communis" e "Doctor Universalis".

Novo!!: Verdade e Tomás de Aquino · Veja mais »

Tomismo

O tomismo é o sistema filosófico e teológico de Santo Tomás de Aquino (1225 - 1274), posteriormente aprofundado pela corrente de pensadores influenciados por ele.

Novo!!: Verdade e Tomismo · Veja mais »

Tractatus Logico-Philosophicus

O Tractatus Logico-Philosophicus (latim para "Tratado Lógico-Filosófico") é o livro publicado pelo filósofo austríaco Ludwig Wittgenstein em sua vida.

Novo!!: Verdade e Tractatus Logico-Philosophicus · Veja mais »

Validade

O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos.

Novo!!: Verdade e Validade · Veja mais »

Valor

*Valor (cor) - luminosidade de um matiz, tonalidade de uma cor.

Novo!!: Verdade e Valor · Veja mais »

1663

---- (na numeração romana) foi um ano comum do século XVII do Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi G (52 semanas), teve início numa segunda-feira e terminou também numa segunda-feira.

Novo!!: Verdade e 1663 · Veja mais »

1927

(na numeração romana) foi um ano comum do século XX do calendário gregoriano, da Era de Cristo, e a sua letra dominical foi B (52 semanas), teve início a um sábado e terminou também a um sábado.

Novo!!: Verdade e 1927 · Veja mais »

1930

---- (na numeração romana) foi um ano comum do século XX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi E (52 semanas), teve início a uma quarta-feira e terminou também a uma quarta-feira.

Novo!!: Verdade e 1930 · Veja mais »

1961

Sem descrição

Novo!!: Verdade e 1961 · Veja mais »

1998

Sem descrição

Novo!!: Verdade e 1998 · Veja mais »

Redireciona aqui:

Veracidade, Verdades.

CessanteEntrada
Ei! Agora estamos em Facebook! »