Programa de Pós-Graduação em Filosofia

URI Permanente desta comunidadehttps://repositorio.ufrn.br/handle/123456789/11957

Navegar

Agora exibindo 1 - 4 de 4

An investigation of logical pluralism and b-entailment
(2016-12-12) Erickson, Evelyn Fernandes; Almeida, João Marcos de; ; http://lattes.cnpq.br/3059324458238110; ; http://lattes.cnpq.br/5064826781158043; Rodrigues Filho, Abilio Azambuja; ; http://lattes.cnpq.br/9709258164498165; Alves, Daniel Durante Pereira; ; http://lattes.cnpq.br/0105245515649663
O pluralismo lógico vem recentemente chamando atenção, com vários autores contestando sua natureza. O pluralismo lógico é a posição que diz que há mais de uma lógica correta ou legítima, o que pode ser articulado de diferentes maneiras. A presente dissertação participa nesse debate explorando o framework do 𝐵-entailment no contexto de variedades do pluralismo presentes na literatura. O 𝐵-entailment é uma noção de consequência lógica que é capaz de expressar outras relações, como as lógicas multi-dimensionais. Em particular, esse estudo examina quatro posições sobre o pluralismo: o pluralismo eclético de Shapiro, o pluralismo através de GTT de Beall e Restall, o pluralismo intra-teórico de Hjortland e os pluralismos através de teoria das demonstações de Restall e Paoli. Será mostrado como o 𝐵-entailment se encaixa nessas variedades de pluralismo e também como fica em falta em certos aspectos. O objetivo da dissertação é tanto contribuir para a discussão sobre o pluralismo lógico quanto expandir a discussão sobre o 𝐵-entailment e outras noções de consequência lógica desse gênero.
Gödel's slingshot revisited: does russell's theory of descriptions really evade the slingshot
(2016-09-30) Oliveira, João Daniel Dantas de; Almeida, João Marcos de; ; http://lattes.cnpq.br/3059324458238110; ; http://lattes.cnpq.br/1815840809166696; Alves, Daniel Durante Pereira; ; http://lattes.cnpq.br/0105245515649663; Gorsky, Samir Bezerra; ; http://lattes.cnpq.br/0510346828626186; Pereira, Luiz Carlos Dias Pinheiro; ; http://lattes.cnpq.br/8418729116626386
A família de argumentos chamada “Slingshot Arguments” é uma família de argumentos subjacente à visão fregeana de que se sentenças tem referência, a sua referência é os seus valores de verdade. Usualmente visto como um espécie de argumento colapsante, o argumento consiste em demonstrar que, uma vez que você suponha que há alguns itens que são as referências das sentenças (como fatos ou situações, por exemplo), estes itens colapsam em apenas dois: O Verdadeiro e O Falso. Esta é uma dissertação sobre o slingshot que é denominado o slingshot de Gödel. Gödel argumentou que há uma conexão profunda entre estes argumentos e descrições definidas. Mais precisamente, de acordo com Gödel, adotando-se a interpretação de Russell de descrições definidas (que diverge da visão de Frege de que descrições definidas são termos singulares) é possível escapar do slingshot. Nós desafiamos a posição de Gödel de duas formas, primeiramente por apresentar um slingshot mesmo com uma interpretação russelliana de descrições definidas em segundo lugar por apresentar um slingshot mesmo se mudarmos de termos singulares para termos plurais à luz do recente desenvolvimento da chamada Lógica Plural. A dissertação está dividida em três capítulos. No primeiro capítulo apresentamos o debate entre Frege e Russell sobre descrições definidas, no segundo capítulo apresentamos a posição de Gödel e reconstruções de seu argumento e no terceiro capítulo demonstramos nosso próprio slingshot para a Lógica Plural. Através desses resultados pretendemos concluir que podemos recuperar slingshots mesmo com uma interpretação russelliana de descrições definidas ou em um contexto de Lógica Plural.
Of madness and many-valuedness: an investigation into Suszko's Thesis
(Universidade Federal do Rio Grande do Norte, 2015-09-04) Silva, Sanderson Molick; Almeida, João Marcos de; ; http://lattes.cnpq.br/3059324458238110; ; http://lattes.cnpq.br/4180373073004125; Wansing, Heinrich; ; Pereira, Luiz Carlos Dias Pinheiro;
A Tese de Suszko é uma posição filosófica acerca da natureza dos múltiplos valores-de-verdade. Formulada pelo lógico polonês Roman Suszko, durante a década de 1970, a tese defende a existência de “apenas dois valores-de-verdade”. Tal afirmação diz respeito à concepção de multi-valoração perpetrada pelo lógico Jan Łukasiewicz. Considerado um dos criadores das lógicas multi-valoradas, Łukasiewicz acrescentou, em adição aos valores fregeanos tradicionais de Verdade e Falsidade, um terceiro valor: o Indeterminado. Para ele, seu terceiro valor poderia ser visto como um passo além da dicotomia Aristotélica entre o ser e o não-ser. De acordo com Suszko, as ideias de Łukasiewicz sobre multi-valoração se baseavam em uma confusão entre valores algébricos (aquilo que é descrito/denotado por sentenças) e valores lógicos (verdade e falsidade). Assim, o terceiro valor-de-verdade criado por Łukasiewicz seria apenas um valor algébrico, isto é, uma possível denotação para uma sentença, mas não um valor lógico genuíno. A tese de Suszko encontra respaldo em um resultado formal conhecido hoje como Redução de Suszko, um teorema que afirma que toda lógica tarskiana pode ser caracterizada por uma semântica bivalente. Esta dissertação pretende ser uma investigação da tese de Suszko e de suas implicações. A primeira parte é dedicada às raízes históricas da multi-valoração e introduz as principais motivações de Suszko ao formular a distinção entre valores algébricos e valores lógicos, e assim revelar o caráter duplo dos valores-de-verdade. A segunda parte explora a Redução de Suszko e apresenta seus principais desenvolvimentos; as propriedades das semânticas bivalentes em comparação às semânticas multi-valoradas também são exploradas e discutidas. Por fim, a terceira parte investiga o conceito de valores lógicos dentro do contexto de noções não-tarskianas de consequência lógica; o significado da tese de Suszko dentro desses ambientes também é discutido. Mais ainda, os fundamentos filosóficos das noções de consequências não-tarskianas são discutidos à luz do debate recente sobre pluralismo lógico.
Topics in logical anti-exceptionalism and paraconsistent logics
(Universidade Federal do Rio Grande do Norte, 2021-05-03) Silva, Sanderson Molick; Almeida, João Marcos de; http://lattes.cnpq.br/3059324458238110; http://lattes.cnpq.br/4180373073004125; Alves, Daniel Durante Pereira; http://lattes.cnpq.br/0105245515649663; Strasser, Christian; Wansing, Heinrich; Omori, Hitoshi
A rivalidade entre a lógica clássica e suas concorrentes não-clássicas ocupa um lugar importante na filosofia da lógica contemporânea. A questão central é saber como escolher um sistema lógico (ou teoria lógica) dentre as várias possibilidades disponíveis. Uma proposta recente, nomeada anti-excepcionalismo lógico, afirma que disputas lógicas podem ser decididas através do emprego dos mesmos métodos de escolha de teoria utilizados nas ciências exatas, isto é, através da inferência à melhor explicação e da análise das virtudes teóricas de cada teoria em disputa. Esta tese filosófica tem sido explorada como uma agenda de pesquisa para investigar problemas como a revisabilidade da lógica, o caráter a priori do conhecimento lógico, o debate pluralismo/monismo lógico, os métodos de escolha de teorias lógicas, e outras questões similares. A presente monografia consiste numa investigação de tópicos fundacionais para o anti-excepcionalismo lógico em sua relação com uma classe específica de lógicas não-clássicas, a saber, a das lógicas paraconsistentes. A primeira parte da tese explora questões fundacionais do debate anti-excepcionalista a partir da aplicação de métodos e ferramentas conceituais da filosofia da ciência. Tópicos como a impregnação teórica na escolha de teorias lógicas, a subdeterminação dos dados lógicos, a noção de dado adequada para as lógicas paraconsistentes, o papel das virtudes teóricas nos desacordos lógicos, como também a adequada noção de aprioricidade para os propósitos anti-excepcionalistas, são introduzidos e discutidos. A segunda parte é dedicada aos aspectos técnicos das lógicas paraconsistentes. Os resultados centrais são a introdução de uma nova família de lógicas paraconsistentes não-monotônicas de primeira ordem capazes de validar muitas propriedades centrais das lógicas não-monotônicas. Além disso, apresentamos uma nova demonstração de compacidade para lógicas de primeira ordem finito-valoradas e caracterizadas por uma semântica não-determinística.

SIGAA

Navegar

Navegando Programa de Pós-Graduação em Filosofia por Autor "Almeida, João Marcos de"