Rede de Colaboração
Diretório de grupos de pesquisa|
Juliana Bueno Graduada e licenciada em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2000), mestrado em Filosofia pela Universidade Estadual de Campinas (2004) e doutorado em Filosofia pela Universidade Estadual de Campinas (2009). Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: algebrização, lógicas paraconsistentes, lógicas multimodais, semânticas de traduções possíveis e teoria das categorias.
É membro do corpo de pesquisadores do Projeto Temático "Logical Consequence, Reasoning and Computation - LogCons" (CLE- UNICAMP).
Atualmente é Professora Adjunta concursada na área de Lógica junto à Universidade Federal do ABC (Centro de Ciências Naturais e Humanas).. Atua também junto à Pós-Graduação em Ensino,História e Filosofia das Ciências e Matemática da UFABC .
Última
atualização do currículo em 20/12/2011
Endereço para acessar este CV: http://lattes.cnpq.br/5824391030945544 |
Dados pessoais
| Nome | Juliana Bueno |
| Nome em citações bibliográficas | Juliana Bueno-Soler;Bueno-Soler, Juliana |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal do ABC, Centro de Ciências Naturais e Humanas. Rua Santa Adélia, 166 Bangu 09210-170 - Santo Andre, SP - Brasil Telefone: (11) 49967960 Fax: (11) 49960090 URL da Homepage: http://www.cle.unicamp.br/principal/institucional/alunos/index.php?home=juliana.bueno |
Formação acadêmica/Titulação
| 2009 - 2011 | Pós-Doutorado
. Universidade de São Paulo. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo . Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Combinação de Lógicas. |
| 2005 - 2009 | Doutorado em Filosofia
.
Universidade Estadual de Campinas, UNICAMP, Brasil. Título: Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo, Ano de Obtenção: 2009. Orientador:  Itala Maria Loffredo D'Ottaviano.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Palavras-chave: lógicas paraconsistentes; semânticas de traduções possíveis; Lógica Modal; Lógica Multimodal; Lógica Positiva. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. |
| 2002 - 2004 | Mestrado em Filosofia
.
Universidade Estadual de Campinas, UNICAMP, Brasil. Título: Semântica Algébrica de Traduções Possíveis, Ano de Obtenção: 2004. Orientador: Marcelo E. Coniglio.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior . Palavras-chave: algebrização; lógicas paraconsistentes; semânticas de traduções possíveis; Teoria das categorias. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Grande área: Ciências Exatas e da Terra / Área: Matemática. Setores de atividade: Educação Média de Formação Técnica Ou Profissional; Educação Média de Formação Geral; Educação Superior. |
| 1997 - 2000 | Graduação em Licenciatura em Matemática
.
Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil. Título: "A aritmética e a Indecidibilidade" (Iniciação Científica em Lógica). Orientador: Hércules de Araujo Feitosa. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . |
Formação complementar
| 2011 - 2011 | Extensão universitária em Novas Tecnologias e Metodologias para a Educação. (Carga
horária: 90h). Universidade Federal do ABC, UFABC, Brasil. |
| 2009 - 2009 | Formação em tutoria (Ensino a Distância).
(Carga horária: 120h). Universidade Aberta do Brasil da Universidade Federal de São Carlos. |
Atuação profissional
| Universidade Federal do ABC, UFABC, Brasil. |
| Vínculo institucional |
| 2010 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Universidade Federal de São Carlos, UFSCAR, Brasil. |
| Vínculo institucional |
| 2009 - 2009 | Vínculo: Bolsa de trabalho, Enquadramento Funcional: Tutoria, Carga horária: 20 |
| Outras informações | Educação à Distância com capacitação na Plataforma Moodle de EaD. |
| Universidade Paulista, UNIP, Brasil. |
| Vínculo institucional |
| 2005 - 2005 | Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente I, Carga horária: 8 |
| Universidade Estadual de Campinas, UNICAMP, Brasil. |
| Vínculo institucional |
| 2004 - 2010 | Vínculo: Colaborador, Enquadramento Funcional: Estudante |
| Atividades |
| 2004 - 2010 | Atividades de Participação em Projeto, Centro de Lógica Epistemologia e História da Ciência, . |
Áreas de atuação
| 1. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica. |
| 2. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica /
Especialidade: Combinação de Lógicas. |
| 3. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica /
Especialidade: Lógica Algébrica. |
| 4. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica /
Especialidade: Lógica Modais e Multimodais. |
| 5. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica /
Especialidade: Lógicas não-clássicas. |
| 6. | Grande área: Ciências
Humanas / Área: Filosofia / Subárea: Lógica /
Especialidade: Semântica Formal. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Espanhol | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Italiano | Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   Juliana Bueno-Soler . Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis (Print) , v. 4, p. 137-160, 2010. |
| 2. | Bueno-Soler, J. ; Bueno-Soler, Juliana . Models for anodic and cathodic multimodalities. Logic Journal of the IGPL (Print), p. 1-20, 2010. |
| 3. | Juliana Bueno-Soler . Completeness and incompleteness for anodic modal logics. Journal of Applied Non-Classical Logics, v. 19, p. 291-310, 2009. |
| 4. | Juliana Bueno-Soler ; Walter A. Carnielli . Possible-translations algebraization for paraconsistent logics. Bulletin of the Section of Logic, v. 34, n. 2, p. 77-92, 2005. |
| Capítulos de livros publicados |
| 1. | Juliana Bueno-Soler ; Walter A. Carnielli ; Coniglio, M. E. . Possible-translations algebraizability.
In:
J.-Y. Béziau ; W.A. Carnielli; D. Gabbay.
(Org.). Handbook of Paraconsistency. 1
ed. Londres:
King s College,
2007, v. 9, p. 321-340. |
| Resumos expandidos publicados em anais de congressos |
| 1. | Juliana Bueno-Soler . Possible-translations semantics for cathodic modal logics. In: CLE 30 / XV Brazilian Logic Conference / XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. CLE 30 / XV EBL / XIV SLALM. Campinas, SP : Centre for Logic, Epistemology and the History of Science, 2008. p. 91-91. |
| 2. | Juliana Bueno-Soler ; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via possible-translations semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04. Lisboa : Departamento de Matemática - Instituto Superior Técnico, 2004. v. 1. p. 79-86. |
| Resumos publicados em anais de congressos |
| 1. | Bueno-Soler, Juliana ; M. Finger . Probabilistic Modal Logic. In: 16th Brazilian Logic Conference - XVI EBL, 2011, Petrópolis. Abstracts of 16th Brazilian Logic Conference, 2011. v. unico. p. 08-08. |
| 2. | Juliana Bueno-Soler . Description logics from a paraconsistent viewpoint. In: J-Y. Béziau, C. Caleiro, A. Costa-Leite, J. Ramos of World Congress and School on Universal Logic - UniLog 2010, 2010, Monte Estoril. World Congress and School on Universal Logic - Book of Abstracts. Lisboa : Instituto Superior Técnico - Departamento de Matemática, 2010. v. unico. p. 28-29. |
| 3. | Bueno-Soler, Juliana . O conceito de probabilidade não-clássica através dos sistemas catódicos. In: XIV Encontro Nacional de Pós-Graduação em Filosofia - ANPOF, 2010, Águas de Lindóia. Atas do XIV Encontro Nacional de Filosofia. Campinas : Associação Nacional de Pós-Graduação em Filosofia - ANPOF, 2010. v. unico. p. 294-295. |
| 4. | Juliana Bueno-Soler . Possible-translations semantics for cathodic modal logics. In: CLE 30/ XV EBL / XIV SLALM, 2009, Paraty. XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, 2009. v. 15. p. 347-348. |
| 5. | Juliana Bueno-Soler . Incompleteness in Paraconsistent Modalities. In: Science, Truth and Consistency CLE / AIPS Event, 2009, Campinas. Science, Truth and Consistency: abstracts of the CLE / AIPS Event. Campinas : Editora da Unicamp, 2009. v. 1. p. 60-61. |
| 6. | Juliana Bueno-Soler . Models for anodic and cathodic multimodalities. In: Model Based Reasoning in Science and Engineering Abduction (MBR'09), 2009, Campinas. Model Based Reasoning, Abduction, Logic, and Computational Discovery, 2009. p. 13-13. |
| 7. | Juliana Bueno-Soler . Extensões modais das lógicas mbC e Ci. In: V Simpósio Internacional Principia, 2007, Florianópolis. Anais do V Simpósio Internacional Principia. Florianópolis, 2007. v. único. p. 110-110. |
| 8. | Juliana Bueno-Soler . Prova por polinômios: uma nova aordagem para algebrizar lógicas?. In: XII Encontro Nacional de Filosofia - ANPOF, 2006, Salvador. Livro de atas do XII Encontro Nacional de Filosofia. Salvador, BA, 2006. v. único. p. 305-306. |
| 9. | Juliana Bueno-Soler . Algebrização finitária de Pn e In e uma axiomática simplificada. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador , BA. Livro de Atas do XI Encontro Nacional de Filosofia da ANPOF. Salvador, BA : Editora da UESC, 2004. v. 1. p. 248-248. |
| 10. | Juliana Bueno-Soler ; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. CLE/SBL 25 anos. Campinas : UNICAMP, 2003. v. unico. p. 55-56. |
| 11. | Juliana Bueno-Soler ; Walter A. Carnielli . Algebrizar, por quê?. In: ANPOF 2002, 2002, São Paulo. Anais da ANPOF 2002. São Paulo : ANPOF, 2002. v. 01. p. 288-288. |
| 12. | Juliana Bueno-Soler . A Aritmética e a indecidibilidade. In: XII Congresso de Iniciação Científica, 2000, Bauru. Livro de Resumos do XII Congresso de Iniciação Científica. Bauru : UNESP, 2000. v. 1. |
| 13. | Juliana Bueno-Soler . Funções recursivas e números de Gödel. In: XI Congresso de Iniciação Científica- UNESP, 1999, Araraquara. Liivro de Resumos XI Congresso de Iniciação Científica. Araraquara : UNESP, 1999. v. 1. |
| Apresentações de Trabalho |
| 1. | Bueno-Soler, Juliana ; M. Finger . Probabilistic Modal Logic. 2011. (Apresentação de Trabalho/Congresso). |
| 2. | Bueno-Soler, Juliana . Conditional probability and probability of conditional: David Lewis's trivialization result and paraconsistency. 2011. (Apresentação de Trabalho/Seminário). |
| 3. | Juliana Bueno-Soler . Description logics from a paraconsistent viewpoint. 2010. (Apresentação de Trabalho/Congresso). |
| 4. | Juliana Bueno-Soler . Modal systems with soft negations: from completeness to incompleteness. 2010. (Apresentação de Trabalho/Seminário). |
| 5. | Bueno-Soler, Juliana . Paraconsistent Multimodalities towards Description Logic. 2010. (Apresentação de Trabalho/Seminário). |
| 6. | Bueno-Soler, Juliana . Versões anódicas e catódicas de S5: da completude à incompletude. 2010. (Apresentação de Trabalho/Outra). |
| 7. | Juliana Bueno-Soler . Incompleteness in Paraconsistent Modalities. 2009. (Apresentação de Trabalho/Congresso). |
| 8. | Juliana Bueno-Soler . Models for anodic and cathodic multimodalities. 2009. (Apresentação de Trabalho/Congresso). |
| 9. | Juliana Bueno-Soler . Possible-Translations Semantics for Cathodic Modal Logics. 2008. (Apresentação de Trabalho/Comunicação). |
| 10. | Juliana Bueno-Soler . Extensões modais das lógicas mbC e Ci. 2007. (Apresentação de Trabalho/Comunicação). |
| 11. | Juliana Bueno-Soler . Modalidades Anódicas e Catódicas. 2007. (Apresentação de Trabalho/Seminário). |
| 12. | Juliana Bueno-Soler . Polinômios como provas: a álgebra nas demonstrações lógicas. 2007. (Apresentação de Trabalho/Seminário). |
| 13. | Juliana Bueno-Soler . Perspectives on algebraizing logics. 2006. (Apresentação de Trabalho/Comunicação). |
| 14. | Juliana Bueno-Soler . Provas por polinômios: uma nova abordagem para algebrizar lógicas?. 2006. (Apresentação de Trabalho/Comunicação). |
| 15. | Juliana Bueno-Soler . O método de anéis de polinômios para a lógica: problemas e perspectivas. 2006. (Apresentação de Trabalho/Seminário). |
| 16. | Juliana Bueno-Soler . Análise semântica das lógicas paraconsistentes:a semântica das traduções possíveis. 2006. (Apresentação de Trabalho/Seminário). |
| 17. | Juliana Bueno-Soler . Finite algebraizability and a simple proof-theory for the hyerachy Pn and In. 2005. (Apresentação de Trabalho/Comunicação). |
| 18. | Juliana Bueno-Soler . Algebraizing logics via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário). |
| 19. | Juliana Bueno-Soler . Limitations of the Method of Finite Algebraizability and its Extensions via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário). |
| 20. | Juliana Bueno-Soler ; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via Possible Translation Semantics.. 2004. (Apresentação de Trabalho/Comunicação). |
| 21. | Juliana Bueno-Soler . Algebrização a distância. 2003. (Apresentação de Trabalho/Seminário). |
| 22. | Juliana Bueno-Soler ; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial.. 2003. (Apresentação de Trabalho/Comunicação). |
| 23. | Juliana Bueno-Soler . Algebrização das lógicas paraconsistentes. 2002. (Apresentação de Trabalho/Seminário). |
| 24. | Juliana Bueno-Soler . Algebrizar, por quê?. 2002. (Apresentação de Trabalho/Comunicação). |
| Demais tipos de produção bibliográfica |
| 1. | CARNIELLI, W. ; PIZZI, C. ; Juliana Bueno-Soler . Modalities and Multimodalities. United Kingdom: Springer, 2008. (Tradução/Livro). |
| 2. | Juliana Bueno-Soler . Resenha crítica de Computabilidade: Funções Computáveis, lógica e os Fundamentos da Matemática. Córdoba: SIRCA, Publicaciones Academicas, 2006 (Resenha bibliográfica). |
| Produção técnica |
| Trabalhos técnicos |
| 1. | Juliana Bueno-Soler . Classical Mathematical Logic (Autor R. L. Epstein com contribuições de L. W. Szczerba). 2005. |
| Demais tipos de produção técnica |
| 1. | Bueno-Soler, Juliana . Da consequência lógica à probabilidade. 2011. (Relatório de pesquisa). |
| 2. | Juliana Bueno-Soler . Ciência e Arte nas Férias. 2007. (Monitoria). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Bueno-Soler, Juliana; D'Ottaviano, I. M. L.; Walter A. Carnielli. Participação em banca de Antonio Marmo da Cunha Oliveira. Sistemas, Pressuposições e Implicaturas: uma investigação explanatória, lógica e filosófica . 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. |
| 2. | CONIGLIO, M. E.; Feitosa, H. A.; Juliana Bueno-Soler; CARNIELLI, W.. Participação em banca de Tarcísio Genaro Rodrigues. Sobre os Fundamentos da Programacão Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. |
| 3. | Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Costa-Leite, A.. Participação em banca de Dante Cardoso Pinto de Almeida. Ignoramus et ignorabimus: a persistência do paradoxo da cognoscibilidade. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. |
| Teses de doutorado |
| 1. | CONIGLIO, M. E.; Costa-Leite, A.; Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Golçalves de Souza, E.; CARNIELLI, W.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Uma nova abordagem para a noção de quase-verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. |
Eventos
| Participação em eventos |
| 1. | 16th Logic Brazilian Logic Conference - XVI EBL.Probabilistic Modal Logic. 2011. (Congresso). |
| 2. | Third International Congress on Tools for Teaching Logic.The King of Reasonshire. 2011. (Congresso). |
| 3. | Beyond the Possible Remembering Richard Sylvan. 2011. (Congresso). |
| 4. | Chance & the Principal Principle. 2011. (Congresso). |
| 5. | World Congress and Scholl on Universal Logic - UniLog 2010.Description logics from a paraconsistent viewpoint. 2010. (Congresso). |
| 6. | XIV Encontro Nacional de Pós-Graduação em Filosofia.O conceito de probabilidade não-clássica através dos sistemas catódicos. 2010. (Encontro). |
| 7. | Workshop Walfram Mathematica. 2010. (Outra). |
| 8. | Science, Truth and Consistency.Incompleteness in Paraconsistent Modalities. 2009. (Congresso). |
| 9. | Model Based Reasoning in Since and Engineering Abduction, Logic, and Computational Discovery.Models for anodic and cathodic multimodalities. 2009. (Congresso). |
| 10. | Encontro de "Filosofia da Lógica". 2009. (Encontro). |
| 11. | CLE 30/ XV EBL / XIV SLALM.Possible-translations semantics for cathodic modal logics. 2008. (Congresso). |
| 12. | V Simpósio Internacional Principia.Extensões modais das lógicas mbC e Ci. 2007. (Simpósio). |
| 13. | XIII Jornadas de Epistemologias de las Ciencias Económicas. 2007. (Encontro). |
| 14. | XIV Encontro Brasileiro de Lógica.Perspectives on Algebraizing Logics. 2006. (Congresso). |
| 15. | XII Encontro Nacional de Filosofia da ANPOF.Prova por polinômios: uma nova aordagem para algebrizar lógicas?. 2006. (Encontro). |
| 16. | Workshop "Semantics and Meaning" SeMe'05.Finite algebraizability and a simple proof-theory for the hierarchies Pn and In. 2005. (Oficina). |
| 17. | Mini-Escola de Lógica PUC-Rio. 2005. (Oficina). |
| 18. | Workshop on Combination of Logics: Theory and Applications - CombLog'04.Finite algebraizability via possible-translations semantics. 2004. (Oficina). |
| 19. | XIII Encontro Brasileiro de Lógica CLE/SBL 25 Anos.Semântica Algébrica de Traduções Possíveis: um enfoque categorial. 2003. (Encontro). |
| 20. | X Encontro Nacional de Filosofia da ANPOF.Algebrizar, por quê?. 2002. (Encontro). |
| 21. | X Semana da Licenciatura em Matemática.X Semana da Licenciatura em Matemática. 2000. (Encontro). |
| 22. | XI Semana da Licenciatura em Matemática.XI Semana da Licenciatura em Matemática. 1999. (Encontro). |
| Organização de eventos |
| 1. | Bueno-Soler, Juliana . Primeira Oficina de Lógica e Argumentação. 2011. (Outro). |
| 2. | Magnani, L. ; CARNIELLI, W. ; Juliana Bueno-Soler . Model - Based Reasoning in Science and Technology (MBR'09). 2009. (Congresso). |
| 3. | Juliana Bueno-Soler . CLE 30/ XV EBL / XIV SLALM. 2008. (Congresso). |
Outras informações relevantes
1.Intercâmbio de 6 meses no Instituto Superior Técnico de Lisboa, Pt, co-orientado pelo Prof. Dr. Carlos Caleiro (Mestrado).
2. Intercâmbio de 6 meses na Université du Luxembourg, Lu, supervisionado pelo Prof. Dr. Leon van der Torre (Doutorado).
3. Intercâmbio de 1 mês na Université Paul Sebatier, IRIT/LILAC, Toulouse, França, convidada pelo Prof. Dr. Andreas Herzig. (pós-doc).
4. Estive 2 meses na Universidade de Melbourne, Austrália, como Professor visitante, com bolsa de pesquisa FAPESP, a convite dos professores Greg Restall e Graham Priest e do pós-doc Zach Webar.
.
|
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 13:26:52 |