Blog sobre Filosofia Contemporânea das Ciências

  1.    No prefácio dos Principia Mathematica  (1910-13) de Russell-Whitehead destacam-se os dois objetivos principais do projeto logicista  de fundamentação lógica da matemática: "provar que a matemática pura trata exclusivamente com conceitos definíveis em termos de um número reduzido de conceitos lógicos fundamentais, e que todas as suas proposições são deriváveis formalmente de um número reduzido de princípios lógicos  fundamentais." [minha ênfase]. "a explicação dos conceitos fundamentais que a matemática admite como indefiníveis constitui uma tarefa essencialmente filosófica."     Cabe assinalar que (1) expressa os objetivos de: justificação epistêmica de logicidade dos conceitos básicos da matemática e a demonstração metalógica da analiticidade dos axiomas matemáticos. O primeiro requer uma teoria epistemológica reducionista  enquanto o último pressupõe uma metateoria lógica que estabeleça formalmente a derivação dos axioma...

 Apresentação: "Sobre o alcance da epistemologia" Link:  Sobre o alcance da Epistemologia

 Link da apresentação:  Sobre conceitos de conhecimento a priori/a posteriori e juízos analítico/sintético

 A oposição calculus ratiocinator versus characteristica universalis  como apresentada na postagem anterior tem um caráter absoluto , com base em um resultado estabelecido recentemente por mim (veja postagem, neste blog, sobre a publicação dos Proceedings of the 19th Brazilian Logic Conference - XIX EBL , no Journal of Applied Logics - IFCoLog Journal of Logics and their Applications , Vol. 9 N. 1, 2022, do paper intitulado: "A note on Tarski´s remarks about the non-admissibility of a general theory of semantics", pp. 573-582), pois a partir do seguinte pressuposto: 'toda metalinguagem consiste em uma linguagem que admite, como objeto, outra linguagem (denominada de linguagem-objeto)'; nesta acepção, poderíamos indagar sobre a possibilidade de uma metalinguagem última , que desempenharia o papel de uma linguagem universal . Como o resultado estabelecido é bastante técnico, estou me restringindo apenas a algumas consequências filosófico-conceituais da demonstração da...

 O professor Nelson Gomes no capítulo sobre "Neopositivismo e linguagem" - da coletânea Filosofia da Linguagem organizada por Peruzzo Jr., L. & Valle, B. (2016) da PUC PRESS - observa que: "Seguindo certas ideias formuladas pelo historiador da lógica Jean van Heijenoort (1912-86), o lógico finlandês Jaakko Hintikka formulou uma distinção entre duas concepções de linguagem que, segundo ele, seria uma pressuposição última na filosofia do século XX. Trata-se da distinção entre a linguagem como meio universal , de um lado, e da linguagem como calculus ratiocinator (cálculo de raciocínio), de outro (Hintikka, 1997)."[veja referência abaixo]. Na referência acima, Gomes (2016) acrescenta que na concepção acerca da qual a linguagem constitui um 'meio universal' exclui-se, necessariamente, a possibilidade de uma metalinguagem e, por conseguinte, impede-se a construção de qualquer espécie de teoria semântica . Gomes cita como advogados dessa tese: Frege, Russ...

 Os Proceedings  do XIX Encontro Brasileiro de Lógica, realizado em João Pessoa - PB, em maio de 2019 foi publicado no  Journal of Applied Logics - IfCoLog Journal .   Volume 9-1: Volume 9, Number 1: January 2022   Disponível para download (gratuito) no seguinte link: Proceedings of XIX EBL

  Apresentação : "Sobre o método dedutivo e a falseabilidade de hipóteses de acordo com Popper" https://1drv.ms/p/s!Ai8LADHW0t6yzXGBVcBmlaIepZfr?e=r2PEXv