O que é a lógica?

então o que é a lógica? Resumindo, poderíamos definir a lógica como o estudo dos princípios do raciocínio correto. Esta é uma definição grosseira, porque a forma como a lógica deve ser adequadamente definida é, na verdade, uma questão bastante controversa. No entanto, para o propósito desta excursão, pensamos que seria útil dar – lhe pelo menos alguma idéia aproximada sobre o assunto que você vai estudar. É isso que vamos tentar fazer nesta página.

§1., Lógica não é a psicologia do raciocínio

uma coisa que você deve notar sobre esta definição é que a lógica está preocupada com os princípios do raciocínio correto. Estudar os princípios corretos do raciocínio não é o mesmo que estudar a psicologia do raciocínio. A lógica é a antiga disciplina, e nos diz como devemos raciocinar se queremos raciocinar corretamente. Se as pessoas realmente seguem essas regras de raciocínio correto é uma questão empírica, algo que não é a preocupação da lógica. a psicologia do raciocínio, por outro lado, é uma ciência empírica., Fala-nos sobre os hábitos reais de raciocínio das pessoas, incluindo os seus erros. Um psicólogo que estuda o raciocínio pode estar interessado em como a capacidade das pessoas para raciocinar varia com a idade. Mas tais fatos empíricos não interessam ao lógico.

§2. Os princípios da lógica

então quais são esses princípios do raciocínio que são parte da lógica? Existem muitos desses princípios, mas a principal (não a única) coisa que estudamos na lógica são princípios que regem a validade dos argumentos – se certas conclusões seguem de alguns pressupostos dados., Por exemplo, considere os seguintes três argumentos :

estes três argumentos aqui são obviamente bons argumentos no sentido de que as suas conclusões decorrem dos pressupostos. Se os pressupostos do argumento são verdadeiros, a conclusão do argumento também deve ser verdadeira. Um lógico nos dirá que são todos casos de uma forma particular de argumento conhecido como “modus ponens” :

Se P, então Q. P. portanto, Q.

estaremos discutindo a validade mais tarde. Importa salientar que a lógica não se limita à validade dos argumentos., A lógica também estuda consistência, e verdades lógicas, e propriedades de sistemas lógicos como completude e solidez. Mas veremos que estes outros conceitos também estão muito relacionados com o conceito de validade.

§3. A neutralidade do tópico

Modus ponens pode ser usada para ilustrar duas características sobre as regras de reatribuição na lógica. A primeira característica é a neutralidade itstópica. Como os quatro exemplos sugerem, modus ponens pode ser usado no raciocínio sobre diversos tópicos. Isto é verdade para todos os princípios de raciocínio na lógica., As leis da biologia podem ser verdadeiras de criaturas vivas, e as leis da economia só se aplicam a coleções de agentes que se envolvem em transações financeiras. Mas os princípios da lógica são princípios universais mais gerais do que a biologia e a economia. Isto é em parte o que está implícito nas seguintes definições de lógica por dois lógicos muito famosos:

… o nome de uma disciplina que analisa o significado dos conceitos comuns a todas as ciências e estabelece as leis gerais que regem os conceitos.,

Para descobrir verdades é a tarefa de todas as ciências; ele cai lógica para discernir thelaws de verdade. … Atribuo à lógica a tarefa de descobrir as leis da verdade, não de afirmação ou pensamento.

§4. Necessidade na lógica

uma segunda característica dos princípios da lógica é que eles são não-contingentes, no sentido de que eles não dependem de nenhuma característica especial acidental do mundo., A física e as outras ciências empíricas investigam como o mundo realmente é.Os físicos podem dizer – nos que nenhum sinal pode viajar mais rápido do que a velocidade da luz, mas se as leis da física foram diferentes, então isso não teria sido verdade. Do mesmo modo, os biólogos podem estudar a forma como os golfinhos se comunicam entre si, mas se o curso da evolução tivesse sido diferente, talvez os golfinhos não tivessem participado. Assim, as teorias das ciências empíricas são condicionadas no sentido de que poderiam ter sido de outra forma., Os princípios da lógica, por outro lado, são derivados usando apenas raciocínio, e sua validez não depende de quaisquer características contingentes do mundo.

Por exemplo, a lógica nos diz que qualquer afirmação da forma “IfP então P.” é necessariamente verdadeira. Este é um princípio do segundo tipo que estudo lógico. Este princípio nos diz que uma afirmação como “se está chovendo, então está chovendo” deve ser verdadeira. Podemos ver facilmente que é esse o caso, quer esteja ou não a chover.,Além disso, mesmo que as leis da física ou padrões climáticos fossem tochange, esta afirmação permanecerá verdadeira. Assim, dizemos que os cientistas (matemática à parte) são contingentes, enquanto as verdades lógicas são necessárias. Mais uma vez isso mostra como a lógica é diferente das ciências empíricas como física, química ou biologia.

§5. Lógica formal e informal

às vezes uma distinção é feita entre lógica informal e lógica formal.O termo “lógica informal” é muitas vezes usado para significar a mesma coisa pensamento ascrítico., Por vezes, é usado para se referir ao estudo da desculpa e falácias no contexto da vida quotidiana. “Lógica Formal” está principalmente preocupado com sistemas formais de lógica. Trata-se de sistemas especialmente estruturados para a realização de provas, em que as línguas e as regras de raciocínio são definidas de forma precisa e cuidadosa. Lógica sentencial (também conhecida como” lógica proposicional”) e lógica de predicados são ambos exemplos de sistemas formais de lógica.

Existem muitas razões para estudar a lógica formal., Uma delas é que a formalógica nos ajuda a identificar padrões de bom raciocínio e padrões de badreasoning, então sabemos qual seguir e qual evitar. Esta é a razão pela qual a lógica formal básica pode ajudar a melhorar o pensamento crítico. Os sistemas formais de lógica também são usados pelos linguistas para estudar línguas naturais.Os cientistas da computação também empregam sistemas formais de lógica em pesquisas relacionadas à inteligência Aritícola. Finalmente, muitos filósofos também usam a lógica formal quando lidam com problemas filosóficos complicados, a fim de tornar seu raciocínio mais explícito e preciso.

§6., Further readings

• Entries on logicin the Stanford Encyclopedia of Philosophy. Estes são artigos difíceis sobre a filosofia da lógica.