Arquivo

Archive for setembro \18\UTC 2009

O Silogismo

setembro 18, 2009 2 comentários

O silogismo é um personagem central na Lógica clássica. A lógica tem como objetivos analisar a estrutura de argumentos dedutivos e identificar os raciocínios que devem ser considerados válidos. Argumentos são classificados em dedutivos ou indutivos e a distinção entre eles deve ser bem compreendida.

Os raciocínios indutivos, como costuma-se dizer, partem do particular para o geral; e os dedutivos, do geral para o particular. Mas este contraste parece não nos comunicar muita coisa, o que realmente se quer dizer com “do particular para o geral” e vice-versa? Leia mais…

Lógica Matemática – Proposições

setembro 17, 2009 Deixe um comentário

Proposições

Uma das linguagens formais mais importantes da lógica é o cálculo proposicional. Geralmente é o primeiro a ser ensinado a iniciantes em lógica matemática. O objetivo do cálculo proposicional é representar as proposições através de variáveis e abstrair da linguagem ordinária as propriedades de certos conectivos sentenciais. Antes de explicar o que são exatamente ‘conectivos’, devemos deixar clara a noção de proposição. Leia mais…

Lógica Matemática – Introdução

setembro 17, 2009 1 comentário

Lógica Matemática, por quê?

Desde os tempos de Leibniz sonhava-se em criar uma linguagem artificial que fosse livre das ambiguidades e imprecisões da linguagem ordinária. Este ideal começou a se realizar no século XIX, principalmente após o advento da Begriffschrift (Conceitografia) de Frege. Foi aí que se iniciou uma ruptura com toda a tradição clássica da lógica e foram estabelecidos os fundamentos da lógica simbólica moderna. E então a lógica veio a ser contemplada e estudada por filósofos, matemáticos, engenheiros, cientistas da computação e linguistas.

Assim como a lógica clássica aristotélica, a lógica moderna busca explicar as relações válidas entre premissas e conclusão em raciocínios dedutivos. A principal diferença reside na construção de uma linguagem formal para levar esta tarefa a cabo. Mas porque os filósofos e matemáticos acharam que era importante deixar a linguagem natural de lado e desenvolver uma artificial? Leia mais…