40 relações: Arthur Prior, Axioma, Clarence Irving Lewis, Completude (lógica), Deus, Distributividade, Fenomenologia, Filósofo, Filosofia analítica, Georg Henrik von Wright, Gottlob Frege, Hugh MacColl, Immanuel Kant, Kurt Gödel, Lógica, Lógica dinâmica, Lógica modal clássica, Lógica modal normal, Lógica proposicional, Lógica temporal, Lei científica, Número atómico, Necessidade (filosofia), Negação, Oskar Becker, Pé-grande, Possibilidade lógica, Probabilidade, Rudolf Carnap, S5 (lógica modal), Satisfatibilidade, Saul Kripke, Se e somente se, Semântica, Stanford Encyclopedia of Philosophy, Tempo, Teorema, Teorema de redução de modalidades em S5, Vaughan Pratt, Velocidade da luz.
Arthur Prior
Arthur Norman Prior, também conhecido como AN Prior, (4 de dezembro de 1914 - 6 de outubro de 1969) foi um notável lógico e filósofo.
Novo!!: Lógica modal e Arthur Prior · 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!!: Lógica modal e Axioma · Veja mais »
Clarence Irving Lewis
Clarence Irving Lewis (Stoneham, 12 de abril de 1883 – Menlo Park, 3 de fevereiro de 1964), comumente citado como C.
Novo!!: Lógica modal e Clarence Irving Lewis · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Lógica modal e Completude (lógica) · Veja mais »
Deus
Deus é um conceito de Ser Supremo presente em diversas religiões monoteístas, henoteístas ou politeístas, sendo geralmente definido como o espírito infinito e eterno, criador e preservador do Universo.
Novo!!: Lógica modal e Deus · Veja mais »
Distributividade
Distributividade é uma propriedade de duas operações binárias, em que a ordem em que as operações são efetuadas pode, de certa forma, ser trocada.
Novo!!: Lógica modal e Distributividade · Veja mais »
Fenomenologia
Fenomenologia (do grego phainesthai — aquilo que se apresenta ou que mostra — e logos explicação, estudo) é uma metodologia ou um modo de pensamento filosófico que retoma a importância dos fenômenos, os quais devem ser estudados em si mesmos – tudo que podemos saber do mundo e de nós próprios resume-se a esses fenômenos, a esses objetos fenomenais que o ser experimenta em sua finitude.
Novo!!: Lógica modal e Fenomenologia · Veja mais »
Filósofo
Filósofo é alguém que pratica a filosofia, a qual envolve investigação racional em áreas que estão fora da teologia ou da ciência.
Novo!!: Lógica modal e Filósofo · 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!!: Lógica modal e Filosofia analítica · Veja mais »
Georg Henrik von Wright
Georg Henrik von Wright (14 de junho de 1916 – 16 de junho de 2003) foi um filósofo finlandês que sucedeu a Ludwig Wittgenstein como professor da Universidade de Cambridge.
Novo!!: Lógica modal e Georg Henrik von Wright · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Lógica modal e Gottlob Frege · Veja mais »
Hugh MacColl
Hugh MacColl (1837-1909) foi um matemático e lógico escocês.
Novo!!: Lógica modal e Hugh MacColl · 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!!: Lógica modal e Immanuel Kant · 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!!: Lógica modal 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!!: Lógica modal e Lógica · Veja mais »
Lógica dinâmica
Lógica dinâmica é uma extensão da lógica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da linguística, filosofia, Inteligência Artificial, e outros campos.
Novo!!: Lógica modal e Lógica dinâmica · Veja mais »
Lógica modal clássica
Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema) \Diamond A \equiv \lnot\Box\lnot A e sendo fechada sob a regra A \equiv B \vdash \Box A\equiv\Box B. Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema) \Box A \equiv \lnot\Diamond\lnot A e é fechada sob a regra A \equiv B \vdash \Diamond A\equiv\Diamond B. O sistema clássico mais fraco, algumas vezes referido como E, é não-nomal.
Novo!!: Lógica modal e Lógica modal clássica · Veja mais »
Lógica modal normal
Em lógica, uma lógica modal normal é um conjunto L de fórmas modais tais que L contém.
Novo!!: Lógica modal e Lógica modal normal · 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!!: Lógica modal e Lógica proposicional · Veja mais »
Lógica temporal
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.
Novo!!: Lógica modal e Lógica temporal · Veja mais »
Lei científica
Lei, no sentido científico, é uma regra com base em algum fenômeno que ocorra com regularidade observada.
Novo!!: Lógica modal e Lei científica · Veja mais »
Número atómico
(Z) é um termo usado na física e na química, para designar o número de, encontrados no núcleo de um átomo.
Novo!!: Lógica modal e Número atómico · Veja mais »
Necessidade (filosofia)
Uma proposição necessária é aquela que não pode ser falsa.
Novo!!: Lógica modal e Necessidade (filosofia) · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Lógica modal e Negação · Veja mais »
Oskar Becker
Oskar Becker (Leipzig, 5 de setembro de 1889 - Bona, 13 de novembro de1964) foi um matemático e fenomenólogo alemão discípulo de Edmund Husserl.
Novo!!: Lógica modal e Oskar Becker · Veja mais »
Pé-grande
245px O Pé Grande (Bigfoot; ou Sasquatch, termo derivado do halkomelem, idioma do grupo linguístico salishe, do sudoeste da Columbia Britânica) é descrito como um grande símio que vive nas regiões selvagens e remotas dos Estados Unidos e Canadá.
Novo!!: Lógica modal e Pé-grande · Veja mais »
Possibilidade lógica
Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.
Novo!!: Lógica modal e Possibilidade lógica · Veja mais »
Probabilidade
A palavra probabilidade deriva do Latim probare (provar ou testar).
Novo!!: Lógica modal e Probabilidade · 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!!: Lógica modal e Rudolf Carnap · Veja mais »
S5 (lógica modal)
Em lógica e filosofia, S5 é um dos cinco sistemas de lógica modal propostos por Clarence Irving Lewis e Cooper Harold Langford no livro Symbolic Logic, de 1932.
Novo!!: Lógica modal e S5 (lógica modal) · Veja mais »
Satisfatibilidade
Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica.
Novo!!: Lógica modal e Satisfatibilidade · 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!!: Lógica modal e Saul Kripke · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Lógica modal e Se e somente se · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Lógica modal e Semântica · 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!!: Lógica modal e Stanford Encyclopedia of Philosophy · Veja mais »
Tempo
matéria e energia guardam íntima relação. O tempo é uma grandeza física presente não apenas no cotidiano como também em todas as áreas e cadeiras científicas.
Novo!!: Lógica modal e Tempo · 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!!: Lógica modal e Teorema · Veja mais »
Teorema de redução de modalidades em S5
O teorema de redução de modalidades em S5 (um sistema de lógica modal construído com a adição da euclidianidade e reflexividade à lógica '''K''') diz que qualquer fórmula de grau modal maior do que 1 (que apresente mais de um operador modal aplicado a uma mesma fórmula) é reduzível em S5 a uma fórmula de primeiro grau.
Novo!!: Lógica modal e Teorema de redução de modalidades em S5 · Veja mais »
Vaughan Pratt
Vaughan Ronald Pratt é um cientista da computação australiano.
Novo!!: Lógica modal e Vaughan Pratt · Veja mais »
Velocidade da luz
A velocidade da luz no vácuo, simbolizada pela letra c, é, por definição, igual a metros por segundo.
Novo!!: Lógica modal e Velocidade da luz · Veja mais »
Redireciona aqui:
Logica Modal, Logica modal, Lógica Modal, Modalidade alética.