[…] se pudermos encontrar caracteres ou signos próprios para exprimir todos os nossos pensamentos, tão nítida e exatamente como a aritmética exprime os números, ou a análise geométrica exprime as linhas, poderemos fazer em todas as matérias, enquanto estão sujeitas ao raciocínio, tudo o que pode ser alcançado em Aritmética e em Geometria. Gottfried Wilhelm […]
Dizendo o que queremos dizer Read More »
Se uma proposição no futuro é verdadeira, isso significa que está determinada? Como fica o livre arbítrio? Se afirmo que “Fulano estará no Rio de Janeiro no Natal”, segundo a lógica clássica, essa proposição deve ser Verdadeira ou Falsa. Em sendo verdadeira, isso significa que estou determinando, sem escolha, que Fulano viaje até o Rio
Além do verdadeiro e falso: lógicas polivalentes Read More »
Pensar sobre o tempo nos permite analisar nossa história e traçar nosso futuro. Como já dissemos em artigos anteriores, o tempo não é gerenciável. Mas é claro que para usar de forma consciente esse recurso tão escasso e precioso devemos planejar. A lógica temporal procura tratar proposições que foram, são ou serão verdadeiras ou falsas.
Dizer que uma proposição é verdadeira significa dizer o conteúdo que ela expressa é verídico, que se confirma. No entanto, não temos informação se a expressão é verdadeira por acaso, poderia igualmente ser falsa, ou se ´deve ser verdadeira, sendo esse seu estado natural. Em nossa sequência de publicações estamos tratando da chamada lógica clássica
Lógica modal: o possível, o necessário e os diversos mundos Read More »
