Caro Alexandre: Nos artigos seguintes expresso algumas ideias sobre como caracterizar a ontologia e a metafisica de uma disciplina cientifica, utilizando a Quimica como exemplo. Se for de seu interesse, boa leitura. Note que o caminho que exploro segue uma direcao bem diferente da que voce investigou, estando muito mais proximo da quimica feita pelos quimicos, o que pode ser bom ou ruim, dependendo dos seus interesses. Se voce gostar, podemos depois continuar a conversa. Tudo de bom, ---Julio Stern
Julio Michael Stern (2017). Continuous Versions of Haack’s Puzzles: Equilibria, Eigen-States and Ontologies. <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste17IGP.pdf> Logic Journal of the IGPL<https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste17IGP.pdf>, 25, 4, 604-631.<https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste17IGP.pdf> doi:10.1093/jigpal/jzx017<https://academic.oup.com/jigpal/article-abstract/25/4/604/3883948?redirectedFrom=fulltext> Julio Michael Stern (2014). Jacob’s Ladder and Scientific Ontologies. <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14arx.pdf> Cybernetics & Human Knowing<https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14arx.pdf>, 21, 3, 9-43.<https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14arx.pdf> arXiv:1308.4015<https://arxiv.org/abs/1308.4015> Julio Michael Stern, Fabio Nakano (2014). Optimization Models for Reaction Networks: Information Divergence, Quadratic Programming and Kirchhoff’s Laws. <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14Axi.pdf> Axioms<https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14Axi.pdf>, 3, 109-118. <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste14Axi.pdf> doi:10.3390/axioms3010109<http://doi.org/10.3390/axioms3010109> ********************************** ________________________________ From: logica-l@dimap.ufrn.br <logica-l@dimap.ufrn.br> on behalf of Alexandre Rademaker <aradema...@gmail.com> Sent: Thursday, March 14, 2024 5:40 PM To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <logica-l@dimap.ufrn.br> Subject: [Logica-l] lógicas & química Prezados, Estou procurando referências sobre uso de métodos formais (lógicas, provas, axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e motivado por uma recente conversa na maillings do Isabelle. https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html A mensagem inicial, citou o livro The Logic of Chemical Synthesis https://ia601303.us.archive.org/25/items/Logic_of_Chemical_Synthesis_Corey_1989/Logic_of_Chemical_Synthesis_Corey_1989_text.pdf Eu fiz referência ao artigo https://arxiv.org/abs/2210.12150, e estou procurando possiveis trabalhos com outros provadores de teoremas (ATP/ITP). O desafio é entender o domínio da química, como ela é organizada e a relevância dos trabalhos existentes. Ab., Alexandre -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPUP152MB71773EBB96B352494928F668B62E2%40CPUP152MB7177.LAMP152.PROD.OUTLOOK.COM.
