Banca de QUALIFICAÇÃO: SANDERSON MOLICK SILVA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: SANDERSON MOLICK SILVA
DATA: 15/10/2014
HORA: 16:00
LOCAL: AUDITÓRIO C- CCHLA
TÍTULO:

Of madness and many-valuedness: an investigation into Suszko's Thesis


PALAVRAS-CHAVES:

Truth values; Suszko's Thesis; Many-valued logics; Entailment


PÁGINAS: 45
GRANDE ÁREA: Ciências Humanas
ÁREA: Filosofia
SUBÁREA: Lógica
RESUMO:

The roots of many-valuedness can be traced back to the works of Aristotle and even to the earlier debate between the Eleatic and Ephesian schools of philosophy. Those ancient debates were tied to metaphysical queries about the way we conceive and understand the world, and their influence lasted through the development of Medieval and Modern history of philosophy. However, it was only after the establishment of modern symbolic logic that a formal treatment of the notion of many-valuedness became possible. Thus, from the 1920s, through the works of  Jan Lukasiewicz, Dmitri Bochvar and Emil Post, many-valued logics were developed and studied from a modern perspective. Lukasiewicz's motivations were related to Aristotle's discussions on the law of excluded middle and the future contingents problem. In order to evaluate propositions about the future, he added a third undetermined value to his logical system and set the theoretical foundations for what is currently recognized as Lukasiewicz's many-valued logics. Later on, in the middle 70s, the Polish logician Roman Suszko cast doubt on the influential character of Lukasiewicz's works and the very nature of his scientific enterprise. According to Suszko, the many-valued paradigm of logic was nothing but a “humbug” and Lukasiewicz was the “chief perpetrator of a magnificent conceptual deceit”. For Suszko, truth values play a double semantic role expressed by a difference between what he calls algebraic and logical values. The semantic scheme used to express such a duplicity is based on Frege's ideas on sense and reference. The referents of sentences, following Suszko, are situations denoted by algebraic values. Even though sentences can describe/denote more than two situations, they are classified by only two logical values: truth and falsehood. This approach led Suszko to claim that “there are but two logical values”, a statement nowadays recognized as Suszko's thesis. It finds support in a technical result called Suszko's Reduction, a theorem that shows that every Tarskian logic may be characterized by a bivalent semantics. The present dissertation intends to make a thorough assessment of the issues and developments arising from Suszko's ideas. The philosophical concern about the nature of truth values and contemporary notions of entailment stand as a pivotal motivation for our work. The technical developments connected to this point, such as the range of Suszko's enterprise, shall be investigated.


MEMBROS DA BANCA:
Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES
Externo à Instituição - DAVID WILLIAM MILLER - UNIVERSITY OF WARWICK - NENHUMA
Presidente - 1517271 - JOAO MARCOS DE ALMEIDA
Notícia cadastrada em: 19/08/2014 19:09
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa07-producao.info.ufrn.br.sigaa07-producao