Algumas Lógicas

Ricardo Pereira Tassinari – Departamento de Filosofia – Unesp/Marília

Para se ter uma noção da diversidade e da fecundidade dos estudos sobre sistemas formais em Lógica (cf. A Lógica e as Lógicas: A Noção de Sistema Formal), apresenta-se, abaixo, um índice de alguns tópicos; em especial, apresenta-se uma lista de lógicas não-clássicas. Os links são para páginas da Enciclopédia da Universidade de Stanford/CA, em Inglês, indicada pela sigla SEP, feita com a colaboração de pesquisadores do mundo todo, e para a Wikipedia, a enciclopédia livre (i.e., com colaboração aberta), em Português, indicada pela sigla WikiPt, e em Inglês, indicada pela sigla WikiEn, que têm conteúdos diversos, uma da outra.

Lógica (Geral)

· Lógica (WikiPt) (WikiEn)

· Lógica – Lista dos artigos relacionados (WikiPt) (WikiEn)

Lógica Clássica

· Lógica Clássica (SEP) (WikiPt)

· Lógica Proposicional (WikiEn)

· Lógica de Primeira Ordem (WikiEn)

· Lógica de Segunda Ordem (WikiEn)

· Lógica de Ordem Superior (WikiEn)

Algumas Lógicas Não-Clássicas

· Lógica Modal (Modal Logic) (SEP) (WikiEn)

Lógica Deôntica (Deontic Logic) (SEP) (WikiEn)

Lógica Temporal (Temporal Logic) (SEP) (WikiEn)

Lógica Epistêmica (Epistemic Logic) (SEP) (WikiEn)

Lógica da Demonstrabilidade (Provability Logic) (SEP) (WikiEn)

· Lógica Polivalente ou Multivalente (Many-Valued or Multi-Valued Logic) (SEP) (WikiEn)

· Lógica Difusa (Fuzzy Logic) (SEP) (WikiEn)

· Lógica Parcial (Partial Logic)

· Lógica Sub-Estrutural (Substructural Logic) (SEP) (WikiEn)

· Lógica Intuicionista (Intuitionistic Logic) (SEP) (WikiEn)

· Lógica da Relevância (Relevance Logic) (SEP) (WikiEn)

· Lógica Paraconsistente (Paraconsistent Logic) (SEP) (WikiEn)

· Lógica Infinitária (Infinitary Logic) (SEP) (WikiEn)

· Lógica Livre (Free Logic) (WikiEn)

· Lógica Não-Monotônica (Non-Monotonic Logic) (SEP) (WikiEn)

· Lógica Default (Default Logic) (WikiEn)

· Lógica de Conclusões Múltiplas (Multiple-conclusion logic) (WikiEn)

· Lógica Não-Comutativa (Noncommutative Logic) (WikiEn)

· Logica da Computabilidade (Computability Logic) (WikiEn)

· Lógica Quântica (Quantum Logic) (WikiEn)

· Lógica Dialógica (Dialogical Logic)

· Lógica Intermediária (Intermediate Logic) (WikiEn)

· Lógica das Questões (Logic of Questions)

· Lógica Indutiva (Inductive Logic) ( SEP)

· Lógica da Ação (Action Logic)

· Lógica Conexiva (Connexive Logic) (SEP)

· Lógica da Revisão de Crenças (Logic of Belief Revision)

· Lógica Combinante (Combining Logic)

· Lógica Condicional (Conditionals Logic)

· Lógica Dinâmica (Dynamic Logic) (WikiEn)

· Lógica Híbrida (Hybrid Logic) (WikiEn)

· Lógica Intensional (Intensional Logic)

· Lógica Linear (Linear Logic) (WikiEn)

· Lógica Temporal Linear (Linear Temporal Logic) (WikiEn)

· Lógica da Expressão de Massa (Logic of Mass Expressions)

· Lógica da Independência Amigável (Independence Friendly Logic) (WikiEn)

· Lógica Categorial (Categorical Logic) (WikiEn)

· Lógica de Hoares (Hoare logic) (WikiEn)

· Defeasible Logic (WikiEn)

· Bunched Logic (WikiEn)

· Affine Logic (WikiEn)

Alguns Temas Relacionados:

· Lógica e Jogos (SEP)

· Lógica Informal (SEP) (WikiEn)

· Sistema Formal (WikiEn)

· Conseqüência Lógica (SEP) (WikiEn)

· Constantes Lógicas (SEP)

· Construções Lógicas (SEP)

· Forma Lógica (SEP) (WikiEn)

· Lógica e Ontologia (SEP)

· Lógica, Teorema e Fundamentos da Aritmética em Frege (SEP)

· Lógica Quântica e Teoria da Probabilidade (SEP)