Arquivo

Archive for the ‘Introdução’ Category

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…

Anúncios