Lógica modal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 11:
==História==
[[Hugh MacColl]] foi o pioneiro da lógica modal axiomática, particularmente com a sua obra de 1906 ''Symbolic Logic and its Applications''. Em 1918, [C. I. Lewis|Clarence Irving Lewis]] é o primeiro autor a fazer um estudo sistemático nesta área com ''A Survey of Symbolic Logic''. Na escola fenomenológica, o precussor foi [[Oskar Beckar]] com o seu artigo «Zur Logik der Modalitäten» de 1930. A primeira formalização clara da lógica modal surge com a obra de C. I. Lewis e de C. H. Langdorf ''Symbolic Logic'' de 1932, sendo esta a primeira grande referência desta disciplina.
O fundador da lógica formal moderna, [[Gottlob Frege]], duvidava que a lógica modal fosse viável. Dois de seus mais conhecidos leitores, [[Rudolf Carnap]] e [[Kurt Gödel]] (1933) romperam com Frege nessa questão, e escolheram buscar a estrutura matemática de uma lógica que lidasse com as três modalidades clássicas (possibilidade, necessidade e probabilidade). Em 1937, Robert Feyes, seguidor de Gödel, propôs o sistema T de lógica modal. Em 1951, [[Georg Henrik von Wright]] propôs o sistema M, que é elaborado sobre o sistema T. Também nos anos 1950s, C.I.Lewis construiu, sobre o sistema M, seus conhecidos sistemas modais S1, S2, S3, S4 e [[S5 (lógica modal) | S5]]. Em 1965, [[Saul Kripke]] estabeleceu o sistema modal normal mínimo [[Lógica modal normal|'''K''']].
| |||