Filosofia da lógica - Philosophy of logic
Seguindo os desenvolvimentos no estudo filosófico da lógica formal com a lógica simbólica no final do século XIX e a lógica matemática no século XX, tópicos tradicionalmente tratados pela lógica que não fazem parte da lógica formal tendem a ser chamados de filosofia da lógica ou lógica filosófica, se não mais simplesmente lógica .
Em comparação com a história da lógica, a demarcação entre a filosofia da lógica e a lógica filosófica é de cunhagem recente e nem sempre totalmente clara. As características incluem:
- Filosofia da lógica é a área da filosofia dedicada a examinar o escopo e a natureza da lógica.
- Filosofia da lógica é a investigação, análise crítica e reflexão intelectual sobre as questões que surgem na lógica . O campo é considerado distinto da lógica filosófica .
- A lógica filosófica é o ramo de estudo que trata de questões sobre referência , predicação , identidade , verdade , quantificação , existência , vinculação , modalidade e necessidade .
- A lógica filosófica é a aplicação de técnicas lógicas formais a problemas filosóficos.
Este artigo descreve questões de filosofia da lógica ou fornece links para artigos relevantes ou ambos.
Introdução
Este artigo usa os seguintes termos e conceitos:
Verdade
Aristóteles disse Dizer que aquilo que é, não é ou aquilo que não é, é uma falsidade; e dizer que o que é, é e o que não é não é, é verdade
Esse aparente truísmo não se mostrou isento de problemas.
Portadores da verdade
A lógica usa termos como verdadeiro, falso, inconsistente, válido e autocontraditório. As questões surgem enquanto Strawson (1952) escreve
(a) quando usamos essas palavras de avaliação lógica, o que exatamente estamos avaliando? e (b) como a avaliação lógica se torna possível?
A definição de verdade de Tarski
Ver:
- Teoria semântica da verdade § Teoria de Tarski
- Esquema T
- Entrada da Enciclopédia de Filosofia de Stanford nas Definições de Verdade de Tarski
- Auto-referência: 2.1 Consequências dos Paradoxos Semânticos na Enciclopédia de Filosofia de Stanford
Verdades analíticas, verdade lógica, validade, consequência lógica e implicação
Uma vez que o uso, o significado, se não o significado, dos termos faz parte do debate, só é possível dar as seguintes definições de trabalho para os fins da discussão:
- Uma verdade necessária é aquela que é verdadeira independentemente do estado do mundo ou, como às vezes se diz, em todos os mundos possíveis.
- As verdades lógicas são aquelas verdades necessárias que são necessariamente verdadeiras devido ao significado de suas constantes lógicas apenas.
- Na lógica formal, uma verdade lógica é apenas uma "afirmação" (sequência de símbolos em que nenhuma variável ocorre livremente) que é verdadeira sob todas as interpretações possíveis .
- Uma verdade analítica é aquela cujo conceito predicado está contido em seu conceito de sujeito.
O conceito de verdade lógica está intimamente ligado àqueles de validade , consequência lógica e implicação (bem como autocontradição, necessariamente falso etc.).
- Se q for uma verdade lógica, então p, portanto , será um argumento válido.
- Se p1, p2, p3 ... pn, portanto, q é um argumento válido, então sua condicional correspondente será uma verdade lógica.
- Se p1 & p2 & p3 ... pn implica q, então Se (p1 & p2 & p3 ... pn) então q é uma verdade lógica.
- Se q é uma consequência lógica de p1 & p2 & p3 ... pn se e somente se p1 & p2 & p3 ... pn implica q e se e somente se If (p1 & p2 & p3..pn) então q é uma verdade lógica
Os problemas que surgem incluem:
- Se existem verdades que devem ser verdadeiras, o que as torna verdadeiras?
- Existem verdades analíticas que não são verdades lógicas?
- Existem verdades necessárias que não são verdades analíticas?
- Existem verdades necessárias que não são verdades lógicas?
- A distinção entre verdade analítica e verdade sintética é espúria?
Veja também [1]
Paradoxo
Significado e referência
Ver
- Sentido e referência
- Teoria da Referência
- Teoria da referência mediada
- Teoria da referência direta
- Teoria causal da referência (seção Referências)
- Teoria descritivista dos nomes (seção Referências)
- Saul Kripke (seção de referências)
- O quebra-cabeça de Frege (seção Novas teorias de referência e o retorno do quebra-cabeça de Frege)
- Gottlob Frege (seção Referências)
- Falha de referência (seção Referências)
- Designador rígido (seção Teoria histórico-causal da referência)
- Filosofia da linguagem (seção Referências)
- Índice de artigos de filosofia de linguagem
- Teoria da suposição (seção Referências)
- Expressão de referência
- Significado (filosofia da linguagem)
- Denotação e Conotação
- Extensão e Intensão
- Definição extensional
- Definição intensiva
- Competência metacomunicativa
Nomes e descrições
- Falha em referir
- Nome próprio (filosofia)
- Descrição definitiva
- Teoria descritivista dos nomes
- Teoria das Descrições
- Termo singular
- Lógica do termo § Termos singulares
- Nome vazio
- Bas van Fraassen § Termos singulares, lacunas de valor de verdade e lógica livre
- Os fundamentos da aritmética § Desenvolvimento da própria visão de Frege sobre vários
- Filosofia da linguagem § referências
- Referência direta
- Teoria da referência mediada
Consequência formal e material
- O problema da condicional material: ver condicional material
Constantes lógicas e conectivos
Quantificadores e teoria quantificacional
Lógica modal
Lógicas desviantes
Lógica clássica x não clássica
Teorias filosóficas da lógica
- Conceitualismo
- Construtivismo
- Dialeteísmo
- Ficcionalismo
- Finitismo
- Formalismo
- Intuicionismo
- Atomismo lógico
- Logicismo
- Nominalismo
- Realismo
- Realismo platônico
- Estruturalismo
- Epistemologia Nyaya
Outros tópicos
- Lei de Leibniz: ver Identidade dos indiscerníveis
- Nomes vazios
- Os predicados têm propriedades ?: Consulte Lógica de segunda ordem
- Sentido, Referência, Conotação, Denotação, Extensão, Intensão
- O status das Leis da Lógica
- Lógica Clássica
- Intuicionismo
- Realismo: veja realismo platônico , realismo filosófico
- A Lei do Meio Excluído: ver Lei do Meio Excluído
- Modalidade, intensidade e atitude proposicional
- Contrafactuais
- Psicologismo
Veja também
- Ambiguidade
- Gramática livre de contexto
- Intenção
- " A lógica é empírica? "
- Teoria da concatenação
- Modalidade linguística
- Filosofia da matemática
- Distinção de tipo-token de Pierce
- Distinção de tipo-token
- Distinção de uso-menção
- Vaguidade
Figuras importantes
Figuras na filosofia da lógica incluem (mas não estão limitadas a):
Filósofos da lógica
|
Referências
Fontes
- Haack, Susan . 1978. Filosofia da Lógica . Cambridge University Press . ( ISBN 0-521-29329-4 )
- Quine, WVO 2004. Filosofia da Lógica . 2ª ed. Harvard University Press . ( ISBN 0-674-66563-5 )
- Alfred Tarski . 1983. O conceito de verdade em linguagens formalizadas, pp. 152-278, Logic, semantics, metamathematics, papers de 1923 a 1938, ed. John Corcoran (lógico) , Hackett, Indianapolis 1983.
Leitura adicional
- Fisher Jennifer, On the Philosophy of Logic, Thomson Wadworth, 2008, ISBN 978-0-495-00888-0
- Goble, Lou, ed., 2001. (The Blackwell Guide to) Philosophical Logic. Oxford: Blackwell . ISBN 0-631-20693-0 .
- Grayling, AC , 1997. An Introduction to Philosophical Logic. 3ª ed. Oxford: Blackwell. ISBN 0-631-19982-9 .
- Jacquette, Dale, ed., 2002. A Companion to Philosophical Logic. Oxford Blackwell. ISBN 1-4051-4575-7 .
- Kneale, W&M (1962). O desenvolvimento da lógica . Oxford. ISBN 9780198247739.
- McGinn, Colin, 2000. Propriedades lógicas: identidade, existência, predicação, necessidade, verdade . Oxford: Oxford University Press . ISBN 0-19-926263-2 .
- Quine, Willard Van Orman (1970). Filosofia da lógica . Prentice Hall: New JerseyUSA.
- Sainsbury, Mark, 2001. Logical Forms: An Introduction to Philosophical Logic. 2ª ed. Oxford: Blackwell. ISBN 0-631-21679-0 .
- Strawson, PF (1967). Lógica filosófica . OUP.
- Alfred Tarski , 1983. O conceito de verdade em linguagens formalizadas, pp. 152-278, Logic, semantics, metamathematics, papers de 1923 a 1938, ed. John Corcoran (lógico) , Hackett, Indianapolis 1983.
- Wolfram, Sybil, 1989. Philosophical Logic: An Introduction. Londres: Routledge . 290 páginas. ISBN 0-415-02318-1 , ISBN 978-0-415-02318-4
- Journal of Philosophical Logic , Springer SBM