Seminário Lógica no Avião最新文献

{"title":"Prefácio Editorial","authors":"Edgar Almeida, Alexandre Costa-Leite, Rodrigo Freire","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_prefacio-editorial_ea.rf.acl","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_prefacio-editorial_ea.rf.acl","url":null,"abstract":"","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132338843","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Nenhuma divergência metafísica sem incompatibilidade lógica","authors":"D. Durante","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_daniel-durante_p.149-186","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_daniel-durante_p.149-186","url":null,"abstract":"","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132878638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Change and contradiction: a criticism of the Hegelian account of motion","authors":"Emiliano Boccardi","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_emiliano-boccardi_p.135-148","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_emiliano-boccardi_p.135-148","url":null,"abstract":"In his In Contradiction (1987), Priest levelled three powerful arguments against the received Russellian view of change and motion. He argued that his preferred paraconsistent theory of change, the Hegelian account, is immune from these objections. Here I argue that these three arguments are sound, but that the Hegelian account falls pray to them too. I conclude, however, that the Hegelian account is in a better position to tackle these challenges.","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"34 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116599717","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Gödel's theorem and paraconsistency","authors":"G. Priest","doi":"10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_GRAHAM-PRIEST_P.01-08","DOIUrl":"https://doi.org/10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_GRAHAM-PRIEST_P.01-08","url":null,"abstract":"","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122607162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Hesitações na aritmética de Frege","authors":"Fernando Ferreira","doi":"10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_FERNANDO-FERREIRA_P.22-28","DOIUrl":"https://doi.org/10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_FERNANDO-FERREIRA_P.22-28","url":null,"abstract":"Em 1884, Gottlob Frege fecha a introdução d’Os Fundamentos da Aritmética com a formulação de três princípios fundamentais: (1) É necessário separar com nitidez o que é psicológico do que é lógico, o que é objetivo do que é subjetivo. (2) Só se pode perguntar pela denotação de uma palavra no contexto de uma proposição e não considerando-a isoladamente. (3) Deve manter-se sempre presente a distinção entre conceito e objeto. Estas três injunções metodológicas estão na base do programa logicista de Frege de redução da aritmética à lógica. Estão mesmo na base do surgimento da filosofia analítica. O volume d’Os Fundamentos da Aritmética é hoje considerado uma obra-prima da filosofia. Contém, numa primeira parte, críticas às opiniões de filósofos e matemáticos da época acerca da noção de número e termina com a exposição duma nova tese para a fundamentação da aritmética. Não obstante, esta é uma obra essencialmente programática e pouco amadurecida. O próprio Frege afirma n’Os Fundamentos da Aritmética que não fez nada “mais do que ter tornado verosímil a natureza analítica das proposições aritméticas” e adianta que dúvidas quanto à natureza puramente lógica dos raciocínios expostos apenas podem ser dissipadas “por meio de uma apresentação de uma cadeia dedutiva sem lacunas”. O magnum opus de Frege são os dois tomos das Grundgesetze der Arithmetik (Leis Fundamentais da Aritmética), publicados com um intervalo de dez anos, em 1893 e 1903. Nesta obra, Frege leva a cabo o programa logicista nos termos com os quais se achava comprometido, i.e., por meio de deduções estritamente formais. Para o fazer, Frege socorre-se do seu anterior trabalho Begriffsschrift (Notação Conceptual) de 1879. Na nossa opinião, a grandeza imorredoura de Frege encontra-se precisamente nesta obra precoce. De uma assentada, Frege faz nesta obra duas contribuições geniais. Em primeiro lugar, inventa uma linguagem formal para a quantificação, em que os quantificadores podem aparecer encadeados. Depois, oferece-nos um cálculo formal para efetuar deduções nesta linguagem (o cálculo de predicados). É bem certo que se pode pôr em causa a importância que Frege dá a formalizar completamente os raciocínios da sua dedução lógica da aritmética. Hoje em dia, muitos argumentarão que isso não é essencial e que, de facto, é a própria informalidade d’Os Fundamentos da Aritmética que a torna uma obra acessível, conhecida e lida. Também eu partilho desta opinião. Porém, não se deve passar em claro as enormes consequências involuntárias que a opção fregiana teve. As linguagens de programação são linguagens formais e podem ser consideradas herdeiras afastadas da visão fregiana. Mais próximo das preocupações de Frege, o Begriffsschrift é o primeiro sistema formal dedutivo depois do cálculo silogístico aristotélico, ultrapassando-o vastamente em poder expressivo. Com","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"68 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128359899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The common present in a block universe","authors":"Yuri Balashov","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_yuri-balashov_p.123-134","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_yuri-balashov_p.123-134","url":null,"abstract":"Our present experiences are strikingly different from past and future ones. Every philosophy of time must explain this difference. It has long been argued that A-theorists can do it better than B-theorists because their explanation is most natural and straightforward: present experiences appear to be special because they are special. I do not wish to dispute one aspect of this advantage. But I contend that the general perception of this debate is seriously incomplete as it tends to conflate two rather different aspects of the phenomenon behind it, the individual and the common dimensions of the present. When they are carefully distinguished and the emerging costs of the A-theories are balanced against their benefits, the advantage disappears.","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130918758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Alguns comentários sobre a questão da identidade entre lógicas","authors":"Hugo Luiz Mariano","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_hugo-mariano_p.60-72","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_hugo-mariano_p.60-72","url":null,"abstract":"O objetivo destas notas, motivadas por palestra proferida no “Lógica no Avião” em setembro de 2016, não é realizar uma discussão conceitual abrangente ou aprofundada sobre o tema da identidade entre entes matemáticos, especificamente no contexto das lógicas, mas apresentar ao leitor interessado um pequeno recorte sobre o tema, focado em alguns encaminhamentos matemáticos, realizados em trabalhos de alguns lógicos, alguns dos quais com atuação ou parcerias acadêmicas no Brasil. Não há qualquer originalidade em abordar o tema sobre identidade/equivalência entre sistemas lógicos, sendo este um assunto recorrente na comunidade dos lógicos; reflexões desta natureza podem ser encontradas, por exemplo, em [5], [10] e [16]. Registramos aqui também que partes do texto [38] foram utilizadas para compor estas presentes notas.","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117156210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Linear models and set theory","authors":"Santiago Jockwich Martinez, G. Venturi","doi":"10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_MARTINEZ-VENTURI_P.09-21","DOIUrl":"https://doi.org/10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_MARTINEZ-VENTURI_P.09-21","url":null,"abstract":"In this paper we review the approach to algebra-valued models and we introduce an in nite class of natural models for paraconsistent set theory. We then present several paraconsistent set theories based on Logics of Formal Inconsistency (LFI), known in the literature as LFI-set theories, and we show that there is no natural model that validates these systems. We therefore suggest to abandon these theories.","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126590321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"O gato de Schrödinger não está vivo e morto antes da medição: sobre a interpretação dos resultados quânticos","authors":"D. Krause","doi":"10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_DECIO-KRAUSE_P.104-122","DOIUrl":"https://doi.org/10.21452/LNA_SERIE_N_V01_BOOK_SEMINARIO-LOGICA-NO-AVIAO-2013-2018_DECIO-KRAUSE_P.104-122","url":null,"abstract":"","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116997091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Some remarks on the validity of the principle of explosion in intuitionistic logic","authors":"Edgar Campos, A. Rodrigues","doi":"10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_campos-rodrigues_p.29-43","DOIUrl":"https://doi.org/10.21452/lna_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_campos-rodrigues_p.29-43","url":null,"abstract":"The formal system proposed by Heyting (1930, 1936) became the standard formulation of intuitionistic logic. The inference called ex falso quodlibet, or principle of explosion, according to which anything follows from a contradiction, holds in intuitionistic logic. However, it is not clear that explosion is in accordance with Brouwer’s views on the nature of mathematics and its relationship with logic. Indeed, van Atten (2009) argues that a formal system in line with Brouwer’s ideas should be a relevance logic. We agree that explosion should not hold in intuitionistic logic, but a relevance logic requires more than the invalidity of explosion. The principle known as ex quodlibet verum, according to which a valid formula follows from anything, should also be rejected by a relevantist. Given ex quodlibet verum, the inference we call weak explosion, according to which any negated proposition follows from a contradiction, is proved in a few steps. Although the same argument against explosion can be also applied against weak explosion, rejecting the latter requires the rejection of ex quodlibet verum. The result is the loss of at least one among reflexivity, monotonicity, and the deduction theorem in a Brouwerian intuitionistic logic, which seems to be an undesirable result.","PeriodicalId":405417,"journal":{"name":"Seminário Lógica no Avião","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131335048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}