Acesso mais rápido do que o navegador!
104 relações: Ambiguidade, Andrzej Ehrenfeucht, Andrzej Mostowski, Anita Burdman Feferman, Aritmética de Robinson, Axioma da escolha, Axioma de Cantor-Dedekind, Axiomas de Hilbert, Axiomas de Peano, Álgebra universal, Benson Mates, Bjarni Jónsson, Círculo de Viena, Chen Chung Chang, Colloquium Lectures, Consequência lógica, Consistência, Decidibilidade, Donald Davidson, Edmundo Curvelo, Escola de Matemática de Varsóvia, Esquema T, Evert Willem Beth, Filosofia da Lógica, Filosofia da matemática, Franz Brentano, Griffith Conrad Evans, Hajnal Andréka, Howard Jerome Keisler, Intensão, Jaakko Hintikka, Jan Łukasiewicz, Janina Hosiasson-Lindenbaum, John Etchemendy, John Searle, Julia Robinson, Kurt Gödel, Language, Proof and Logic, Lógica algébrica abstrata, Lógica de Łukasiewicz, Lógica difusa, Lógica do functor predicado, Lógica multivalorada, Lógica paraconsistente, Lógica universal, Leônidas Hegenberg, Lema da diagonal, Leon Chwistek, Leon Henkin, Linguagem, ..., Lista de não teístas, Lista de palestrantes do Congresso Internacional de Matemáticos, Lista de palestrantes plenários do Congresso Internacional de Matemáticos, Lista de sistemas dedutivos, Método dedutivo, Mereologia, Metalógica, Metamatemática, Modelo booliano valorado, Mojżesz Presburger, Newton da Costa, Objeto formal, Paradoxo de Banach–Tarski, Paradoxo de Quine, Paradoxo do mentiroso, Polónia, Positivismo lógico, Problema círculo-quadrado de Tarski, Problema da função exponencial de Tarski, Ralph McKenzie, Raphael Mitchel Robinson, Relação (matemática), Richard Montague, Robert Lawson Vaught, Roger Maddux, Rudolf Carnap, Saul Kripke, Símbolo não lógico, Semântica formal (lógica), Semântica Prova-Teórica, Sentença atômica, Sistema de Hilbert, Sociedade Literária Germânica, Solomon Feferman, Stanisław Leśniewski, Tarski (desambiguação), Tarski Lectures, Teorema da dedução, Teorema da indefinibilidade de Tarski, Teorema de Knaster–Tarski, Teorema de Löwenheim–Skolem, Teorema do ideal primo booliano, Teoremas da incompletude de Gödel, Teoria dos conjuntos de Tarski-Grothendieck, Teoria semântica da verdade, Teorias da verdade, Verdade, Verdade lógica, Willard van Orman Quine, Wolfgang Stegmüller, Zlil Sela, 14 de janeiro, 1901 na ciência, 1983 na ciência. Expandir índice (54 mais) »
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Alfred Tarski e Ambiguidade · Veja mais »
Andrzej Ehrenfeucht
Andrzej Ehrenfeucht (Vilnius) é um matemático e cientista da computação polonês-estadunidense.
Novo!!: Alfred Tarski e Andrzej Ehrenfeucht · Veja mais »
Andrzej Mostowski
Andrzej Mostowski (Leópolis, 1 de novembro de 1913 — 22 de agosto de 1975) foi um matemático polonês.
Novo!!: Alfred Tarski e Andrzej Mostowski · Veja mais »
Anita Burdman Feferman
Anita Burdman Feferman (– ) foi uma historiadora da matemática e biógrafa estadunidense, conhecida por suas biografias de Jean van Heijenoort e (com seu marido, o lógico Solomon Feferman) de Alfred Tarski.
Novo!!: Alfred Tarski e Anita Burdman Feferman · Veja mais »
Aritmética de Robinson
Na matemática, a Aritmética de Robinson, ou Q, é um fragmento finitamente axiomatizado da Aritmética de Peano (AP), estabelecida pela primeira vez por Raphael Mitchel Robinson (1950).
Novo!!: Alfred Tarski e Aritmética de Robinson · Veja mais »
Axioma da escolha
Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".
Novo!!: Alfred Tarski e Axioma da escolha · Veja mais »
Axioma de Cantor-Dedekind
Em lógica matemática, a frase axioma de Cantor-Dedekind tem sido usado para descrever a tese de que os números reais são ordenados isomorficamente ao contínuo linear da geometria.
Novo!!: Alfred Tarski e Axioma de Cantor-Dedekind · Veja mais »
Axiomas de Hilbert
Os axiomas de Hilbert são um conjunto de 20 (originalmente 21) premissas propostas por David Hilbert em 1899 no seu livro Grundlagen der Geometrie (tr. Fundamentos da Geometria), como a fundação de um tratamento moderno da geometria euclidiana.
Novo!!: Alfred Tarski e Axiomas de Hilbert · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Alfred Tarski e Axiomas de Peano · Veja mais »
Álgebra universal
A álgebra universal (às vezes chamada de álgebra geral) é o campo da matemática que estuda as estruturas algébricas em si, não os exemplos ("modelos") de estruturas algébricas.
Novo!!: Alfred Tarski e Álgebra universal · Veja mais »
Benson Mates
Benson Mates (19 de maio de 1919, Portland (Oregon) - 14 de maio de 2009, Berkeley (Califórnia)) foi um filósofo norte-americano, notável pelo seu trabalho na lógica, na história da filosofia, e no skepticismo.
Novo!!: Alfred Tarski e Benson Mates · Veja mais »
Bjarni Jónsson
Bjarni Jónsson (–) foi um matemático islandês.
Novo!!: Alfred Tarski e Bjarni Jónsson · Veja mais »
Círculo de Viena
Entrada do seminário de matemática da Universidade de Viena, ponto de encontro do círculo de Viena. O Círculo de Viena (em alemão Wiener Kreis) foi o nome como ficou conhecido um grupo de filósofos que se juntou informalmente na Universidade de Viena de 1922 a 1936 com a coordenação de Moritz Schlick.
Novo!!: Alfred Tarski e Círculo de Viena · Veja mais »
Chen Chung Chang
Chen Chung Chang é um matemático estadunidense.
Novo!!: Alfred Tarski e Chen Chung Chang · Veja mais »
Colloquium Lectures
A Colloquium Lecture da American Mathematical Society (AMS) é uma palestra especial anual, que ocorre no último dia da conferência de inverno da sociedade.
Novo!!: Alfred Tarski e Colloquium Lectures · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Alfred Tarski e Consequência lógica · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Alfred Tarski e Consistência · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Alfred Tarski e Decidibilidade · Veja mais »
Donald Davidson
Donald Herbert Davidson (6 de março de 1917 – 30 de agosto, 2003) foi um filósofo americano; leccionou na Universidade da Califórnia, Berkeley, de 1981 a 2003, após experiência substancial como professor de filosofia nas universidades de Stanford, Rockefeller, Princeton e Chicago.
Novo!!: Alfred Tarski e Donald Davidson · Veja mais »
Edmundo Curvelo
Edmundo de Carvalho Curvelo (Arronches, 18 de Outubro de 1913 — Lisboa, 13 de Janeiro de 1954) foi um filósofo e lógico português da primeira metade do século XX.
Novo!!: Alfred Tarski e Edmundo Curvelo · Veja mais »
Escola de Matemática de Varsóvia
A Escola de Matemática de Varsóvia foi, juntamente com a Escola de Matemática de Lviv e a Escola de Matemática da Cracóvia, um dos três centros da Escola de Matemática da Polônia.
Novo!!: Alfred Tarski e Escola de Matemática de Varsóvia · Veja mais »
Esquema T
O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski.
Novo!!: Alfred Tarski e Esquema T · Veja mais »
Evert Willem Beth
Evert Willem Beth (7 de julho de 1908 – 12 de abril de 1964) foi um filósofo e lógico holandês, que trabalhou, principalmente, em questões relacionadas aos fundamentos da matemática.
Novo!!: Alfred Tarski e Evert Willem Beth · Veja mais »
Filosofia da Lógica
Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.
Novo!!: Alfred Tarski e Filosofia da Lógica · Veja mais »
Filosofia da matemática
Filosofia da matemática é o ramo da filosofia que investiga os fenômenos da matemática.
Novo!!: Alfred Tarski e Filosofia da matemática · Veja mais »
Franz Brentano
Franz Clemens Honoratus Hermann Brentano (Boppard,Albertazzi, Liliana.. Springer Science & Business Media, 2006, p. 7s. 16 de Janeiro de 1838 — Zurique, 17 de Março de 1917) foi um filósofo e psicólogo alemão fundador da psicologia do ato.
Novo!!: Alfred Tarski e Franz Brentano · Veja mais »
Griffith Conrad Evans
Griffith Conrad Evans (—) foi um matemático estadunidense.
Novo!!: Alfred Tarski e Griffith Conrad Evans · Veja mais »
Hajnal Andréka
Hajnal Ilona Andréka (também Hajnalka Andréka; Budapeste) é uma matemática húngara, especializada em lógica algébrica.
Novo!!: Alfred Tarski e Hajnal Andréka · Veja mais »
Howard Jerome Keisler
Howard Jerome Keisler (Seattle) é um matemático estadunidense.
Novo!!: Alfred Tarski e Howard Jerome Keisler · Veja mais »
Intensão
Em Filosofia da linguagem, e em semântica, intensão é o conceito contido numa expressão linguística que refere ao conjunto de objetos, o qual constitui a extensão da expressão.
Novo!!: Alfred Tarski e Intensão · Veja mais »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 de janeiro de 1929 – 12 de agosto de 2015) foi um filósofo e lógico finlandês.
Novo!!: Alfred Tarski e Jaakko Hintikka · Veja mais »
Jan Łukasiewicz
Jan Łukasiewicz (21 de dezembro de 1878 — 13 de fevereiro de 1956) foi um lógico polonês.
Novo!!: Alfred Tarski e Jan Łukasiewicz · Veja mais »
Janina Hosiasson-Lindenbaum
Janina Hosiasson-Lindenbaum (Varsóvia, 6 de dezembro de 1899 Vilnius, abril de 1942) foi uma filósofa polonesa.
Novo!!: Alfred Tarski e Janina Hosiasson-Lindenbaum · Veja mais »
John Etchemendy
John W. Etchemendy (nascido em 1952, Reno, Nevada) é o décimo segundo e atual reitor da Universidade Stanford.
Novo!!: Alfred Tarski e John Etchemendy · Veja mais »
John Searle
John Rogers Searle (Denver, 31 de julho de 1932) é um filósofo analítico e escritor norte-americano e foi professor emérito da Universidade de Berkeley, na Califórnia, Estados Unidos.
Novo!!: Alfred Tarski e John Searle · Veja mais »
Julia Robinson
Julia Hall Bowman Robinson (St. Louis, 8 de dezembro de 1919 — Oakland, 30 de julho de 1985) foi uma matemática norte-americana conhecida por seu trabalho em problemas de decisão e problemas de Hilbert.
Novo!!: Alfred Tarski e Julia Robinson · 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!!: Alfred Tarski e Kurt Gödel · 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!!: Alfred Tarski e Language, Proof and Logic · Veja mais »
Lógica algébrica abstrata
Na Lógica Matemática, lógica algébrica abstrata é o estudo da algebrização dos sistemas dedutivos decorrente de uma abstração da já conhecida álgebra de Lindenbaum-Tarski, e como as álgebras resultantes estão relacionadas com os sistemas lógicos.
Novo!!: Alfred Tarski e Lógica algébrica abstrata · Veja mais »
Lógica de Łukasiewicz
Em matemática, a lógica de Łukasiewicz (em inglês:; em polonês), é uma lógica não-clássica multivalorada.
Novo!!: Alfred Tarski e Lógica de Łukasiewicz · 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!!: Alfred Tarski e Lógica difusa · Veja mais »
Lógica do functor predicado
Em lógica matemática, predicado functor lógica (PFL) é uma das várias maneiras de expressar o que a lógica de primeira ordem (também conhecida como lógica de predicado) puramente algébrica significa, por exemplo, sem variáveis quantificáveis.
Novo!!: Alfred Tarski e Lógica do functor predicado · Veja mais »
Lógica multivalorada
Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.
Novo!!: Alfred Tarski e Lógica multivalorada · Veja mais »
Lógica paraconsistente
Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso quodlibet, 'da falsidade, qualquer coisa'; ou ex contradictione quodlibet, 'da contradição, qualquer coisa ').
Novo!!: Alfred Tarski e Lógica paraconsistente · Veja mais »
Lógica universal
A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra.
Novo!!: Alfred Tarski e Lógica universal · Veja mais »
Leônidas Hegenberg
Leônidas Helmuth Baebler Hegenberg (1925-2012) foi um lógico e filósofo da ciência brasileiro.
Novo!!: Alfred Tarski e Leônidas Hegenberg · Veja mais »
Lema da diagonal
Na lógica matemática, o lema da diagonal ou teorema do ponto fixo estabelece a existência de sentenças auto-referenciais em certas teorias formais dos números naturais - especificamente as teorias que são fortes o suficiente para representar todas as funções computáveis.
Novo!!: Alfred Tarski e Lema da diagonal · Veja mais »
Leon Chwistek
Leon Chwistek (Cracóvia, – Barvikha, Moscou) foi um matemático, pintor, teórico da arte, filósofo e poeta polonês.
Novo!!: Alfred Tarski e Leon Chwistek · Veja mais »
Leon Henkin
Leon Henkin (Brooklyn, – Oakland) foi um lógico da Universidade de Berkeley.
Novo!!: Alfred Tarski e Leon Henkin · Veja mais »
Linguagem
A linguagemAntônio Houaiss.
Novo!!: Alfred Tarski e Linguagem · Veja mais »
Lista de não teístas
Esta é uma lista de pessoas notórias cuja visão sobre Deus possa ser classificada como "não-teísmo", a posição contrária ao teísmo (a crença declarada em um ou mais deuses).
Novo!!: Alfred Tarski e Lista de não teístas · Veja mais »
Lista de palestrantes do Congresso Internacional de Matemáticos
Esta é uma lista de palestrantes do Congresso Internacional de Matemáticos, composta por Plenary Speakers e Invited Speakers.
Novo!!: Alfred Tarski e Lista de palestrantes do Congresso Internacional de Matemáticos · Veja mais »
Lista de palestrantes plenários do Congresso Internacional de Matemáticos
A lista de palestrantes plenários do Congresso Internacional de Matemáticos os palestrantes plenários do Congresso Internacional de Matemáticos.
Novo!!: Alfred Tarski e Lista de palestrantes plenários do Congresso Internacional de Matemáticos · Veja mais »
Lista de sistemas dedutivos
Este artigo contém uma lista de exemplos de Sistemas de dedução ao estilo de Hilbert da lógica proposicional.
Novo!!: Alfred Tarski e Lista de sistemas dedutivos · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Alfred Tarski e Método dedutivo · Veja mais »
Mereologia
Mereologia (da raiz Grega μέρος - compartilhar ou partes; sufixo -logia - discurso, estudo, saber) é uma área da lógica e da filosofia que estuda as relações de participação, de partes com um todo, da relação das partes dentro de um todo.
Novo!!: Alfred Tarski e Mereologia · Veja mais »
Metalógica
Metalógica é o estudo da metateoria da Lógica.
Novo!!: Alfred Tarski e Metalógica · Veja mais »
Metamatemática
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.
Novo!!: Alfred Tarski e Metamatemática · Veja mais »
Modelo booliano valorado
Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos.
Novo!!: Alfred Tarski e Modelo booliano valorado · Veja mais »
Mojżesz Presburger
Mojżesz Presburger (1904 — 1943) foi um matemático, lógico e filósofo polonês de origem judaica.
Novo!!: Alfred Tarski e Mojżesz Presburger · Veja mais »
Newton da Costa
Newton Carneiro Affonso da Costa (Curitiba) é um matemático, lógico e filósofo brasileiro e um dos pensadores brasileiros mais reconhecidos internacionalmente.
Novo!!: Alfred Tarski e Newton da Costa · Veja mais »
Objeto formal
Em fundamentos da matemática, filosofia da matemática e filosofia da lógica,formalismo é uma teoria que sustenta afirmações matemáticas e lógicas e pode ser considerada como afirmações sobre as consequências de certas regras de manipulação de strings.
Novo!!: Alfred Tarski e Objeto formal · Veja mais »
Paradoxo de Banach–Tarski
O "paradoxo" de Banach–Tarski: Uma esfera pode ser decomposta e recomposta em duas esferas cada uma do mesmo tamanho da original.O teorema de Banach–Tarski estabelece que é possível dividir uma esfera sólida em um número finito de pedaços (em um caso particular Raphael M. Robinson dividiu em exatamente cinco pedaços), e com estes pedaços construir duas esferas, do mesmo tamanho da original.
Novo!!: Alfred Tarski e Paradoxo de Banach–Tarski · Veja mais »
Paradoxo de Quine
O Paradoxo de Quine, é um paradoxo que diz respeito a valores verdade, atribuido a Willard Van Orman Quine.
Novo!!: Alfred Tarski e Paradoxo de Quine · 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!!: Alfred Tarski e Paradoxo do mentiroso · Veja mais »
Polónia
(Polska), oficialmente República da Polónia (Rzeczpospolita Polska), é um país da Europa Central que tem fronteiras comuns com a Alemanha a oeste; com a Chéquia e a Eslováquia ao sul; com a Ucrânia e a Bielorrússia a leste; com o Mar Báltico, o Oblast de Kaliningrado (um exclave russo) e a Lituânia ao norte.
Novo!!: Alfred Tarski e Polónia · Veja mais »
Positivismo lógico
Positivismo lógico mais tarde chamado de empirismo lógico e também conhecido como neopositivismo, foi um movimento da filosofia ocidental cuja tese central foi o princípio da verificação (também conhecido como o critério de verificabilidade do significado).
Novo!!: Alfred Tarski e Positivismo lógico · Veja mais »
Problema círculo-quadrado de Tarski
O problema círculo-quadrado de Tarski é um desafio, formulado por Alfred Tarski em 1925, consistindo de um disco plano, o qual deve ser cortado em diversas peças que, quando devidamente reencaixadas, formam um quadrado de área igual ao disco.
Novo!!: Alfred Tarski e Problema círculo-quadrado de Tarski · Veja mais »
Problema da função exponencial de Tarski
Na teoria dos modelos, o problema da função exponencial de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível.
Novo!!: Alfred Tarski e Problema da função exponencial de Tarski · Veja mais »
Ralph McKenzie
Ralph Nelson Whitfield McKenzie (Cisco, Texas) é um matemático estadunidense.
Novo!!: Alfred Tarski e Ralph McKenzie · Veja mais »
Raphael Mitchel Robinson
Raphael Mitchel Robinson (National City, — Berkeley, Califórnia) foi um matemático estadunidense.
Novo!!: Alfred Tarski e Raphael Mitchel Robinson · Veja mais »
Relação (matemática)
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.
Novo!!: Alfred Tarski e Relação (matemática) · Veja mais »
Richard Montague
Richard Merett Montague (Stockton, 20 de setembro de 1930 - Los Angeles, 7 de março de 1971) foi um matemático e filósofo americano.
Novo!!: Alfred Tarski e Richard Montague · Veja mais »
Robert Lawson Vaught
Robert Lawson Vaught (Alhambra, Califórnia, – Berkeley, Califórnia) foi um lógico matemático estadunidense.
Novo!!: Alfred Tarski e Robert Lawson Vaught · Veja mais »
Roger Maddux
Roger Maddux é um matemático estadunidense, especialista em lógica algébrica.
Novo!!: Alfred Tarski e Roger Maddux · Veja mais »
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Wuppertal, — Santa Mônica) foi um filósofo alemão que trabalhou na Europa central antes de 1935 e nos Estados Unidos posteriormente.
Novo!!: Alfred Tarski e Rudolf Carnap · Veja mais »
Saul Kripke
Saul Aaron Kripke (/ˈkrɪpki/; 13 de novembro de 1940 - 15 de setembro de 2022) foi um importante filósofo e lógico americano de tradição analítica.
Novo!!: Alfred Tarski e Saul Kripke · Veja mais »
Símbolo não lógico
O conjunto dos é a parte de uma linguagem de primeira ordem que informa a sua “área de especialidade” (além da expressividade geral).
Novo!!: Alfred Tarski e Símbolo não lógico · Veja mais »
Semântica formal (lógica)
Na lógica, semântica formal ou lógica semântica,Winfried Nöth Handbook of semiotics é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente tentando captar a noção pré-teórica de implicação (ou consequência lógica).
Novo!!: Alfred Tarski e Semântica formal (lógica) · Veja mais »
Semântica Prova-Teórica
Semântica prova-teórica é uma abordagem para a semântica da lógica que tenta localizar o significado de proposições e conectivos lógicos não em termos de interpretações, como em abordagens tarskianas para semântica, mas no papel que a proposição ou os conectivos lógicos têm dentro do sistema de inferências. Gerhard Gentzen é o criador da semântica prova-teórica, fornecendo sua base formal na sua abordagem à eliminação por corte para o cálculo de sequentes, e algumas observações filosóficas provocativas sobre como localizar o significado de conectivos lógicos em suas regras de introdução dentro de dedução natural.
Novo!!: Alfred Tarski e Semântica Prova-Teórica · Veja mais »
Sentença atômica
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples.
Novo!!: Alfred Tarski e Sentença atômica · Veja mais »
Sistema de Hilbert
Na lógica matemática, um Sistema de Hilbert, também chamado de Cálculo de Hilbert ou de Sistema de Hilbert-Ackermann, é um tipo de sistema de dedução formal atribuído a Gottlob Frege e David Hilbert.
Novo!!: Alfred Tarski e Sistema de Hilbert · Veja mais »
Sociedade Literária Germânica
Sociedade Literária germanica (Sodalitas litteraria Germaniae) ou simplesmente, Sociedade Literária (Sodalitas litterária) eram as Associações Científicas de estudiosos e seguidores do Humanismo renascentista na Europa Central, cuja existência ofereceu uma plataforma de intercâmbio para o desenvolvimentos de suas ideias.
Novo!!: Alfred Tarski e Sociedade Literária Germânica · Veja mais »
Solomon Feferman
Solomon Feferman (Nova Iorque, - 26 de julho de 2016) foi um matemático e filósofo estadunidense.
Novo!!: Alfred Tarski e Solomon Feferman · Veja mais »
Stanisław Leśniewski
Stanisław Leśniewski (Serpukov, 30 de março de 1886 — Varsóvia, 13 de maio de 1939) foi um filósofo e matemático polonês.
Novo!!: Alfred Tarski e Stanisław Leśniewski · Veja mais »
Tarski (desambiguação)
*Alfred Tarski — lógico, matemático e filósofo polonês.
Novo!!: Alfred Tarski e Tarski (desambiguação) · Veja mais »
Tarski Lectures
As Tarski Lectures (Palestras Tarski) da Universidade da Califórnia em Berkeley são uma honraria em lógica matemática em memória de Alfred Tarski.
Novo!!: Alfred Tarski e Tarski Lectures · Veja mais »
Teorema da dedução
Na lógica matemática, o teorema da dedução é um metateorema da lógica de primeira ordem.
Novo!!: Alfred Tarski e Teorema da dedução · Veja mais »
Teorema da indefinibilidade de Tarski
Teorema da indefinibilidade de Tarski, declarado e provado por Alfred Tarski em 1936, é um importante resultado limitativo em lógica matemática, os fundamentos da matemática, e em semântica formal.
Novo!!: Alfred Tarski e Teorema da indefinibilidade de Tarski · Veja mais »
Teorema de Knaster–Tarski
O Teorema de Knaster–Tarski, por Bronisław Knaster e Alfred Tarski, é um resultado matemático em teoria da ordem sobre reticulados que diz o seguinte: O teorema determina ainda a forma geral do máximo e do mínimo do conjunto de pontos fixos de f. O teorema na sua forma mais geral, foi originalmente enunciado por Tarski; e assim o teorema é muitas vezes conhecido como teorema do ponto fixo de Tarski.
Novo!!: Alfred Tarski e Teorema de Knaster–Tarski · Veja mais »
Teorema de Löwenheim–Skolem
Na lógica matemática, o teorema Löwenheim-Skolem, assim denominado em referência a Leopold Löwenheim e Thoralf Skolem, afirma que, se uma teoria de primeira ordem contável tem um modelo infinito, então para cada número cardinal infinito κ, existe um modelo de tamanho κ.
Novo!!: Alfred Tarski e Teorema de Löwenheim–Skolem · Veja mais »
Teorema do ideal primo booliano
Em matemática, um teorema do ideal primo garante a existência de certos tipos de subconjuntos numa álgebra dada.
Novo!!: Alfred Tarski e Teorema do ideal primo booliano · 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!!: Alfred Tarski e Teoremas da incompletude de Gödel · Veja mais »
Teoria dos conjuntos de Tarski-Grothendieck
A teoria dos conjuntos de Tarski-Grothendieck (TG, assim denominada em referência aos matemáticos Alfred Tarski e Alexander Grothendieck) é uma teoria dos conjuntos axiomática.
Novo!!: Alfred Tarski e Teoria dos conjuntos de Tarski-Grothendieck · 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!!: Alfred Tarski 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!!: Alfred Tarski e Teorias da verdade · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Alfred Tarski e Verdade · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: Alfred Tarski e Verdade lógica · Veja mais »
Willard van Orman Quine
Willard Van Orman Quine (Akron, — Boston), usualmente citado como Quine, mas conhecido por seus amigos e familiares como Van, foi um dos mais influentes matemáticos, filósofos e lógicos norte-americanos do século XX, considerado o maior lógico e filósofo analítico da segunda metade desse século.
Novo!!: Alfred Tarski e Willard van Orman Quine · Veja mais »
Wolfgang Stegmüller
Wolfgang Stegmüller (3 de junho de 1923 - 11 de junho de 1991) foi um filósofo alemão-austríaco que fez importantes contribuições na filosofia da ciência e na filosofia analítica.
Novo!!: Alfred Tarski e Wolfgang Stegmüller · Veja mais »
Zlil Sela
Zlil Sela é um matemático israelense.
Novo!!: Alfred Tarski e Zlil Sela · Veja mais »
14 de janeiro
1659: Batalha das Linhas de Elvas. Operação ''Ke''.
Novo!!: Alfred Tarski e 14 de janeiro · Veja mais »
1901 na ciência
Sem descrição
Novo!!: Alfred Tarski e 1901 na ciência · Veja mais »
1983 na ciência
Sem descrição
Novo!!: Alfred Tarski e 1983 na ciência · Veja mais »
Redireciona aqui:
Alfred Teitelbaum, Alfred teitelbaum, Tarski.
