Mostrar código-fonte de Filosofia da Lógica

'''Filosofia da lógica''' é a área da [[filosofia]] que estuda o alcance e a natureza da [[lógica]]. Investiga os problemas filosóficos levantados pela lógica, como os pressupostos muitas vezes implicitamente agindo nas teorias da lógica e em sua aplicação. Isto envolve questões sobre como a lógica deve ser definida e como diferentes sistemas lógicos se relacionam entre si. Inclui o estudo da natureza dos conceitos fundamentais usados pela lógica e a relação da lógica com outras disciplinas. De acordo com uma caracterização comum, a [[lógica filosófica]] é a parte da filosofia da lógica que estuda a aplicação de métodos lógicos a problemas filosóficos, muitas vezes na forma de sistemas lógicos estendidos como a lógica modal. Mas outros teóricos estabelecem a distinção entre a filosofia da lógica e a lógica filosófica de forma diferente ou não a estabelecem de forma alguma. A [[metalógica]] está intimamente relacionada à filosofia da lógica como a disciplina que investiga as propriedades dos sistemas lógicos formais, como a [[consistência]] e a [[Completude (lógica)|completude]].

Várias caracterizações da [[#Natureza da lógica|natureza da lógica]] são encontradas na literatura acadêmica. A lógica é muitas vezes vista como o estudo das [[leis do pensamento]], [[raciocínio]] correto, [[inferência]] [[Validade|válida]] ou [[verdade lógica]]. É uma [[Ciências formais|ciência formal]] que investiga como as conclusões decorrem das [[premissa]]s de uma forma neutra ao tema, ou seja, independente do assunto específico discutido. Uma forma de investigar a natureza da lógica concentra-se nas semelhanças entre vários [[Sistema formal|sistemas formais]] lógicos e em como eles diferem dos sistemas formais não lógicos. Considerações importantes a este respeito são se o sistema formal em questão é compatível com as intuições lógicas fundamentais e se é completo. Diferentes concepções da lógica podem ser distinguidas de acordo com se definem a lógica como o estudo da inferência válida ou da verdade lógica. Outra distinção entre as concepções da lógica é baseada em se os critérios de inferência válida e verdade lógica são especificados em termos de sintaxe ou semântica.

Diferentes [[#Tipos de lógicas|tipos de lógica]] são frequentemente distinguidos. A lógica é geralmente entendida como [[lógica formal]] e é tratada como tal na maior parte deste artigo. A lógica formal está interessada apenas na forma dos [[argumento]]s, expressos em uma [[linguagem formal]], e se concentra em inferências dedutivas. A [[lógica informal]], por outro lado, aborda uma gama muito mais ampla de argumentos encontrados também em [[linguagem natural]], que incluem argumentos não dedutivos. A correção dos argumentos pode depender de outros fatores além de sua forma, como seu conteúdo ou seu contexto. Vários sistemas formais lógicos, ou ''lógicas'', foram desenvolvidos no século XX e a tarefa da filosofia da lógica é classificá-los, mostrar como se relacionam entre si e abordar o problema de como pode haver uma multiplicidade de lógicas em contraste com uma lógica universalmente verdadeira. Estas lógicas podem ser divididas em lógica clássica, geralmente identificada com a [[lógica de primeira ordem]], lógicas estendidas e lógicas desviantes. As lógicas estendidas aceitam o formalismo básico e os axiomas da lógica clássica, mas os estendem com um novo vocabulário lógico. As lógicas desviantes, por outro lado, rejeitam certas suposições centrais da lógica clássica e, portanto, são incompatíveis com ela.

A filosofia da lógica também investiga a natureza e as implicações filosóficas dos [[#Conceitos fundamentais|conceitos fundamentais da lógica]]. Isto inclui o problema da [[verdade]], especialmente da verdade lógica, que pode ser definida como verdade dependendo apenas dos significados dos termos lógicos usados. Outra questão diz respeito à natureza das premissas e conclusões, ou seja, se devemos entendê-las como pensamentos, proposições ou sentenças, e como elas são compostas por constituintes mais simples. Juntas, as premissas e uma conclusão constituem uma inferência, que pode ser ou dedutiva ou ampliativa, dependendo se é necessariamente preservadora da verdade ou introduz informações novas e possivelmente falsas. Uma preocupação central na lógica é se uma inferência dedutiva é válida ou não. A validade é frequentemente definida em termos de necessidade, ou seja, uma inferência é válida se e somente se for impossível que as premissas sejam verdadeiras e a conclusão seja falsa. Inferências e argumentos incorretos, por outro lado, não suportam sua conclusão. Podem ser categorizados como falácias formais ou informais, dependendo se pertencem à lógica formal ou informal. A lógica tem se preocupado principalmente com regras definitórias, ou seja, com a questão de quais regras de inferência determinam se um argumento é válido ou não. Um tema separado de investigação diz respeito às regras estratégicas da lógica: as regras que governam como chegar a uma conclusão pretendida dado um certo conjunto de premissas, ou seja, quais inferências precisam ser tiradas para chegar lá.

A [[#Metafísica da lógica|metafísica da lógica]] se preocupa com o estado metafísico das leis e objetos da lógica. Uma disputa importante neste campo é entre realistas, que sustentam que a lógica é baseada em fatos que têm existência independente da mente, e antirrealistas como os convencionalistas, que sustentam que as leis da lógica são baseadas nas convenções que governam o uso da linguagem. A lógica está intimamente relacionada com [[#Relação com outras disciplinas|várias disciplinas]]. Uma questão central em relação à ontologia diz respeito aos compromissos ontológicos associados ao uso da lógica, por exemplo, com termos singulares e [[quantificadores existenciais]]. Uma questão importante na matemática é se todas as verdades matemáticas podem ser fundamentadas nos axiomas da lógica juntamente com a teoria dos conjuntos. Outros campos relacionados incluem a ciência da computação e a psicologia.

== Definição e disciplinas relacionadas ==
A filosofia da lógica é a área da [[filosofia]] que estuda a natureza da [[lógica]].<ref name="Cambridge">{{citar livro |last1=Audi |first1=Robert |title=The Cambridge Dictionary of Philosophy |publisher=Cambridge University Press |url=https://philpapers.org/rec/AUDTCD-2 |chapter=Philosophy of logic}}</ref><ref name="Britannica">{{citar web |title=Philosophy of logic |url=https://www.britannica.com/topic/philosophy-of-logic |website=www.britannica.com |access-date=2021-11-21 |lingua=en}}</ref> Como muitas outras disciplinas, a lógica envolve vários pressupostos filosóficos que são abordados pela filosofia da lógica.<ref name="Jacquette"/> A filosofia da lógica pode ser entendida em analogia com outros ramos da filosofia específicos de uma disciplina: assim como a [[filosofia da ciência]] investiga problemas filosóficos levantados pela ciência, a filosofia da lógica investiga problemas filosóficos levantados pela lógica.<ref name="Haack1">{{citar livro |last1=Haack |first1=Susan |title=Philosophy of Logics |date=1978 |publisher=London and New York: Cambridge University Press |url=https://philpapers.org/rec/HAAPOL-2 |chapter=1. 'Philosophy of logics'}}</ref>

Uma questão importante estudada pela filosofia da lógica é como a lógica deve ser definida, por exemplo, em termos de inferência válida ou de verdade lógica.<ref name="Hintikka"/> Isto inclui a questão de como distinguir os sistemas formais lógicos dos não lógicos.<ref name="Jacquette"/> É especialmente relevante para esclarecer a relação entre os vários sistemas lógicos propostos, clássicos e não clássicos, e para avaliar se todos esses sistemas realmente se qualificam como ''sistemas lógicos''.<ref name="Haack1"/> A filosofia da lógica também investiga como entender os conceitos mais fundamentais da lógica, como [[verdade]], [[premissa]]s, conclusões, [[inferência]], [[argumento]] e [[validade]].<ref name="Haack1"/><ref name="Não_nomeado-xrac-1">Lowe, E. J.. ''Forms of Thought: A Study in Philosophical Logic''. New York: Cambridge University Press, 2013.</ref> Tenta esclarecer a relação entre a lógica e outros campos, como a [[ontologia]], a [[matemática]] e a [[psicologia]].<ref name="Britannica"/><ref name="Routledge">{{citar livro |last1=Craig |first1=Edward |title=Routledge Encyclopedia of Philosophy |date=1996 |publisher=Routledge |url=https://philpapers.org/rec/BEAREO |chapter=Philosophy of logic}}</ref><ref name="Cambridge"/>

A filosofia da lógica está intimamente relacionada à [[lógica filosófica]], mas não há um acordo geral sobre como estas disciplinas se relacionam entre si.<ref name="Jacquette">{{citar livro |last1=Jacquette |first1=Dale |title=Philosophy of Logic |date=2006 |publisher=North Holland |url=https://philpapers.org/rec/JACPOL |chapter=Introduction: Philosophy of logic}}</ref><ref name="Não_nomeado-xrac-1"/> Alguns teóricos usam estes dois termos para a mesma disciplina, enquanto outros os veem como disciplinas distintas.<ref name="Haack1"/><ref name="Routledge"/><ref name="Oxford"/> De acordo com esta última visão, a lógica filosófica contrasta com a filosofia da lógica na medida em que é geralmente vista como a aplicação de métodos lógicos a problemas filosóficos, muitas vezes desenvolvendo lógicas desviantes ou estendidas.<ref>{{citar livro |last1=Goble |first1=Lou |title=The Blackwell Guide to Philosophical Logic |date=2001 |publisher=Wiley-Blackwell |url=https://philpapers.org/rec/GOBTBG-2 |chapter=Introduction}}</ref><ref name="Hintikka"/> Neste sentido, a lógica filosófica é uma área de investigação dentro da filosofia da lógica, ou seja, uma parte do estudo geral dos problemas filosóficos levantados pela lógica.<ref name="Jacquette"/> Mas esta forma de distinção não é universalmente aceita e alguns autores propuseram caracterizações diferentes.<ref name="Oxford">{{citar livro |last1=Honderich |first1=Ted |title=The Oxford Companion to Philosophy |date=2005 |publisher=Oxford University Press |url=https://philpapers.org/rec/HONTOC-2 |chapter=philosophical logic}}</ref><ref name="Jacquette"/> A conexão íntima entre lógica e filosofia também se reflete no fato de que muitos lógicos famosos também foram filósofos.<ref name="Jacquette"/> A filosofia da lógica está intimamente relacionada com a [[metalógica]], mas não é idêntica a ela. A metalógica investiga as propriedades dos sistemas lógicos formais, como se um determinado sistema lógico é consistente ou completo.<ref name="Haack1"/> Geralmente inclui o estudo da semântica e sintaxe das linguagens formais e sistemas formais.<ref>{{citar web |title=metalogic |url=https://www.britannica.com/topic/metalogic |website=www.britannica.com |access-date=2021-12-1 |lingua=en}}</ref><ref>{{citar livro |last1=Hunter |first1=Geoffrey |title=Metalogic: An Introduction to the Metatheory of Standard First Order Logic |date=1971 |publisher=Berkeley: University of California Press |url=https://philpapers.org/rec/HUNMAI |chapter=1. Introduction: General Notions}}</ref>

== Natureza da lógica ==
O termo "lógica" é baseado na palavra grega "{{lang|grc|logos}}", que está associada a vários sentidos diferentes, como razão, discurso ou linguagem. Há muitas discordâncias sobre o que é a lógica e como ela deve ser definida.<ref name="Haack1"/><ref name="Jacquette"/><ref name="Hintikka">{{citar livro |last1=Jaakko |first1=Hintikka |last2=Sandu |first2=Gabriel |title=Philosophy of Logic |date=2006 |publisher=North Holland |pages=13–39 |url=https://philpapers.org/rec/JAAWIL |chapter=What is Logic?}}</ref>  Várias características são geralmente atribuídas à lógica, como que estuda a relação entre premissas e conclusões e que o faz de maneira neutra ao tema. Uma tarefa importante da filosofia da lógica é investigar os critérios segundo os quais um sistema formal deve contar como uma lógica.<ref name="Haack1"/> Diferentes concepções da lógica a entendem como baseada em inferência válida ou em verdade lógica. Os critérios de inferência válida e verdade lógica podem, por sua vez, ser especificados de diferentes maneiras: com base em considerações sintáticas ou semânticas.<ref name="Hintikka"/>

=== Características gerais ===
Tradicionalmente, a lógica é muitas vezes entendida como a disciplina que investiga as leis do pensamento.<ref name="Britannica"/> Um problema para esta caracterização é que a lógica não é uma disciplina empírica que estuda as regularidades encontradas no pensamento humano real: este tema pertence à psicologia.<ref name="Britannica"/> Isto é melhor captado por outra caracterização às vezes encontrada na literatura: que a lógica diz respeito às leis do pensamento correto ou, mais especificamente, do raciocínio correto.<ref name="Britannica"/> Isto reflete o significado prático da lógica como uma ferramenta para melhorar o raciocínio, ao tirar boas inferências e ao tomar consciência de possíveis erros.<ref name="Hintikka"/> A lógica também foi definida como a ciência da argumentação válida.<ref name="Haack1"/> Isto reflete a definição em termos de raciocínio, já que a argumentação pode ser entendida como uma expressão externa do raciocínio interno.<ref name="Britannica"/>

A lógica é frequentemente vista como uma base formal de todo o conhecimento.<ref name="Cambridge"/> Como uma [[Ciências formais|ciência formal]], contrasta com as ciências materiais ou empíricas, como a física ou a biologia, já que está principalmente preocupada com as relações inferenciais entre proposições, mas não com se essas proposições são realmente verdadeiras.<ref name="Magnus">{{citar livro |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=1.4 Deductive validity}}</ref> Por exemplo, deduzir da proposição "todas as luas são feitas de queijo" que "a lua da Terra é feita de queijo" é uma inferência válida. O erro neste exemplo é devido a uma premissa falsa pertencente à astronomia empírica.<ref name="Magnus"/>

Uma característica central da lógica é sua neutralidade temática.<ref>{{citar periódico |last1=CORKUM |first1=PHILIP |title=Generality and Logical Constancy |journal=Revista Portuguesa de Filosofia |date=2015 |volume=71 |issue=4 |pages=753–767 |url=https://www.jstor.org/stable/43744657 |issn=0870-5283}}</ref><ref name="MacFarlane2">{{citar web |last1=MacFarlane |first1=John |title=Logical Constants: 4. Topic neutrality |url=https://plato.stanford.edu/entries/logical-constants/#TopNeu |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-4 |date=2017}}</ref> Isto significa que se preocupa com a validade de argumentos independentes do assunto discutido nestes argumentos.<ref name="Haack1"/> Neste sentido, as ciências regulares se preocupam com o raciocínio correto dentro de uma área específica de investigação, por exemplo, a respeito de corpos materiais para a mecânica clássica ou seres vivos para a biologia, enquanto a lógica se preocupa com o raciocínio correto em geral aplicável a todas essas disciplinas.<ref name="Haack1"/> Um problema com esta caracterização é que nem sempre é claro como os termos "neutralidade temática" e "assunto" devem ser entendidos neste contexto.<ref name="MacFarlane2"/> Por exemplo, poderia ser argumentado que a lógica de primeira ordem tem os indivíduos como seu tema devido ao seu uso de termos singulares e quantificadores, e, portanto, não é completamente neutra em relação ao tema.<ref name="Haack1"/> Uma caracterização estreitamente relacionada sustenta que a lógica se preocupa com a ''forma'' dos argumentos e não com seu ''conteúdo''. Nesta visão, as ciências regulares poderiam ser vistas como buscando premissas verdadeiras enquanto a lógica estuda como tirar conclusões dessas ou de quaisquer premissas. Mas esta caracterização também tem seus problemas devido às dificuldades em distinguir entre forma e conteúdo. Por exemplo, já que a lógica temporal fala do tempo, isto levaria à conclusão implausível de que o tempo pertence à forma e não ao conteúdo dos argumentos.<ref name="Haack1"/> Estas dificuldades levaram alguns teóricos a duvidar que a lógica tenha um alcance claramente especificável ou um caráter essencial.<ref name="Haack1"/>

=== Sistemas formais lógicos e não lógicos ===
Uma abordagem para determinar a natureza da lógica é estudar os diferentes sistemas formais, chamados de "lógicas", a fim de determinar o que é essencial para todos eles, ou seja, o que os torna lógicas.<ref name="Jacquette"/> Os sistemas formais da lógica são sistematizações de verdades lógicas baseadas em certos princípios chamados axiomas.<ref name="Hintikka"/> Quanto à lógica formal, uma questão central na filosofia da lógica é o que faz de um sistema formal um sistema de lógica em vez de uma coleção de meras marcas junto com regras de como elas devem ser manipuladas.<ref name="Haack1"/> Foi argumentado que um requisito central é que as marcas e como elas são manipuladas podem ser interpretadas de tal forma que reflitam as intuições básicas sobre argumentos válidos. Isto significaria, por exemplo, que existem valores de verdade e que o comportamento de algumas marcas corresponde ao dos operadores lógicos, como a negação ou a conjunção.<ref name="Haack1"/> Com base nesta caracterização, alguns teóricos sustentam que certos sistemas formais, como a [[lógica ternária]] ou a [[lógica difusa]], se afastam demais do conceito comum da lógica para serem considerados sistemas lógicos.<ref name="Haack1"/> Tal posição pode ser defendida com base na ideia de que, ao rejeitar algumas suposições lógicas básicas, incluem um afastamento demasiado radical das intuições lógicas fundamentais para serem consideradas lógicas. Foi sugerido que rejeitar o princípio da bivalência da verdade, ou seja, que as proposições são ou verdadeiras ou falsas, constitui tal caso.<ref name="Haack1"/>

Os metalógicos às vezes sustentam que a [[completude lógica]] é um requisito necessário dos sistemas lógicos.<ref name="Haack1"/> Um sistema formal é completo se for possível derivar de seus axiomas todos os teoremas pertencentes a ele.<ref name="Hintikka"/><ref name="Britannica"/> Isto significaria que apenas sistemas formais completos deveriam ser entendidos como constituindo sistemas lógicos. Um argumento controverso para esta abordagem é que teorias incompletas não podem ser totalmente formalizadas, o que contrasta com o caráter formal da lógica. Nesta visão, a lógica de primeira ordem constitui um sistema lógico.<ref name="Haack1"/> Mas isto também significaria que as "lógicas" de ordem superior não são lógicas estritamente falando, devido a sua incompletude.<ref name="Hintikka"/>

=== Concepções baseadas em inferência válida ou verdade lógica ===
A lógica é frequentemente definida como o estudo de inferências válidas ou corretas.<ref name="Cambridge"/><ref name="McKeon">{{citar web |last1=McKeon |first1=Matthew |title=Logical Consequence |url=https://iep.utm.edu/logcon/ |website=Internet Encyclopedia of Philosophy |access-date=2021-11-20}}</ref><ref name="Hintikka"/> Nesta concepção, é tarefa da lógica fornecer um relato geral da diferença entre inferências corretas e incorretas. Uma inferência é um conjunto de premissas juntamente com uma conclusão. Uma inferência é válida se a conclusão decorre das premissas, ou seja, se a verdade das premissas garante a verdade da conclusão.<ref name="RoutledgeFormalInformal"/><ref name="McKeon"/><ref name="Cambridge"/><ref name="Jacquette"/> Outra maneira de definir a lógica é como o estudo da verdade lógica.<ref name="Hintikka"/> A verdade lógica é uma forma especial de verdade, pois não depende de como as coisas são, ou seja, de qual mundo possível é real. Em vez disso, uma proposição logicamente verdadeira é verdadeira em todos os mundos possíveis.<ref name="Hintikka"/> Sua verdade é baseada apenas nos significados dos termos que contém, independentemente de qualquer questão empírica de fato.<ref name="Britannica"/> Há uma ligação importante entre estas duas concepções: uma inferência das premissas para uma conclusão é válida se o [[condicional material]] das premissas para a conclusão é logicamente verdadeiro.<ref name="Hintikka"/> Por exemplo, a inferência de "as rosas são vermelhas e a grama é verde" para "as rosas são vermelhas" é válida, já que o material condicional "se as rosas são vermelhas e a grama é verde, então as rosas são vermelhas" é logicamente verdadeiro.

=== Concepções baseadas em sintaxe ou semântica ===
Se a lógica é definida como o estudo da inferência válida ou da verdade lógica deixa em aberto seus critérios exatos. Há duas formas importantes de especificar esses critérios: a abordagem sintática e a semântica, às vezes também chamada de abordagem dedutiva e abordagem de teoria de modelos.<ref name="Hintikka"/><ref name="McKeon"/> Neste sentido, uma lógica pode ser definida como uma linguagem formal juntamente com um relato de consequência lógica, seja em termos de dedução ou de teoria de modelos.<ref name="McKeon"/><ref name="McKeonModel"/><ref name="McKeonDeductive"/> A abordagem sintática tenta captar estas características com base apenas em características sintáticas ou formais das premissas e da conclusão.<ref name="Hintikka"/> Isto é geralmente conseguido expressando-as através de um simbolismo formal para tornar estas características explícitas e independentes das ambiguidades e irregularidades da linguagem natural.<ref name="Hintikka"/> Neste formalismo, a validade dos argumentos depende apenas da estrutura do argumento, especificamente das constantes lógicas usadas nas premissas e na conclusão.<ref name="Britannica"/><ref name="Hintikka"/> Nesta visão, uma proposição é uma consequência lógica de um grupo de premissas se e somente se a proposição for dedutível dessas premissas.<ref name="McKeonDeductive"/> Esta dedução acontece por meio de [[regras de inferência]].<ref name="Hintikka"/> Isto significa que, para um argumento válido, não é possível produzir premissas verdadeiras com uma conclusão falsa, substituindo seus constituintes por elementos pertencentes a categorias semelhantes e mantendo as constantes lógicas no lugar.<ref name="Cambridge"/> No caso de verdades lógicas, tal substituição não pode torná-las falsas. Diferentes conjuntos de regras de inferência constituem diferentes sistemas dedutivos, por exemplo, aqueles associados à lógica clássica ou à lógica intuicionista. Portanto, se uma proposição é uma consequência lógica depende não apenas das premissas, mas também do sistema dedutivo utilizado.<ref name="McKeonDeductive">{{citar web |last1=McKeon |first1=Matthew |title=Logical Consequence, Deductive-Theoretic Conceptions of |url=https://iep.utm.edu/logcon-d/ |website=Internet Encyclopedia of Philosophy |access-date=2021-11-29}}</ref>

Um problema com a abordagem sintática é que o uso da [[linguagem formal]] é central para ela. Mas o problema da lógica, ou seja, da inferência válida e da verdade lógica, é encontrado não apenas nas linguagens formais, mas também nas linguagens naturais.<ref name="Hintikka"/> No entanto, mesmo no âmbito das linguagens formais, o problema da verdade apresenta uma variedade de problemas, que muitas vezes exigem uma metalinguagem mais rica para ser adequadamente abordados. Isto ameaça a abordagem sintática mesmo quando se limita a linguagens formais.<ref name="Hintikka"/> Outra dificuldade é levantada pelo fato de que muitas vezes não é claro como distinguir as características formais das não formais, ou seja, os símbolos lógicos dos não lógicos. Esta distinção está no cerne da abordagem sintática devido ao seu papel na definição de inferência válida ou verdade lógica.<ref name="MacFarlane"/><ref name="Britannica"/>

A abordagem semântica, por outro lado, enfoca a relação entre linguagem e realidade. Na lógica, o estudo desta relação é muitas vezes denominado [[teoria dos modelos]].<ref name="Hodges">{{citar web |last1=Hodges |first1=Wilfrid |title=Model Theory |url=https://plato.stanford.edu/entries/model-theory/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-29 |date=2020}}</ref> Por esta razão, a abordagem semântica também é referida como a concepção teórica dos modelos da lógica.<ref name="McKeonModel"/> Foi inicialmente concebida por [[Alfred Tarski]] e caracteriza a verdade lógica não em relação às constantes lógicas usadas nas sentenças, mas com base em estruturas [[Teoria dos conjuntos|teóricas dos conjuntos]] que são usadas para interpretar estas sentenças.<ref name="Britannica"/><ref name="McKeonModel"/><ref name="Hodges"/> A ideia por trás desta abordagem é que as sentenças não são verdadeiras ou falsas por si mesmas, mas somente verdadeiras ou falsas em relação a uma [[Interpretação (lógica)|interpretação]].<ref name="Hodges"/><ref name="McKeonModel"/> As interpretações são geralmente entendidas em termos da teoria dos conjuntos como [[Função (matemática)|funções]] entre os símbolos usados na sentença e um domínio de objetos. Tal função atribui constantes individuais a elementos individuais do domínio e [[Predicado (gramática)|predicados]] a [[Énuplo|tuplas]] de elementos do domínio.<ref name="Hodges"/><ref name="McKeonModel"/> Uma interpretação de uma sentença (ou de uma teoria composta por várias sentenças) é chamada de ''modelo'' desta sentença se a sentença é verdadeira de acordo com essa interpretação.<ref name="Hodges"/><ref name="McKeonModel"/> Uma sentença é ''logicamente verdadeira'' se é verdadeira em todas as interpretações, ou seja, se cada interpretação é um modelo desta sentença. Neste caso, não importa como se defina a função de interpretação e o domínio dos objetos para os quais aponta, a sentença sempre é verdadeira.<ref name="Britannica"/><ref name="Gómez-Torrente">{{citar web |last1=Gómez-Torrente |first1=Mario |title=Logical Truth |url=https://plato.stanford.edu/entries/logical-truth/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-22 |date=2019}}</ref><ref name="McKeonModel">{{citar web |last1=McKeon |first1=Matthew |title=Logical Consequence, Model-Theoretic Conceptions |url=https://iep.utm.edu/logcon-m/ |website=Internet Encyclopedia of Philosophy |access-date=2021-11-22}}</ref> Se as interpretações são entendidas em termos de mundos possíveis, as sentenças logicamente verdadeiras podem ser vistas como sentenças que são verdadeiras em todos os mundos possíveis.<ref name="Britannica"/> Expresso em termos de argumentos válidos: um argumento é válido se e somente se sua conclusão é verdadeira em todos os mundos possíveis nos quais suas premissas são verdadeiras.<ref name="Cambridge"/>

Esta concepção evita os problemas da abordagem sintática associados à dificuldade de distinguir entre símbolos lógicos e não lógicos. Mas enfrenta outros problemas próprios.<ref name="Britannica"/> Por um lado, compartilha o problema com a abordagem sintática de necessitar de uma metalinguagem para abordar o problema da verdade.<ref name="Hintikka"/> Portanto, pressupõe uma linguagem formal que pode ser estudada a partir de uma perspectiva fora de si mesma. Isto levanta problemas para generalizar suas ideias à lógica da linguagem em geral como um meio que abrange tudo.<ref name="Britannica"/> Por outro lado, ignora a relação entre linguagem e mundo, pois define a verdade a partir da interpretação que ocorre apenas entre símbolos e objetos teóricos dos conjuntos.<ref name="Britannica"/>

== Tipos de lógicas ==
O problema de ter que escolher entre uma multiplicidade de sistemas lógicos rivais é bastante recente. Durante muito tempo na história, a silogística aristotélica foi tratada como o cânone da lógica e houve muito poucas melhorias substanciais por mais de dois mil anos até as obras de [[George Boole]], [[Bernard Bolzano]], [[Franz Brentano]], [[Gottlob Frege]] e outros.<ref name="Jacquette"/> Estes desenvolvimentos foram frequentemente impulsionados pela necessidade de aumentar a flexibilidade expressiva da lógica e de adaptá-la a áreas específicas de uso.<ref name="Jacquette"/> Um problema central na filosofia da lógica, levantado pela proliferação contemporânea de sistemas lógicos, é explicar como estes sistemas estão relacionados entre si.<ref name="Jacquette"/> Isto traz consigo a questão de por que todos estes sistemas formais merecem o título de "lógica". Outra questão é se apenas um destes sistemas é o correto ou como é possível uma multiplicidade de sistemas lógicos em vez de apenas uma lógica universal.<ref name="Haack1"/><ref name="Jacquette"/> O monismo é a tese de que apenas uma lógica é correta, enquanto o pluralismo permite que diferentes sistemas lógicos alternativos sejam corretos para diferentes áreas do discurso.<ref name="Haack1"/> Também foi sugerido que pode haver um conceito universal da lógica que está subjacente e unifica todos os diferentes sistemas lógicos.<ref name="Jacquette"/>

=== Formal e informal ===
Tradicionalmente, a lógica e a filosofia da lógica se concentraram principalmente nos argumentos formais, ou seja, nos argumentos expressos em uma linguagem formal. Mas também incluem o estudo de argumentos informais encontrados na linguagem natural.<ref name="Haack1"/> A lógica formal é geralmente vista como a forma paradigmática da lógica, mas vários desenvolvimentos modernos enfatizaram a importância da lógica informal para muitos propósitos práticos onde a lógica formal por si só é incapaz de resolver todos os problemas.<ref name="RoutledgeFormalInformal"/><ref name="Johnson">{{citar periódico |last1=Johnson |first1=Ralph H. |title=The Relation Between Formal and Informal Logic |journal=Argumentation |date=1999 |volume=13 |issue=3 |pages=265–274 |doi=10.1023/A:1007789101256 |url=https://philpapers.org/rec/JOHTRB-2}}</ref> Tanto a lógica formal quanto a informal visam avaliar a correção dos argumentos.<ref name="Blair">{{citar periódico |last1=Blair |first1=J. Anthony |last2=Johnson |first2=Ralph H. |title=Informal Logic: An Overview |journal=Informal Logic |date=2000 |volume=20 |issue=2 |url=https://philpapers.org/rec/BLAILA-3}}</ref> Mas a lógica formal restringe-se aos fatores que são utilizados para fornecer critérios exatos desta avaliação.<ref name="RoutledgeFormalInformal"/><ref name="Groarke">{{citar web |last1=Groarke |first1=Leo |title=Informal Logic |url=https://plato.stanford.edu/entries/logic-informal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-30 |date=2021}}</ref> A lógica informal tenta levar em conta vários fatores adicionais e, portanto, é relevante para muitos argumentos fora do âmbito da lógica formal, mas o faz à custa da precisão e das regras gerais.<ref name="RoutledgeFormalInformal"/><ref name="Groarke"/> Os argumentos que falham nesta avaliação são chamados de falácias. As falácias formais são falácias no âmbito da lógica formal, enquanto as falácias informais pertencem à lógica informal.<ref name="Hansen"/>

A lógica formal preocupa-se com a validade de inferências ou argumentos baseados apenas em sua forma, ou seja, independente de seu conteúdo específico e do contexto em que são usados.<ref name="RoutledgeFormalInformal">{{citar livro |last1=Craig |first1=Edward |title=Routledge Encyclopedia of Philosophy |date=1996 |publisher=Routledge |url=https://philpapers.org/rec/BEAREO |chapter=Formal and informal logic}}</ref> Isto geralmente acontece através da abstração, vendo argumentos particulares como instâncias de uma certa forma de argumento. As formas de argumentos são definidas por como suas constantes lógicas e variáveis estão relacionadas entre si. Desta maneira, argumentos diferentes com conteúdos muito diferentes podem ter a mesma forma lógica.<ref name="RoutledgeFormalInformal"/> A validade de um argumento depende apenas de sua forma. Uma característica importante da lógica formal é que, para um argumento válido, a verdade de suas premissas assegura a verdade de sua conclusão, ou seja, é impossível que as premissas sejam verdadeiras e a conclusão seja falsa.<ref name="RoutledgeFormalInformal"/><ref name="McKeon"/><ref name="Cambridge"/><ref name="Jacquette"/>

Um problema sério associado ao uso da lógica formal para expressar teorias de vários campos é que essas teorias têm que ser traduzidas para uma linguagem formal, geralmente a linguagem da lógica de primeira ordem.<ref name="Hintikka"/><ref name="Magnus2">{{citar livro |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=1.4 Deductive validity}}</ref> Isto é necessário, já que a lógica formal é definida apenas para uma linguagem formal específica: portanto, não é diretamente aplicável a muitos argumentos expressos de maneira diferente. Tais traduções podem ser desafiadoras, pois as linguagens formais são muitas vezes bastante restritivas. Por exemplo, frequentemente carecem de muitos dos dispositivos informais encontrados na linguagem natural.<ref name="Magnus2"/> Um problema recorrente diz respeito à palavra "ser" em português, que tem uma variedade de significados dependendo do contexto, como identidade, existência, predicação, inclusão de classe ou localização.<ref name="Hintikka"/>

A lógica informal, por outro lado, tem uma orientação mais concreta na medida em que tenta avaliar se uma instância específica de um argumento é boa ou má.<ref name="RoutledgeFormalInformal"/><ref name="Blair"/> Isto traz consigo a necessidade de estudar não apenas a forma geral do argumento em questão, mas também os conteúdos usados como premissas deste argumento e o contexto no qual este argumento é usado.<ref name="RoutledgeFormalInformal"/> Isto significa que o mesmo argumento pode ser tanto bom, quando usado em um contexto, quanto mau, quando usado em outro contexto. Por exemplo, um [[Falácia do espantalho|argumento do homem de palha]] tenta superar a posição do oponente atribuindo-lhe uma posição fraca e, em seguida, provando que esta posição é falsa.<ref name="Walton"/><ref name="Dowden"/> Em um contexto onde o oponente não mantém esta posição, o argumento é mau, embora possa ser um bom argumento contra um oponente que realmente defende a posição do homem de palha.<ref name="Walton"/> Os argumentos estudados pela lógica informal são geralmente expressos na linguagem natural.<ref name="Groarke"/><ref name="Blair"/>

A lógica informal não enfrenta a necessidade de traduzir os argumentos da linguagem natural para uma linguagem formal a fim de poder avaliá-los. Desta forma, evita vários problemas associados a esta tradução. Mas isto não resolve muitos dos problemas que o uso da linguagem natural traz consigo, como ambiguidades, expressões vagas ou assumir implicitamente premissas em vez de expressá-las explicitamente.<ref name="Walton"/><ref name="Engel2">{{citar livro |last1=Engel |first1=S. Morris |title=With Good Reason an Introduction to Informal Fallacies |date=1982 |url=https://philpapers.org/rec/ENGWGR |chapter=2. The medium of language}}</ref><ref name="Groarke"/> Muitas das falácias discutidas na lógica informal surgem diretamente destas características. Isto diz respeito, por exemplo, às [[Falácia informal#Falácias de ambiguidade|falácias da ambiguidade]] e [[Falácia informal#Falácias de presunção|da presunção]].<ref name="Walton"/><ref name="Engel2"/><ref name="Não_nomeado-xrac-2">{{citar livro |last1=Engel |first1=S. Morris |title=With Good Reason an Introduction to Informal Fallacies |date=1982 |url=https://philpapers.org/rec/ENGWGR |chapter=4. Fallacies of presumption}}</ref><ref>{{citar web |last1=Stump |first1=David J. |title=Fallacy, Logical |url=https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |website=www.encyclopedia.com |access-date=2021-3-20}}</ref>

=== Clássica e não clássica ===
No domínio da lógica formal, uma distinção importante é entre a lógica clássica e a não clássica. O termo [[lógica clássica]] refere-se principalmente à lógica proposicional e à lógica de primeira ordem.<ref name="Haack1"/> É o sistema lógico dominante aceito e utilizado pela maioria dos teóricos. Mas a filosofia da lógica também se preocupa com as lógicas não clássicas ou alternativas.<ref name="Britannica"/> Às vezes, são divididas em lógicas estendidas e lógicas desviantes. As lógicas estendidas são extensões da lógica clássica, ou seja, aceitam o formalismo básico e os axiomas da lógica clássica, mas os estendem com um novo vocabulário lógico, como a introdução de símbolos para "possibilidade" e "necessidade" na [[lógica modal]] ou símbolos para "às vezes" e "sempre" na lógica temporal.<ref name="Haack1"/> As lógicas desviantes, por outro lado, rejeitam certas suposições centrais da lógica clássica.<ref name="Cambridge"/><ref name="Haack1"/> Usam axiomas diferentes da lógica clássica, que muitas vezes são mais limitantes em relação a quais inferências são válidas. São "desviantes" no sentido de que são incompatíveis com a lógica clássica e podem ser vistas como suas rivais.<ref name="Haack1"/>

==== Clássica ====
O termo lógica clássica refere-se principalmente à lógica proposicional e à lógica de primeira ordem.<ref name="Haack1"/> É geralmente tratada pelos filósofos como a forma paradigmática da lógica e é usada em vários campos.<ref>{{citar web |last1=Shapiro |first1=Stewart |last2=Kouri Kissel |first2=Teresa |title=Classical Logic |url=https://plato.stanford.edu/entries/logic-classical/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-4 |date=2021}}</ref> Preocupa-se com um pequeno número de conceitos lógicos centrais e especifica o papel que estes conceitos desempenham em fazer inferências válidas.<ref name="Hintikka"/><ref name="Magnus3">{{citar livro |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=1.4 Deductive validity}}</ref> Estas noções centrais incluem quantificadores, expressando ideias como "todos" e "alguns", e conectivos proposicionais, como "e", "ou", e "se-então".<ref name="Hintikka"/> Entre os conceitos não lógicos, uma distinção importante é entre termos singulares e predicados. Os termos singulares representam objetos e predicados representam propriedades ou relações entre esses objetos. A este respeito, a lógica de primeira ordem difere da lógica aristotélica tradicional, que carecia de predicados correspondentes às relações.<ref name="Hintikka"/> A lógica de primeira ordem permite a quantificação apenas sobre indivíduos, em contraste com a lógica de ordem superior, que permite a quantificação também sobre predicados.<ref name="Hintikka"/>

==== Estendida ====
As lógicas estendidas aceitam os axiomas e o vocabulário central da lógica clássica. Isto se reflete no fato de que os teoremas da lógica clássica são válidos nelas. Mas elas vão além da lógica clássica, incluindo novos símbolos e teoremas adicionais.<ref>{{citar livro |last1=Haack |first1=Susan |title=Deviant Logic, Fuzzy Logic: Beyond the Formalism |date=1996 |publisher=Chicago and London: University of Chicago Press |url=https://philpapers.org/rec/HAADLF |chapter=1. 'Alternative' in 'Alternative Logic'}}</ref> O objetivo destas mudanças é geralmente aplicar o tratamento lógico a novas áreas ou introduzir um nível mais alto de abstração, por exemplo, na forma de quantificação aplicada não apenas a termos singulares, mas também a predicados ou proposições, ou através de predicados da verdade.<ref name="Cambridge"/> Neste sentido, as lógicas desviantes são geralmente vistas como rivais da lógica clássica, enquanto as lógicas estendidas são suplementos da lógica clássica.<ref>{{citar livro |last1=Haack |first1=Susan |title=Deviant Logic, Fuzzy Logic: Beyond the Formalism |date=1996 |publisher=Chicago and London: University of Chicago Press |url=https://philpapers.org/rec/HAADLF |chapter=2. Reasons for Deviance}}</ref> Exemplos importantes de lógicas estendidas incluem a lógica modal e a lógica de ordem superior.<ref name="Cambridge"/> 

O termo "lógica modal", quando entendido em seu sentido mais amplo, refere-se a uma variedade de lógicas estendidas, como a lógica modal alética, [[Lógica deôntica|deôntica]] ou [[Lógica temporal|temporal]]. Em seu sentido estrito, é idêntica à lógica modal alética.<ref name="Britannica"/> Enquanto a lógica clássica se preocupa apenas com o que é verdadeiro ou falso, a lógica modal alética inclui novos símbolos para expressar o que é possivelmente ou necessariamente verdadeiro ou falso.<ref name="Cambridge"/><ref name="Britannica"/><ref name="Garson"/><ref name="Benthem">{{citar web |last1=Benthem |first1=Johan van |title=Modal Logic: Contemporary View |url=https://iep.utm.edu/modal-lo/ |website=Internet Encyclopedia of Philosophy |access-date=2021-12-4}}</ref><ref>{{citar web |title=modal logic |url=https://www.britannica.com/topic/modal-logic |website=www.britannica.com |access-date=2021-12-4 |lingua=en}}</ref> Estes símbolos assumem a forma de operadores sentenciais. Normalmente, os símbolos {{nowrap|"<math>\Diamond</math>"}} e {{nowrap|"<math>\Box</math>"}} são usados para expressar que a sentença que os segue é possivelmente ou necessariamente verdadeira. As lógicas modais também incluem várias novas regras de inferências especificando como estes novos símbolos figuram em argumentos válidos.<ref name="Garson"/><ref name="Benthem"/> Um exemplo é a fórmula <math>\Box P \rightarrow \Diamond P</math>, ou seja, que se algo é necessariamente verdadeiro, então também é possivelmente verdadeiro. As outras formas da lógica modal, além da lógica modal alética, aplicam os mesmos princípios a diferentes campos.<ref name="Britannica"/> Na lógica modal deôntica, os símbolos {{nowrap|"<math>\Diamond</math>"}} e {{nowrap|"<math>\Box</math>"}} são utilizados para expressar quais ações são permitidas ou obrigatórias; na lógica temporal, expressam o que é o caso em algum momento ou em todo momento; na lógica epistêmica, expressam o que é compatível com as crenças de uma pessoa ou o que essa pessoa sabe.<ref name="Britannica"/><ref name="Garson"/><ref name="Benthem"/>

Várias regras de inferência foram sugeridas como os axiomas básicos das diferentes lógicas modais, mas não há um acordo geral sobre quais delas são as corretas.<ref name="Cambridge"/><ref name="Oxford"/> Uma interpretação influente dos operadores modais, devido a Saul Kripke, os entende como quantificadores sobre mundos possíveis. Um mundo possível é uma forma completa e consistente de como as coisas poderiam ter sido.<ref>{{citar web |last1=Menzel |first1=Christopher |title=Possible Worlds |url=https://plato.stanford.edu/entries/possible-worlds/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-25 |date=2021}}</ref><ref>{{citar web |last1=Parent |first1=Ted |title=Modal Metaphysics |url=https://iep.utm.edu/mod-meta/ |website=Internet Encyclopedia of Philosophy |access-date=2021-4-9}}</ref> Nesta visão, dizer que algo é necessariamente verdadeiro é dizer que é verdadeiro em todos os mundos possíveis acessíveis.<ref name="Cambridge"/><ref name="Oxford"/> Um problema para este tipo de caracterizações é que parecem ser circulares, pois os mundos possíveis são eles mesmos definidos em termos modais, ou seja, como formas de como as coisas ''poderiam'' ter sido.<ref name="Oxford"/>

Mesmo quando restrito à lógica modal alética, há também diferentes tipos de possibilidades e necessidades que podem ser entendidos por estes termos.<ref name="Oxford"/><ref name="Jacquette"/> Por exemplo, de acordo com a modalidade física, é necessário que um objeto caia se for deixado cair, pois é isso que as leis da natureza ditam. Mas, de acordo com a modalidade lógica, isto não é necessário, pois as leis da natureza poderiam ter sido diferentes sem levar a uma contradição lógica.<ref name="Oxford"/>

[[Lógica de ordem superior|Lógicas de ordem superior]] estendem a lógica clássica de predicados de primeira ordem ao incluir novas formas de quantificação.<ref name="Cambridge"/><ref name="Väänänen"/><ref name="Ketland">{{citar livro |last1=Ketland |first1=Jeffrey |title=Encyclopedia of Philosophy |date=2005 |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/second-order-logic |chapter=Second Order Logic}}</ref><ref name="Computing">{{citar livro |title=A Dictionary of Computing |chapter=predicate calculus |url=https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/predicate-calculus}}</ref> Na lógica de primeira ordem, a quantificação é restrita aos indivíduos, como na fórmula <math>\exists x (\it{\text{Maçã}}(x) \land Doce(x))</math> (há algumas maçãs que são doces). Lógicas de ordem superior permitem a quantificação não apenas sobre os indivíduos, mas também sobre os predicados, como em <math>\exists P (P(mary) \land P(john))</math> (há algumas qualidades que Mary e John compartilham).<ref name="Cambridge"/><ref name="Väänänen"/><ref name="Ketland"/><ref name="Computing"/> O aumento do poder expressivo das lógicas de ordem superior é especialmente relevante para a matemática. Por exemplo, um número infinito de axiomas é necessário para a aritmética de Peano e a teoria dos conjuntos de Zermelo-Fraenkel na lógica de primeira ordem, enquanto a lógica de segunda ordem só precisa de um punhado de axiomas para fazer o mesmo trabalho.<ref name="Cambridge"/> Mas esse aumento do poder expressivo tem certos custos. Por um lado, as teorias de ordem superior são incompletas:<ref name="Cambridge"/> não é possível provar todas as sentenças verdadeiras com base nos axiomas desta teoria.<ref name="Hintikka"/> Para as teorias na lógica de primeira ordem, por outro lado, isto é possível. Outra desvantagem é que as lógicas de ordem superior parecem estar comprometidas com uma forma de [[platonismo]], já que quantificam não apenas sobre indivíduos, mas também sobre propriedades e relações.<ref name="Cambridge"/><ref name="Ketland"/>

==== Desviante ====
Lógicas desviantes são formas de lógica na medida em que têm o mesmo objetivo que a lógica clássica: dar um relato de quais inferências são válidas. Diferem da lógica clássica ao dar um relato diferente. A [[lógica intuicionista]], por exemplo, rejeita a [[lei do terceiro excluído]], que é uma forma válida de inferência na lógica clássica.<ref name="Cambridge"/><ref name="Britannica"/> Esta rejeição é baseada na ideia de que a verdade matemática depende da verificação através de uma [[Prova matemática|prova]]. A lei falha para casos em que tal prova não é possível, que existem em todos os sistemas formais suficientemente fortes, de acordo com os [[teoremas da incompletude de Gödel]].<ref>{{citar web |last1=Moschovakis |first1=Joan |title=Intuitionistic Logic: 1. Rejection of Tertium Non Datur |url=https://plato.stanford.edu/entries/logic-intuitionistic/#RejTerNonDat |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-10-28 |date=2021}}</ref><ref>{{citar web |last1=McKubre-Jordens |first1=Maarten |title=Constructive Mathematics: 1b Constructivism as Philosophy |url=https://iep.utm.edu/con-math/#SH1b |website=Internet Encyclopedia of Philosophy |access-date=2021-10-28}}</ref><ref>{{citar web |title=Laws of thought |url=https://www.britannica.com/topic/laws-of-thought |website=Encyclopedia Britannica |access-date=2021-10-28 |lingua=en}}</ref><ref>{{citar livro |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy, 2nd Edition |date=2006 |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=LAWS OF THOUGHT}}</ref> A [[lógica livre]] difere da lógica clássica por ter menos pressupostos existenciais: permite expressões não denotativas, ou seja, termos individuais que não se referem a objetos dentro do domínio.<ref name="Britannica"/><ref name="Routledge"/> Uma motivação central para este tipo de modificação é que a lógica livre pode ser usada para analisar discursos com termos singulares vazios, como na expressão "Papai Noel não existe".<ref name="Cambridge"/><ref name="Nolt">{{citar web |last1=Nolt |first1=John |title=Free Logic |url=https://plato.stanford.edu/entries/logic-free/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-20 |date=2021}}</ref><ref>{{citar periódico |last1=Lehmann |first1=Scott |title=Strict Fregean Free Logic |journal=Journal of Philosophical Logic |date=1994 |volume=23 |issue=3 |pages=307–336 |url=https://www.jstor.org/stable/30227077 |issn=0022-3611}}</ref><ref name="Routledge"/> A [[lógica multivalorada]] é uma lógica que permite valores de verdade adicionais além de ''verdadeiro'' e ''falso'' na lógica clássica.<ref name="Cambridge"/><ref>{{citar periódico |last1=Ciucci |first1=D. |last2=Dubois |first2=D. |title=A Modal Theorem-Preserving Translation of a Class of Three-Valued Logics of Incomplete Information |journal=Journal of Applied Non-Classical Logics |date=2013 |volume=23 |issue=4 |pages=321–352 |doi=10.1080/11663081.2013.863491 |url=https://philpapers.org/rec/CIUAMT}}</ref><ref name="Britannica"/> Neste sentido, rejeita o princípio da bivalência da verdade.<ref name="Oxford"/><ref name="Haack1"/> Em uma forma simples de [[lógica ternária]], por exemplo, um terceiro valor de verdade é introduzido: ''indefinido''.<ref>{{citar web |last1=Gottwald |first1=Siegfried |title=Many-Valued Logic |url=https://plato.stanford.edu/entries/logic-manyvalued/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-20 |date=2020}}</ref>

== Conceitos fundamentais ==
=== Verdade ===
Na lógica, a [[verdade]] é geralmente vista como uma propriedade de proposições ou sentenças. Desempenha um papel central na lógica, pois a validade é frequentemente definida em termos de verdade: uma inferência é válida se e somente se for impossível que suas premissas sejam verdadeiras e sua conclusão seja falsa.<ref name="RoutledgeFormalInformal"/><ref name="McKeon"/><ref name="Cambridge"/><ref name="Jacquette"/> As teorias da verdade tentam caracterizar a natureza da verdade.<ref name="Oxford"/> De acordo com as [[Teorias da verdade#Teorias correspondentistas|teorias da correspondência]], uma proposição é verdadeira se corresponde à realidade, ou seja, se representa as coisas como realmente são. As [[Teorias da verdade#Teorias coerentistas|teorias de coerência]], por outro lado, identificam a verdade com a coerência. Nesta visão, uma proposição é verdadeira se é uma parte coerente de um conjunto específico de proposições, ou seja, se essas proposições são consistentes entre si e fornecem apoio inferencial mútuo umas às outras.<ref>{{citar web |last1=Young |first1=James O. |title=The Coherence Theory of Truth |url=https://plato.stanford.edu/entries/truth-coherence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-24 |date=2018}}</ref><ref name="Oxford"/> De acordo com as [[Teorias da verdade#Teorias pragmatistas|teorias pragmáticas da verdade]], se uma proposição é verdadeira depende de sua relação com a prática. Algumas versões afirmam que uma proposição é verdadeira se acreditar nela é útil, se é o resultado ideal de uma investigação sem fim, ou se atende aos padrões de assertibilidade justificada.<ref>{{citar web |last1=Capps |first1=John |title=The Pragmatic Theory of Truth |url=https://plato.stanford.edu/entries/truth-pragmatic/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-24 |date=2019}}</ref> As [[Teorias da verdade#Teorias deflacionárias|teorias deflacionárias]] da verdade veem a verdade como uma noção bastante vazia que carece de uma natureza interessante própria. Nesta visão, afirmar que uma proposição é verdadeira é o mesmo que afirmar a proposição mesma.<ref>{{citar web |last1=Stoljar |first1=Daniel |last2=Damnjanovic |first2=Nic |title=The Deflationary Theory of Truth |url=https://plato.stanford.edu/entries/truth-deflationary/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-24 |date=2014}}</ref><ref name="Oxford"/> Outros tópicos importantes na filosofia da lógica em relação à verdade são o valor da verdade, o [[paradoxo do mentiroso]] e o [[Princípio da bivalência|princípio da bivalência da verdade]].<ref name="Oxford"/>

[[Parménides]] afirmou que ''falar que aquilo que é, ou não é aquilo que não é, é, é uma mentira; e dizer que o que é, é e o que não é não é, é verdade''.<ref>Aristotle, Metaphysics,Books Γ, Δ, Ε 2nd edition 1011b25 (1993) trans Kirwan,: OUP</ref>
Esta verdade aparente não se provou livre de problemas.

Lógica usa termos como verdadeiro, falso, inconsistente, válido, e auto-contraditório. Questões como as que estão escrito em Strawson (1952)<ref>{{citar livro|último =Strawson |primeiro =P.F.|título=Introduction to Logical Theory |publicado=Methuen: London|ano=1952|páginas=3}}</ref>
(a) quando nós usamos essas palavras de avaliação lógica, o que é isto exatamente que nós estamos avaliando? e
(b) como a avaliação lógica se torna possível?

Desde que o uso, ou seja, se não o significado dos termos é parte do debate, é possível apenas para dar as seguintes definições de trabalho para os propósitos da discussão:
* A verdade necessária é aquela que é verdade, não importa o que o estado do mundo ou, como às vezes é colocar, em todos os mundos possíveis.<ref>Wolfram (1989) p. 80</ref>
* Verdades lógicas são aquelas verdades necessárias que são necessariamente verdadeiras devido ao significado de apenas suas constantes lógicas.<ref>Wolfram (1989), p. 273</ref>

==== Verdade lógica ====
Central para a lógica é a noção de [[verdade lógica]]. A verdade lógica é muitas vezes entendida em termos da [[distinção analítico-sintética]]: uma proposição é analiticamente verdadeira se sua verdade depende apenas dos significados dos termos que a compõem. As proposições sintéticas, por outro lado, são caracterizadas pelo fato de que sua verdade depende de fatores não lógicos ou empíricos.<ref name="BritannicaAnalytic">{{citar web |title=analytic proposition |url=https://www.britannica.com/topic/analytic-proposition |website=www.britannica.com |access-date=2021-11-22 |lingua=en}}</ref> Isto é às vezes expresso afirmando que as verdades analíticas são tautologias, cuja negação implicaria uma contradição, enquanto é possível que as proposições sintéticas sejam verdadeiras ou falsas.<ref name="BritannicaAnalyticSynthetic">{{citar web |title=analytic-synthetic distinction |url=https://www.britannica.com/topic/analytic-synthetic-distinction |website=www.britannica.com |access-date=2021-11-22 |lingua=en}}</ref> Neste sentido, a proposição "nenhum solteiro é um homem casado" é analiticamente verdadeira, pois ser solteiro faz parte da definição do termo “solteiro”. A proposição "alguns solteiros são felizes", por outro lado, é sinteticamente verdadeira, pois depende de fatores empíricos não incluídos no significado de seus termos.<ref>{{citar livro |last1=Gensler |first1=Harry J. |title=Introduction to Logic |date=2012-08-06 |publisher=Routledge |isbn=978-1-136-99452-4 |url=https://books.google.com/books?id=HnRekA0qkPsC |lingua=en |chapter=3.7 A priori and a posteriori}}</ref> Mas se esta distinção é sustentável foi posta em questão. Por exemplo, [[Willard Van Orman Quine]] argumentou que não há verdades puramente analíticas, ou seja, que todas as proposições são, em certa medida, empíricas.<ref>{{citar periódico |last1=Quine |first1=Willard Van Orman |title=Two Dogmas of Empiricism |journal=Sententiae |date=1951 |volume=33 |issue=2 |pages=9–26 |doi=10.22240/sent33.02.009 |url=https://philpapers.org/rec/VANTDO-55}}</ref><ref name="BritannicaAnalyticSynthetic"/><ref name="BritannicaAnalytic"/> Mas outros defenderam explicitamente a distinção analítico-sintética contra as críticas de Quine.<ref>{{citar periódico |last1=Grice |first1=H. P. |last2=Strawson |first2=P. F. |title=In Defense of a Dogma |journal=Philosophical Review |date=1956 |volume=65 |issue=2 |pages=141–158 |doi=10.2307/2182828 |url=https://philpapers.org/rec/GRIIDO-2}}</ref><ref>{{citar livro |last1=Putnam |first1=Hilary |title=Philosophical Papers: Volume 3: Realism and Reason |date=1983 |publisher=Cambridge University Press |isbn=978-0-521-31394-0 |pages=87–97 |url=https://www.cambridge.org/core/books/abs/philosophical-papers/two-dogmas-revisited/5E9B75138DEA90A3DF92194BAC48CB96 |chapter=‘Two dogmas’ revisited}}</ref>

Mas se as verdades lógicas podem ser identificadas com verdades analíticas nem sempre é aceito.<ref>{{citar periódico |last1=Hintikka |first1=Jaakko |title=Are Logical Truths Analytic? |journal=The Philosophical Review |date=1965 |volume=74 |issue=2 |pages=178–203 |doi=10.2307/2183264 |url=https://www.jstor.org/stable/2183264 |issn=0031-8108}}</ref><ref name="MacFarlane"/> Uma abordagem diferente caracteriza as verdades lógicas em relação a um pequeno subconjunto dos significados de todos os termos: as chamadas [[constantes lógicas]] ou syncategoremata.<ref name="MacFarlane">{{citar web |last1=MacFarlane |first1=John |title=Logical Constants |url=https://plato.stanford.edu/entries/logical-constants/#SynTer |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-21 |date=2017}}</ref><ref name="Britannica"/><ref name="McKeon"/><ref>{{citar livro |last1=Wolfram |first1=Sybil |title=Philosophical Logic: An Introduction |date=1989 |publisher=London and New York: Routledge |page=273 |url=https://philpapers.org/rec/WOLPLA-3}}</ref> Incluem conectivos proposicionais, como "e" ou "se-então", quantificadores, como "para alguns" ou "para todos", e identidade.<ref name="Britannica"/><ref name="McKeon"/>  A lógica proposicional só se preocupa com a verdade em virtude de conectivos proposicionais, enquanto a lógica de predicados também investiga verdades baseadas no uso de quantificadores e identidade.<ref name="Britannica"/> Lógicas estendidas introduzem ainda mais constantes lógicas, como possibilidade e necessidade na lógica modal.<ref name="MacFarlane"/><ref name="Garson">{{citar web |last1=Garson |first1=James |title=Modal Logic |url=https://plato.stanford.edu/entries/logic-modal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-21 |date=2021}}</ref> Uma sentença é verdadeira somente em virtude das constantes lógicas se todos os termos não lógicos podem ser livremente substituídos por outros termos do tipo apropriado sem afetar qualquer mudança no valor de verdade da sentença.<ref name="Britannica"/><ref name="McKeon"/> Por exemplo, a sentença "se chove, então chove" é verdadeira devido apenas à sua forma lógica porque todas essas substituições, como substituir a expressão "Sócrates é sábio" pela expressão "chove", também resultam em sentenças verdadeiras. Um problema com esta caracterização da lógica é que nem sempre é claro como fazer a distinção entre constantes lógicas e outros símbolos. Embora haja pouca controvérsia nos casos paradigmáticos, há vários casos limítrofes nos quais parece não haver bons critérios para decidir a questão.<ref name="MacFarlane"/><ref name="Britannica"/><ref name="McKeon"/>

=== Premissas e conclusões ===
Há várias discussões sobre a natureza das premissas e conclusões. É amplamente aceito que eles devem ser portadores da verdade, ou seja, que ou são verdadeiras ou falsas.<ref name="Oxford"/> Isto é necessário para que eles possam cumprir seu papel lógico.<ref name="Cambridge"/> Tradicionalmente, são entendidos como pensamentos ou proposições, ou seja, como objetos mentais ou abstratos. Esta abordagem foi rejeitada por vários filósofos, já que tem se mostrado difícil especificar critérios de identidade claros para esses tipos de entidades.<ref name="Cambridge"/> Uma abordagem alternativa sustenta que apenas as sentenças podem atuar como premissas e conclusões.<ref name="McKeon"/><ref name="Cambridge"/> As proposições estão intimamente relacionadas às sentenças, já que são o significado das sentenças: sentenças expressam proposições.<ref name="Oxford"/> Mas esta abordagem enfrenta vários problemas próprios. Um deles se deve ao fato de que o significado das sentenças geralmente é dependente do contexto. Por causa disso, pode acontecer que a mesma inferência seja válida em um contexto e inválida em outro.<ref name="Cambridge"/><ref name="Pietroski"/>  Outro problema consiste no fato de que algumas sentenças são ambíguas, ou seja, que às vezes depende da interpretação de alguém se uma inferência é válida ou não.<ref name="Cambridge"/><ref name="Pietroski">{{citar web |last1=Pietroski |first1=Paul |title=Logical Form: 1. Patterns of Reason |url=https://plato.stanford.edu/entries/logical-form/#pat |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-4 |date=2021}}</ref>

Um aspecto importante tanto das proposições quanto das sentenças é que elas podem ser simples ou complexas.<ref name="King">{{citar web |last1=King |first1=Jeffrey C. |title=Structured Propositions |url=https://plato.stanford.edu/entries/propositions-structured/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-4 |date=2019}}</ref> As proposições complexas são compostas de proposições simples que estão ligadas entre si através de conectivos proposicionais. As proposições simples não têm outras proposições como suas partes, mas são geralmente entendidas como sendo constituídas por outras entidades também: por partes subproposicionais como termos singulares e predicados.<ref name="Oxford"/><ref name="King"/> Por exemplo, a proposição simples "Marte é vermelho" é constituída pelo termo singular "Marte", ao qual é aplicado o predicado "vermelho".<ref name="Oxford"/> Em contraste, a proposição "Marte é vermelho e Vênus é branco" é composta de duas proposições conectadas pelo conectivo proposicional "e".<ref name="Oxford"/> No caso mais simples, estes conectivos são conectivos funcionais de verdade: o valor de verdade da proposição complexa é uma função dos valores de verdade de seus constituintes.<ref name="Oxford"/> Assim, a proposição "Marte é vermelho e Vênus é branco" é verdadeira porque as duas proposições que a constituem são verdadeiras. O valor de verdade das proposições simples, por outro lado, depende de suas partes subproposicionais.<ref name="Oxford"/><ref name="King"/> Isto é geralmente entendido em termos de referência: sua verdade é determinada pela forma como suas partes subproposicionais estão relacionadas com o mundo, ou seja, com os objetos extralinguísticos aos quais se referem. Esta relação é estudada por teorias de referência, que tentam especificar como os termos singulares se referem aos objetos e como os predicados se aplicam a estes objetos.<ref name="Oxford"/><ref name="Michaelson">{{citar web |last1=Michaelson |first1=Eliot |last2=Reimer |first2=Marga |title=Reference |url=https://plato.stanford.edu/entries/reference/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-12-4 |date=2019}}</ref> No caso de termos singulares, as sugestões populares incluem que um termo singular refere-se ao seu objeto através de uma descrição definida ou com base em relações causais com ele.<ref name="Oxford"/><ref name="Routledge"/><ref name="Michaelson"/> No primeiro sentido, o nome "[[Aristóteles]]" pode ser entendido como a descrição definida "o aluno de [[Platão]] que ensinou Alexandre".<ref name="Routledge"/> Quanto aos predicados, eles são frequentemente vistos como se referindo a [[universais]], a [[conceito]]s ou a classes de objetos.<ref name="Oxford"/>

=== Inferência e argumento ===
Uma [[inferência]] é o processo de raciocínio desde as premissas até uma conclusão.<ref name="Hintikka"/><ref name="McKeon"/> A relação entre as [[premissa]]s e a conclusão é chamada de "[[consequência lógica]]". Um [[argumento]] consiste nas premissas, na conclusão e na relação entre elas. Mas os termos "inferência", "argumento" e "consequência lógica" são frequentemente usados de forma intercambiável. Um argumento complexo é um argumento que envolve vários passos, nas quais as conclusões dos passos anteriores aparecem como as premissas dos passos seguintes.<ref name="Cambridge"/> Inferências e argumentos podem ser corretos ou incorretos. Isto depende de se as premissas realmente apoiam a conclusão ou não, ou seja, se a conclusão decorre das premissas.<ref name="Cambridge"/><ref name="Hintikka"/> Por exemplo, decorre de "Kelly está ou em casa ou no trabalho" e "Kelly está em casa" que "Kelly não está no trabalho". Mas não decorre que "Kelly é um fã de futebol".<ref name="McKeon"/>

Uma distinção importante com relação às inferências é entre inferências dedutivas e ampliativas, também chamadas de inferências monotônicas e não monotônicas.<ref name="Hintikka"/><ref name="Backmann">{{citar periódico |last1=Backmann |first1=Marius |title=Varieties of Justification—How (Not) to Solve the Problem of Induction |journal=Acta Analytica |date=2019-6-1 |volume=34 |issue=2 |pages=235–255 |doi=10.1007/s12136-018-0371-6 |url=https://link.springer.com/article/10.1007/s12136-018-0371-6 |lingua=en |issn=1874-6349}}</ref><ref name="IEPArguments">{{citar web |title=Deductive and Inductive Arguments |url=https://iep.utm.edu/ded-ind/ |website=Internet Encyclopedia of Philosophy |access-date=2021-12-4}}</ref> Segundo [[Alfred Tarski]], a inferência dedutiva tem três características centrais: (1) é formal, ou seja, depende apenas da forma das premissas e da conclusão; (2) é a priori, ou seja, não é necessária experiência sensorial para determinar se ela obtém; (3) é modal, ou seja, existe por necessidade para as proposições dadas, independentemente de quaisquer outras circunstâncias.<ref name="McKeon"/> As inferências dedutivas preservam necessariamente a verdade: a conclusão não pode ser falsa se todas as premissas são verdadeiras.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> Por esta razão, são incapazes de introduzir novas informações ainda não encontradas nas premissas e são não informativas neste sentido. Um problema com a caracterização das inferências dedutivas como não informativas é que isto parece sugerir que elas são inúteis, ou seja, não explica por que alguém as usaria ou estudaria.<ref name="Hintikka"/><ref name="D'Agostino">{{citar periódico |last1=D'Agostino |first1=Marcello |last2=Floridi |first2=Luciano |title=The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? |journal=Synthese |date=2009 |volume=167 |issue=2 |pages=271–315 |url=https://www.jstor.org/stable/40271192 |lingua=en |issn=0039-7857}}</ref> Esta dificuldade pode ser resolvida distinguindo entre informações profundas e informações superficiais. Nesta visão, a lógica dedutiva é não informativa no nível da informação profunda, mas ainda pode levar a resultados surpreendentes no nível da informação superficial, apresentando certos aspectos de uma nova maneira.<ref name="Hintikka"/>

As inferências ampliativas, por outro lado, são informativas porque visam a fornecer novas informações. Isto acontece ao custo de perder a natureza necessariamente preservadora da verdade.<ref name="Hintikka"/><ref name="Backmann"/><ref name="IEPArguments"/> A forma mais proeminente de inferência ampliativa é a [[Método indutivo|indução]]. Uma inferência indutiva envolve proposições particulares como premissas, que são usadas para inferir ou mais uma proposição particular ou uma generalização como conclusão.<ref name="Hintikka"/><ref name="IEPArguments"/> As inferências dedutivas são a forma paradigmática de inferência e são o foco principal da lógica. Mas muitas inferências extraídas nas ciências empíricas e no discurso cotidiano são inferências ampliativas.<ref name="Hintikka"/><ref name="Bunge">{{citar periódico |last1=Bunge |first1=Mario |title=The Place of Induction in Science |journal=Philosophy of Science |date=1960 |volume=27 |issue=3 |pages=262–270 |url=https://www.jstor.org/stable/185969 |issn=0031-8248}}</ref>

=== Validade e falácias ===
Um problema central na lógica é como distinguir os argumentos corretos ou válidos dos argumentos incorretos ou inválidos.<ref name="Hintikka"/> A filosofia da lógica investiga questões como o que significa que um argumento é válido.<ref name="Haack1"/><ref name="Jacquette"/> Isto inclui a questão de como este tipo de apoio deve ser entendido ou de que são os critérios sob os quais uma premissa apoia uma conclusão.<ref name="Cambridge"/> Alguns lógicos definem inferência válida em termos de necessidade lógica: as premissas implicam a conclusão se é impossível que as premissas sejam verdadeiras e a conclusão seja falsa.<ref name="McKeon"/> Isto também pode ser expresso dizendo que a conjunção das premissas e a negação da conclusão é logicamente impossível.<ref name="Oxford"/><ref name="Jacquette"/> Esta concepção traz consigo o [[princípio da explosão]], ou seja, que qualquer coisa decorre de uma contradição.<ref name="Oxford"/> Mas inferências válidas também podem ser caracterizadas em termos de regras de inferência.<ref name="Hintikka"/> As regras de inferência governam a transição das premissas para a conclusão. Nesta visão, uma inferência é válida se estiver de acordo com uma regra de inferência apropriada.<ref name="Hintikka"/>

A noção de inferência válida está intimamente relacionada com a de confirmação.<ref name="Oxford"/> Inferências válidas pertencem à lógica formal e estão associadas a argumentos dedutivamente válidos. Mas muitos argumentos encontrados nas ciências e no discurso cotidiano apoiam sua conclusão sem assegurar sua verdade. Caem no âmbito da lógica informal e também podem ser divididas em argumentos bons e maus. Neste sentido, por exemplo, as observações podem atuar como [[Evidência empírica|evidências empíricas]] que apoiam uma hipótese científica.<ref>{{citar web |last1=DiFate |first1=Victor |title=Evidence |url=https://iep.utm.edu/evidence/ |website=Internet Encyclopedia of Philosophy |access-date=2021-6-11}}</ref><ref>{{citar web |last1=Kelly |first1=Thomas |title=Evidence |url=https://plato.stanford.edu/entries/evidence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-6-11 |date=2016}}</ref> Isso é muitas vezes entendido em termos de probabilidade, ou seja, que a evidência aumenta a probabilidade de que a hipótese seja verdadeira.<ref name="Oxford"/>

De interesse especial são as chamadas falácias, ou seja, argumentos incorretos que parecem ser corretos.<ref name="Hansen">{{citar web |last1=Hansen |first1=Hans |title=Fallacies |url=https://plato.stanford.edu/entries/fallacies/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-3-18 |date=2020}}</ref><ref name="Hintikka"/> São incorretos porque as premissas não suportam a conclusão da forma assumida. Devido a sua aparência enganosa, eles podem seduzir as pessoas a aceitá-los e usá-los. Muitas vezes três fatores são identificados como as fontes do erro: ''forma'', ''conteúdo'' e ''contexto''.<ref>{{citar web |title=The Fallacy Files: Informal Logical Fallacy |url=https://www.fallacyfiles.org/inforfal.html |website=www.fallacyfiles.org |access-date=2021-3-20}}</ref><ref name="Dowden"/> A forma de um argumento refere-se a sua estrutura, ou seja, qual [[regra de inferência]] emprega.<ref name="Hintikka"/> Os erros no nível da forma envolvem o uso de regras de inferência inválidas.<ref name="Hansen"/><ref name="Dowden"/> Um argumento incorreto no nível do conteúdo usa proposições falsas como premissas.<ref name="Hansen"/><ref name="Dowden"/> O contexto de um argumento refere-se à situação em que é usado e ao papel que é suposto que desempenhe. Um argumento pode ser falacioso se não desempenhar o papel destinado a ele, como na [[falácia do homem de palha]], quando o argumentador ataca uma posição excessivamente fraca não mantida pelo oponente.<ref name="Dowden"/><ref name="Walton">{{citar livro |last1=Walton |first1=Douglas N. |title=Informal Fallacies: Towards a Theory of Argument Criticisms |date=1987 |publisher=John Benjamins |url=https://philpapers.org/rec/WALIFT |chapter=1. A new model of argument}}</ref>

Uma distinção importante entre falácias pode ser feita com base nestas fontes de erro: aquela entre [[Falácia formal|falácias formais]] e [[Falácia informal|informais]]. As falácias formais pertencem à lógica formal e envolvem apenas erros de forma ao empregar uma regra de inferência inválida.<ref name="Hansen"/><ref>{{citar livro |last1=Vleet |first1=Van Jacob E. |title=Informal Logical Fallacies: A Brief Guide |date=2010 |publisher=Upa |url=https://philpapers.org/rec/VLEILF |chapter=Introduction}}</ref>  [[Negação do antecedente|Negar o antecedente]] é um tipo de falácia formal, por exemplo, "Se Otelo é solteiro, então ele é homem. Otelo não é solteiro. Portanto, Otelo não é homem".<ref name="BritannicaThought">{{citar web |title=Thought |url=https://www.britannica.com/topic/thought |website=Encyclopedia Britannica |access-date=2021-10-14 |lingua=en}}</ref><ref>{{citar periódico |last1=Stone |first1=Mark A. |title=Denying the Antecedent: Its Effective Use in Argumentation |journal=Informal Logic |date=2012 |volume=32 |issue=3 |pages=327–356 |url=https://philpapers.org/rec/STODTA}}</ref> As falácias informais pertencem à lógica informal e sua principal fonte de erro é encontrada no nível do conteúdo e contexto. Os [[Falsa dicotomia|falsos dilemas]], por exemplo, são baseados em uma falsa premissa disjuntiva que simplifica demais a realidade ao excluir alternativas viáveis, como em "Stacey falou contra o capitalismo, portanto ela deve ser comunista".<ref >{{citar web |last1=Mackie |first1=J. L. |title=Fallacies |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/fallacies |website=www.encyclopedia.com |access-date=2021-3-19 |date=1967}}</ref><ref name="Dowden">{{citar web |last1=Dowden |first1=Bradley |title=Fallacies |url=https://iep.utm.edu/fallacy/ |website=Internet Encyclopedia of Philosophy |access-date=2021-3-19}}</ref><ref name="Não_nomeado-xrac-2"/>

Como a lógica avalia os argumentos como bons ou maus, a lógica enfrenta o problema da natureza e justificação das normas que guiam estas avaliações.<ref name="Cambridge"/><ref>{{citar periódico |last1=Russell |first1=Gillian |title=The Justification of the Basic Laws of Logic |journal=Journal of Philosophical Logic |date=2015 |volume=44 |issue=6 |pages=793–803 |doi=10.1007/s10992-015-9360-z |url=https://philpapers.org/rec/RUSTJO}}</ref> Isto é semelhante às questões encontradas na [[metaética]] sobre como justificar as normas morais.<ref name="Cambridge"/> Uma abordagem para esta questão é caracterizar as normas da lógica como generalizações das práticas inferenciais encontradas na linguagem natural ou nas ciências. Desta forma, a justificação é herdada das avaliações das inferências boas e más utilizadas no campo correspondente.<ref name="Cambridge"/>

=== Regras definitórias e estratégicas ===
Uma distinção importante entre as regras da lógica é a entre regras definitórias e estratégicas.<ref name="Hintikka"/><ref name="Pedemonte">{{citar periódico |last1=Pedemonte |first1=Bettina |title=Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof |journal=Eurasia Journal of Mathematics, Science and Technology Education |date=2018-6-25 |volume=14 |issue=9 |pages=em1589 |doi=10.29333/ejmste/92562 |url=https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |lingua=en |issn=1305-8215}}</ref><ref name="BritannicaSystems">{{citar web |title=Logical systems |url=https://www.britannica.com/topic/logic/Logical-systems |website=www.britannica.com |access-date=2021-12-4 |lingua=en}}</ref> As regras de inferência são regras definitórias: governam quais inferências são válidas. E embora tenha sido o objetivo principal da lógica distinguir as inferências válidas das inválidas, há também um objetivo secundário frequentemente associado à lógica: determinar quais passos inferenciais são necessários para provar ou refutar uma determinada proposição baseada em um conjunto de premissas.<ref name="Hintikka"/><ref name="Pedemonte"/><ref name="BritannicaSystems"/> Este é o domínio das regras estratégicas. As regras de inferência especificam quais passos são permitidos, mas permanecem em silêncio sobre quais passos precisam ser tomados para chegar a uma determinada conclusão. A diferença entre regras definitórias e estratégicas é encontrada não apenas na lógica, mas também em vários jogos.<ref name="Hintikka"/><ref name="Pedemonte"/><ref name="BritannicaSystems"/> No xadrez, por exemplo, as regras definitórias especificam que os bispos só podem se mover diagonalmente, enquanto as regras estratégicas descrevem como os movimentos permitidos podem ser usados para ganhar um jogo, por exemplo, controlando o centro ou protegendo o próprio rei. Seguir as regras definitórias determina se alguém joga xadrez ou outra coisa, enquanto seguir regras estratégicas determina se alguém é um bom ou um mau jogador de xadrez.<ref name="Hintikka"/><ref name="BritannicaSystems"/> Tanto as regras definitórias quanto as estratégicas devem ser distinguidas das regras descritivas empíricas, que generalizam como as pessoas realmente tiram inferências, sejam corretas ou incorretas. Neste sentido, as regras definitórias são permissivas e as regras estratégicas são prescritivas, enquanto as generalizações empíricas são descritivas.<ref name="Hintikka"/> Violar as regras definitórias da lógica resulta em cometer falácias.<ref name="Hintikka"/> Foi argumentado que o foco quase exclusivo dos lógicos nas regras definitórias da lógica não é justificado. Nesta visão, mais ênfase deveria ser dada às regras estratégicas, já que muitas aplicações da lógica, como o problema da mudança racional de crença, dependem mais de regras estratégicas do que de regras definitórias.<ref name="Hintikka"/>

== Metafísica da lógica ==
A filosofia da lógica está em muitos aspectos intimamente relacionada à filosofia da matemática, especialmente em relação aos seus aspectos metafísicos.<ref name="Rush">{{citar livro |last1=Rush |first1=Penelope |title=The Metaphysics of Logic |date=2014 |publisher=Cambridge University Press |url=https://philpapers.org/rec/RUSTMO-4 |chapter=Introduction}}</ref> A metafísica da lógica está preocupada com o estado metafísico de seus objetos e com as leis que os governam. As teorias na metafísica da lógica podem ser divididas aproximadamente em posições realistas e não realistas.

Os realistas lógicos sustentam que as leis da lógica são objetivas, ou seja, independentes dos seres humanos e de suas formas de pensar.<ref name="Rush"/><ref name="Tahko">{{citar periódico |last1=Tahko |first1=Tuomas E. |title=A survey of logical realism |journal=Synthese |date=2021-5-1 |volume=198 |issue=5 |pages=4775–4790 |doi=10.1007/s11229-019-02369-5 |url=https://link.springer.com/article/10.1007/s11229-019-02369-5 |lingua=en |issn=1573-0964}}</ref> Nesta visão, as estruturas encontradas na lógica são estruturas do mundo mesmo.<ref name="Tahko"/> De acordo com uma definição proposta por Sandra LaPointe, o realismo lógico consiste em duas teses: que existem fatos lógicos e que são independentes de nossa constituição cognitiva e nossas práticas cognitivas e linguísticas.<ref>{{citar livro |last1=Lapointe |first1=Sandra |title=The Metaphysics of Logic |date=2014 |publisher=Cambridge University Press |isbn=978-1-139-62627-9 |pages=189–208 |url=https://www.cambridge.org/core/books/abs/metaphysics-of-logic/bolzanos-logical-realism/F0AE46855DD384CCE82D353A0C09C1E4 |chapter=Bolzano’s logical realism}}</ref><ref name="Tahko"/> O realismo lógico é frequentemente interpretado a partir da perspectiva do [[platonismo]], ou seja, que há um reino inteligível de objetos abstratos que inclui os objetos da lógica.<ref name="Linnebo"/> Nesta visão, a lógica não é inventada, mas descoberta.<ref name="Linnebo">{{citar web |last1=Linnebo |first1=Øystein |title=Platonism in the Philosophy of Mathematics |url=https://plato.stanford.edu/entries/platonism-mathematics/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-30 |date=2018}}</ref><ref name="Tahko"/> Uma consequência importante desta posição é que existe uma lacuna clara entre os fatos da lógica em si e nossas crenças sobre estes fatos.<ref name="RushRealism">{{citar livro |last1=Rush |first1=Penelope |title=The Metaphysics of Logic |date=2014 |publisher=Cambridge University Press |url=https://philpapers.org/rec/RUSTMO-4 |chapter=Logical Realism}}</ref> Uma dificuldade desta posição consiste em esclarecer qual sentido de independência se entende quando se diz que a lógica é independente dos seres humanos. Se for entendida no sentido mais estrito possível, nenhum conhecimento dela seria possível, já que uma realidade totalmente independente não poderia desempenhar nenhum papel na consciência humana.<ref name="RushRealism"/> Outro problema é explicar a relação entre o mundo único e a pluralidade dos diferentes sistemas lógicos propostos. Isto sugeriria que há apenas uma lógica verdadeira e todos os outros sistemas lógicos são falsos ou incompletos.<ref name="Tahko"/>

O realismo lógico é rejeitado pelos antirrealistas, que sustentam que a lógica não descreve uma característica objetiva da realidade. O antirrealismo sobre a lógica muitas vezes toma a forma de [[conceitualismo]] ou [[psicologismo]], nos quais os objetos da lógica consistem em concepções mentais ou as leis lógicas são identificados com leis psicológicas.<ref name="Rush"/><ref name="Kusch">{{citar web |last1=Kusch |first1=Martin |title=Psychologism |url=https://plato.stanford.edu/entries/psychologism/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-30 |date=2020}}</ref> Isto pode incluir a tese de que as leis da lógica não são [[A priori e a posteriori|conhecíveis a priori]], como frequentemente se sustenta, mas que são descobertas através dos métodos de investigação experimental.<ref name="Kusch"/> Um argumento para o psicologismo é baseado na ideia de que a lógica é uma subdisciplina da psicologia: estuda não todas as leis do pensamento, mas apenas o subconjunto de leis correspondentes ao raciocínio válido.<ref name="Kusch"/> Outro argumento centra-se na tese de que aprendemos sobre verdades lógicas através do sentimento de autoevidência, que, por sua vez, é estudado pela psicologia.<ref name="Kusch"/> Várias objeções ao psicologismo foram levantadas, especialmente na [[filosofia alemã]] por volta da virada do século XX no chamado "Psychologismus-Streit".<ref name="Kusch"/> Uma objeção se concentra na tese de que as leis da lógica são conhecidas a priori, o que não é verdade para as leis empíricas estudadas pela psicologia. Outro aponta que as leis psicológicas são geralmente vagas, enquanto a lógica é uma ciência exata com leis claras.<ref name="Kusch"/>

O convencionalismo é outra forma de antirrealismo, na qual as verdades lógicas dependem dos significados dos termos utilizados, que por sua vez dependem das convenções linguísticas adotadas por um grupo de agentes.<ref name="Rescorla">{{citar web |last1=Rescorla |first1=Michael |title=Convention |url=https://plato.stanford.edu/entries/convention/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-30 |date=2019}}</ref><ref name="Rush"/><ref>{{citar periódico |last1=Johnson |first1=David |title=Conventionalism about Logical Truth |journal=Philosophical Topics |date=1995 |volume=23 |issue=1 |pages=189–212 |url=https://www.jstor.org/stable/43154200 |issn=0276-2080}}</ref> Um problema para esta posição consiste em fornecer uma definição clara do termo "convenção". As convenções são regularidades amplamente observadas. Mas nem toda regularidade amplamente observada é uma convenção: as convenções incluem um certo fator normativo que distingue o comportamento certo do errado, enquanto o comportamento irregular não é automaticamente errado.<ref name="Rescorla"/> Outro problema diz respeito ao fato de que as convenções são contingentes, enquanto as verdades lógicas são necessárias. Isto lança dúvidas sobre a possibilidade de definir a verdade lógica em termos de convenção, a menos que uma explicação plausível possa ser dada de como convenções contingentes podem fundamentar verdades necessárias.<ref name="Warren">{{citar livro |last1=Warren |first1=Jared |title=Shadows of Syntax |date=2020 |publisher=Oxford University Press |isbn=978-0-19-008615-2 |url=https://oxford.universitypressscholarship.com/view/10.1093/oso/9780190086152.001.0001/oso-9780190086152-chapter-7 |chapter=The Very Idea of Truth by Convention}}</ref>

== Relação com outras disciplinas ==
=== Ontologia ===
Uma questão central na ontologia é o problema da existência, ou seja, se existe uma entidade ou um certo tipo de entidade.<ref name="Britannica"/> Segundo alguns teóricos, o objetivo principal da ontologia é apenas determinar o que existe e o que não existe.<ref name="Schaffer">{{citar periódico |last1=Schaffer |first1=Jonathan |title=On What Grounds What |journal=Metametaphysics: New Essays on the Foundations of Ontology |date=2009 |pages=347–383 |url=https://philpapers.org/rec/SCHOWG |access-date=2021-11-23 |publisher=Oxford University Press}}</ref> A questão da existência está intimamente relacionada a termos singulares, como nomes, e quantificadores existenciais (<math>\exists x</math>): muitas vezes se sustenta que estes dispositivos carregam consigo pressupostos existenciais ou compromissos ontológicos.<ref name="Britannica"/><ref name="Schaffer"/><ref name="Bricker">{{citar web |last1=Bricker |first1=Phillip |title=Ontological Commitment |url=https://plato.stanford.edu/entries/ontological-commitment/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-23 |date=2016}}</ref><ref name="Quine">{{citar periódico |last1=Quine |first1=Willard Van Orman |title=On What There Is |journal=Review of Metaphysics |date=1948 |volume=2 |issue=5 |pages=21–38 |url=https://philpapers.org/rec/QUIOWT-7}}</ref> Nesta visão, frases como {{nowrap|"<math>\exists x (\it{\text{Maçã}}(x))</math>"}} e {{nowrap|"<math>Cavalo(\it{\text{pégaso}})</math>"}} envolvem compromissos ontológicos com a existência de maçãs e de [[Pégaso]], respectivamente. O defensor mais famoso desta abordagem é [[Willard Van Orman Quine]], que argumenta que os compromissos ontológicos de qualquer teoria podem ser determinados traduzindo-a na lógica de primeira ordem e lendo-os a partir dos quantificadores existenciais usados nesta tradução.<ref name="Quine"/><ref name="Britannica"/><ref name="Schaffer"/><ref name="Haack1"/>

Um problema com esta abordagem é que ela pode levar a vários compromissos ontológicos controversos.<ref name="Britannica"/><ref name="Schaffer"/> A matemática, por exemplo, quantifica sobre números em frases como "há números primos entre 1000 e 1010".<ref name="Quine"/> Isto significaria que o compromisso ontológico com a existência dos números, ou seja, o [[Realismo filosófico|realismo]] sobre os números, já está embutido na matemática.<ref name="Quine"/> Outro problema se deve ao fato de que a linguagem natural contém muitos nomes para entidades imaginárias, como Pégaso ou Papai Noel.<ref name="Reicher">{{citar web |last1=Reicher |first1=Maria |title=Nonexistent Objects |url=https://plato.stanford.edu/entries/nonexistent-objects/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-23 |date=2019}}</ref> Mas se os nomes vêm com compromissos existenciais, então sentenças como "Papai Noel não existe" seriam contraditórias. Na ontologia, estes problemas às vezes são abordados através do platonismo ou do psicologismo, sustentando que as entidades problemáticas existem, mas apenas na forma de objetos abstratos ou mentais, enquanto carecem de existência concreta ou material.<ref name="Reicher"/> Na lógica, estes problemas podem ser evitados usando certas formas de lógica não clássica. A lógica livre, por exemplo, permite termos singulares vazios, que não denotam nenhum objeto no domínio e, portanto, não carregam compromissos ontológicos.<ref name="Cambridge"/><ref name="Nolt"/><ref name="Routledge"/> Isto é frequentemente combinado com um predicado de existência, que pode ser usado para especificar se um termo singular denota um objeto no domínio.<ref name="Britannica"/><ref name="Nolt"/> Mas falar da existência como um predicado é controverso. Os opositores desta abordagem muitas vezes apontam que a existência é necessária para que um objeto tenha quaisquer predicados e, portanto, não pode ser um deles.<ref name="Britannica"/><ref>{{citar periódico |last1=Moltmann |first1=Friederike |title=Existence Predicates |journal=Synthese |date=2020 |volume=197 |issue=1 |pages=311–335 |doi=10.1007/s11229-018-1847-z |url=https://philpapers.org/rec/MOLEP}}</ref><ref>{{citar periódico |last1=Muskens |first1=Reinhard |title=Existence Predicate |journal=The Encyclopedia of Language and Linguistics |date=1993 |pages=1191 |url=https://philpapers.org/rec/MUSEP |publisher=Oxford: Pergamon}}</ref>

A questão da existência traz consigo seus próprios problemas no caso da lógicas de ordem superior.<ref name="Britannica"/><ref name="Väänänen"/> A lógica de segunda ordem, por exemplo, inclui a quantificação existencial não apenas para termos singulares, mas também para predicados. Isto é muitas vezes entendido como implicando compromissos ontológicos não apenas com objetos regulares, mas também com as propriedades e relações instanciadas por estes objetos.<ref name="Britannica"/><ref name="Väänänen">{{citar web |last1=Väänänen |first1=Jouko |title=Second-order and Higher-order Logic |url=https://plato.stanford.edu/entries/logic-higher-order/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-23 |date=2021}}</ref><ref name="Haack1"/> Esta posição é conhecida como realismo e é frequentemente rejeitada na filosofia contemporânea devido a considerações [[Naturalismo (filosofia)|naturalistas]]. Contrasta com o [[nominalismo]], a visão de que só existem indivíduos.<ref name="Britannica"/><ref>{{citar web |last1=MacLeod |first1=Mary C. |title=Universals |url=https://iep.utm.edu/universa/ |website=Internet Encyclopedia of Philosophy |access-date=2021-11-23}}</ref><ref>{{citar web |last1=Rodriguez-Pereyra |first1=Gonzalo |title=Nominalism in Metaphysics |url=https://plato.stanford.edu/entries/nominalism-metaphysics/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-23 |date=2019}}</ref>

=== Matemática ===
A matemática e a lógica estão relacionadas de várias maneiras. Ambas são consideradas [[ciências formais]] e, em muitos casos, os desenvolvimentos nestes dois campos aconteceram em paralelo.<ref name="Britannica"/><ref>{{citar periódico |last1=Löwe |first1=Benedikt |title=The Formal Sciences: Their Scope, Their Foundations, and Their Unity |journal=Synthese |date=2002 |volume=133 |issue=1-2 |pages=5–11 |doi=10.1023/A:1020887832028 |url=https://philpapers.org/rec/LWETFS}}</ref> A lógica proposicional, por exemplo, é uma instância da [[álgebra booleana]].<ref>{{citar web |last1=Jansana |first1=Ramon |title=Algebraic Propositional Logic |url=https://plato.stanford.edu/entries/logic-algebraic-propositional/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-11-30 |date=2016}}</ref> Afirma-se muitas vezes que a matemática pode, em princípio, ser fundamentada apenas na lógica de primeira ordem juntamente com a teoria dos conjuntos.<ref name="Britannica"/> Metamath é um exemplo de tal projeto. Baseia-se em 20 axiomas da lógica proposicional, da lógica de predicados de primeira ordem e da [[Axiomas de Zermelo-Fraenkel|teoria de conjuntos de Zermelo-Fraenkel]] e já provou uma quantidade significativa de teoremas matemáticos baseados nestes axiomas.<ref>{{citar livro |last1=Megill |first1=Norman |last2=Wheeler |first2=David A. |title=Metamath: A Computer Language for Mathematical Proofs |date=2019-06-02 |publisher=Lulul Press |location=Morrisville, North Carolina, US |isbn=978-0-359-70223-7 |edition= Second |url=http://us.metamath.org/#book |chapter=Introduction}}</ref><ref>{{citar web |last1=Megill |first1=Norman |title=Metamath: The Axioms |url=http://us.metamath.org/mpeuni/mmset.html#axioms |website=us.metamath.org |access-date=2021-11-24 |lingua=EN-US}}</ref> Estreitamente relacionado a este projeto está o [[logicismo]]: a tese defendida por [[Gottfried Wilhelm Leibniz]] e [[Gottlob Frege]] de que a [[aritmética]] é redutível apenas à lógica.<ref name="Haack1"/> Isto significaria que qualquer afirmação na aritmética, como "2 + 2 = 4", pode ser expressa em termos puramente lógicos, ou seja, sem usar números ou [[Operação (matemática)|operadores]] aritméticos como a [[adição]]. Neste caso, todos os teoremas da aritmética seriam deriváveis dos axiomas da lógica.<ref name="Haack1"/> Se esta tese é correta depende de como o termo "lógica" é entendido. Se "lógica" se refere apenas aos axiomas da lógica de predicados de primeira ordem, é falsa. Mas se se inclui a teoria dos conjuntos ou a lógica de ordem superior, então a aritmética é redutível à lógica.<ref name="Haack1"/>

=== Ciência da Computação ===
Uma relação importante entre a lógica e a ciência da computação surge dos paralelos entre os conectivos proposicionais da lógica proposicional e as [[portas lógicas]] na ciência da computação: ambos seguem as leis da [[álgebra booleana]].<ref name="Britannica"/> As proposições são falsas ou verdadeiras enquanto as entradas e saídas das portas lógicas são denominadas 0 e 1.Ambas usam tabelas-verdade para ilustrar o funcionamento dos conectivos proposicionais e das portas lógicas. Outra relação importante com a lógica consiste no desenvolvimento de software lógico que pode auxiliar os lógicos na formulação de provas ou mesmo automatizar o processo.<ref name="Jacquette"/> Prover9 é um exemplo de um [[Prova automática de teoremas|provador de teoremas automatizado]] para a [[lógica de primeira ordem]].<ref>{{citar web|title=Automated Theorem Proving in Loop Theory|first1=J. D.|last1=Phillips|first2=David|last2=Stanovsky|url=http://www.karlin.mff.cuni.cz/~stanovsk/math/esarm.pdf|access-date=2018-11-15|website=[[Charles University]]|archive-url=https://web.archive.org/web/20180328220241/http://www.karlin.mff.cuni.cz/~stanovsk/math/esarm.pdf|archive-date=2018-3-28|df=dmy-all}}</ref>

=== Psicologia ===
Uma conexão muito estreita entre a psicologia e a lógica pode ser estabelecida se a lógica for vista como a ciência das [[leis do pensamento]].<ref name="Britannica"/> Uma diferença importante entre a psicologia e a lógica à luz desta caracterização é que a psicologia é uma ciência empírica que visa estudar como os humanos realmente pensam. A lógica, por outro lado, tem o objetivo de descobrir as leis do raciocínio correto, independentemente de se o pensamento humano real muitas vezes não alcançar este ideal.<ref name="Britannica"/><ref name="Kusch"/> O psicólogo [[Jean Piaget]] aplicou a lógica à psicologia utilizando-a para identificar diferentes estágios do desenvolvimento psicológico humano. Em sua opinião, a capacidade de raciocinar logicamente surge apenas em um determinado estágio do desenvolvimento da criança e pode ser usada como critério para distingui-lo dos estágios anteriores.<ref name="Britannica"/><ref>{{citar livro |last1=Inhelder |first1=Bärbel |last2=Piaget |first2=Jean |title=The Growth of Logical Thinking from Childhood to Adolescence: An Essay on the Construction of Formal Operational Structures |date=1958 |publisher=Psychology Press |isbn=978-0-415-21002-7 |url=https://books.google.com/books?id=39cdDv2-PZkC |lingua=en |chapter=Part I: The development of propositional logic}}</ref><ref>{{citar periódico |last1=Parsons |first1=Charles |title=Inhelder and Piaget's the Growth of Logical Thinking† |journal=British Journal of Psychology |date=1960 |volume=51 |issue=1 |pages=75–84 |doi=10.1111/j.2044-8295.1960.tb00727.x |url=https://bpspsychub.onlinelibrary.wiley.com/doi/abs/10.1111/j.2044-8295.1960.tb00727.x |lingua=en |issn=2044-8295}}</ref>

== Ver também ==
* [[Lógica]]

=== Personagens importantes ===
* [[Aristóteles]]
* [[George Boole]]
* [[George Boolos]]
* [[Rudolf Carnap]]
* [[Gordon Clark]]
* [[Alonzo Church]]
* [[Augustus De Morgan]]
* [[Michael Dummett]]
* [[Gottlob Frege]]
* [[Kurt Gödel]]
* [[Georg Hegel]]
* [[Immanuel Kant]]
* [[Gottfried Leibniz]]
* [[David Kellogg Lewis|David Lewis]]
* [[John Stuart Mill]]
* [[Charles Sanders Peirce]]
* [[Alvin Plantinga]]
* [[Arthur Prior]]
* [[Willard Van Orman Quine]]
* [[Bertrand Russell]]
* [[Alfred Tarski]]
* [[Ludwig Wittgenstein]]

{{Referências}}

{{Lógica}}
{{Filosofia navegação}}
{{Controle de autoridade}}

[[Categoria:Divisões da filosofia|Lógica]]
[[Categoria:Lógica filosófica]]