Arquivo

Posts Tagged ‘básico’

Lógica Matemática – Sintaxe

outubro 8, 2009 5 comentários

Bom, chegou a hora de penetrar definitivamente no simbolismo matemático da lógica. Após uma breve exposição do background filosófico da lógica, temos condições de prosseguir no estudo do cálculo proposicional.

Nas palavras de van Dalen, o processo de formalização da lógica proposicional consiste em dois estágios:

(1) apresentar uma linguagem formal,

(2) especificar um procedimento para se obter proposições válidas e verdadeiras.

Estes dois estágios complementares podem ser compreendidos analogamente como a definição de um alfabeto e a definição de uma gramática de nossa linguagem, e é isso o que devemos fazer a seguir. 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…