Re: [Logica-l] Uma noticia de profundissimo pesar

Car@s, é uma tragédia e uma grande perda. Perante aos eventos tão tristes não esistem palavras. Os meus sentimentos ao João, à Maia e à família. 2017-08-26 14:16 GMT-03:00 Francisco Miraglia : > Car@s, > > Acompanho os sentimentos de pesar do Walter. > > Chico Miraglia > > > Quoting Walter Carni

Re: [SPAM] [Logica-l] Recenseamento da comunidade brasileira de lógica: "simplificismo" exagerado?

Caros, como Walter acho o censimento uma ótima iniciativa, mas concordo com ele nos limites da mesma. No meu caso também não saberia o que escolher. E isso não é apenas um problema pratico, mas teorico, sendo que a lógica é a disciplina que conecte os vario ambitos elencados. Se a pergunta fosse

Re: [Logica-l] CML 2018 (Satellite Conference of the ICM 2018) - DEADLINE APPROACHING

East Anglia) Wilfrid Hodges (Kings College, University of London) Luca Incurvati (University of Amsterdam) Toby Meadows (University of Queensland) Carlos di Prisco (Los Andes University) *Local Organizing Committee* Rodrigo Freire Hugo Mariano Cezar Mortari Giorgio Venturi (chair) Edgar Almeida

Re: [Logica-l] CML 2018 (Satellite Conference of the ICM 2018) - DEADLINE APPROACHING

Caros, mandei um email errado para a lista, que era somente par o Samuel. Por favor não considerem o conteudo que ainda não foi confermado. Abraço, Giorgio 2018-03-27 7:32 GMT-03:00 Giorgio Venturi : > Caro Samuel, > > espero que você esteja bem. Escrevo a respeito da call da CML 201

[Logica-l] Deadline extension Cantor conference: 20 of August

, University of London) Luca Incurvati (University of Amsterdam) Toby Meadows (University of Queensland) Carlos di Prisco (Los Andes University) Sean Walsh (University of California in Los Angeles) *Local Organizing Committee* Rodrigo Freire Hugo Mariano Cezar Mortari Giorgio Venturi (chair) Edgar Almeida

[Logica-l] Bolsa de mestrado em lógica e fundamentos no IFCH da Unicamp

Caras e caros, escrevo a respeito do processo seletivo do programa de pós-graduação de filosofia da Unicamp (IFCH), onde estou desenvolvendo um projeto Jovem Pesquisador da FAPESP em lógica e fundamentos da matemática. O título é "Arbitrariedade e genericidade. Ou sobre como falar do indizível" e

Re: [Logica-l] Bolsa de mestrado em lógica e fundamentos no IFCH da Unicamp

https://www.researchgate.net/publication/319059993_Arbitrariness_and_genericity_Or_how_to_speak_of_the_unspeackable > uma ideia muito interesante! > abracos > Valeria > > On Tue, Oct 2, 2018 at 5:27 AM Giorgio Venturi > wrote: > >> Caras e caros, >> >> escrevo

[Logica-l] Fwd: [PHILOS-L] Carol Lee Price Scholarships: funding in Montreal for female international students.

Uma das bolsas é em lógica e filosofia da matemática. Abraço, Giorgio Begin forwarded message: *From:* Ulf Hlobil *Date:* 3 November 2018 14:54:04 GMT-3 *To:* philo...@liverpool.ac.uk *Subject:* *[PHILOS-L] Carol Lee Price Scholarships: funding in Montreal for female international students.*

[Logica-l] Programação Cantor coference

Caras e caros, escrevo para informar que a programação dos eventos para o centenario do Cantor está disponível no site https://cantormeetsrobinson.wordpress.com/ CANTOR MEETS ROBINSON *Set theory, model theory and their philosophy* São Paulo-Campinas December, 2018 *Mini-courses* University o

[Logica-l] Eventos USP (3-6 dezembro) Unicamp (12-15)

, Large Cardinals, and Robinson Forcing. The IMECC-Unicamp will host a conference on related topics during the days 12-15 December. The event is sponsored by USP, Unicamp, and Fapesp and it is patrocinated by the SBL, the ASL, and the ESTS. Attendance is free. Best, Giorgio Venturi CANTOR MEETS

[Logica-l] Fwd: [LOGIC] WiL 2019: Women in Logic, Vancouver BC (Canada), 23 Jun 2019

-- Forwarded message - Da: [LOGIC] Mailing List Date: ven 5 apr 2019 alle ore 16:05 Subject: [LOGIC] WiL 2019: Women in Logic, Vancouver BC (Canada), 23 Jun 2019 To: Final Call for Talks and Papers WiL 2019: 3rd Women in Logic Workshop

[Logica-l] Workshop lógica modal 16 de maio IFCH Unicamp

shkina (Unicamp) e Mattia Petrolo (UFABC) "The dark side of knowledge". 16h-16h30 Coffe break 16h30 Pedro Yago (Unicamp) "Tableaux for essence and contingency". 17h30 Encerramento Comitê organizador: Mattia Petrolo Giorgio Venturi O evento é apoiado pela Sociedade Brasileir

[Logica-l] Fwd: [LOGIC] Rosaline Franklin Fellowships for female researchers, Groningen (The Netherlands), Deadline: 2 Jun 2019

-- Forwarded message - Da: [LOGIC] Mailing List Date: mar 7 mag 2019 alle ore 16:46 Subject: [LOGIC] Rosaline Franklin Fellowships for female researchers, Groningen (The Netherlands), Deadline: 2 Jun 2019 To: Rosalind Franklin Fellowships for talented female researchers. These a

[Logica-l] Fwd: [LOGIC] FilMat 2019: Philosophy of Mathematics, Milan (Italy), 18-19 Jul 2019

ani (University of Turin) Luca San Mauro (TU Wien) Andrea Sereni (IUSS Pavia) Maria Paola Sforza Fogliani (IUSS Pavia) Giorgio Venturi (University of Campinas) Jack Woods (University of Leeds) Steering Committee Francesca Boccuni (University Vita-Salute San Raffaele) Giovanni Marco Martino (Universi

[Logica-l] Bolsa mestrado filosofia IFCH Unicamp (deadline inscrição 15/07)

Caras e caros, escrevo a respeito do processo seletivo do programa de pós-graduação de filosofia da Unicamp (IFCH), onde estou desenvolvendo um projeto Jovem Pesquisador da FAPESP em lógica e fundamentos da matemática. O título é "Arbitrariedade e genericidade. Ou sobre como falar do indizível" e

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

Caros, já que a discussão está se ampliando de CH para novos axiomas e a justificação, é bom saber que tem muita bibliografia sobre este tema. Os livros da Penelope Maddy são um ótimo começo. Para quem quiser artigos mais recentes sobre o tema me escreva em privado. Abraço, Giorgio Il giorno mer

[Logica-l] Conference Announcement - 9-10 December, Campinas

...@ufabc.edu.br Best wishes, Giorgio Venturi (University of Campinas) Mattia Petrolo (Federal University of ABC) -- 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

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

de todos os axiomas de ZFC. Embora não haja provas desta afirmação no artigo, é fácil mostrar que isto é falso. De fato, há instâncias (do esquema) de separação que não são válidas no modelo a valores na álgebra PS_3. Atenciosamente, Sourav Tarafder Giorgio Venturi Il giorno gio 5 dic 2019 alle ore 19:

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

baseada em lógicas da inconsistência formal (LFIs), > no artigo "Paraconsistent set theory by predicating on consistency" > publicado em 2013 no Journal of Logic and Computation. Ali nos baseamos em > LFIs muito fracas, não algebrizáveis, e apresentamos uma versão axiomática,

Fwd: [Logica-l] Fwd: Two postdoc positions in philosophical logic, metaphysics or philosophy of science @ UCLouvain, Belgium

-- Forwarded message - De : Peter Verdée Date: ven. 20 déc. 2019 07:02 Subject: [Logica-l] Fwd: Two postdoc positions in philosophical logic, metaphysics or philosophy of science @ UCLouvain, Belgium To: Destinatários de resumo por e-mail Dear all, The CEFISES research center

Re: [Logica-l] Re: Inclusive Logic: o castelo anglófono

Interessante comparação. Sobretudo no contexto de uma discussão sobre inclusão. Não ficou claro para mim, porém, o que mostra esse outro exemplo. Um abraço, Giorgio Il giorno gio 11 giu 2020 alle ore 14:41 jyb ha scritto: > Gostaria de assinalar outro livro do Brunot Poizat "Groupes stables" q

[Logica-l] JPM aberto para submissões

Prezadas e prezados, Na segunda European Summer School for the Philosophy of Mathematics (Viena, setembro de 2024), o Journal for the Philosophy of Mathematics foi oficialmente aberto para submissões. Esta é a revista da European Society for the Ph

Re: [Logica-l] Sobre a(s) teoria(s) de conjuntos paraconsistentes e seus problemas

ões mais difíceis, que até agora ninguém conseguiu > resolver, é sobre um desenvolvimento satisfatório de forcing > paraconsistente que possa resolver a questão se o Axioma da Escolha e > a Hipótese Generalizada do Contínuo continuam a ser independentes à > luz de uma teoria mais elástica, c