Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

[Marcos Silva]

British Philosophical Association Defends Philosophy in Brazil

http://dailynous.com/2019/05/01/british-philosophical-association-defends-philosophy-brazil/

On Tue, Apr 30, 2019 at 11:16 PM Antonio Marmo  wrote:

> *A propósito disto trago assunto relevante para a comunidade acadêmica que
> foi manchete nos jornais:*
>
>
> Diz a Constituição Federal:
>
>
> “Art. 207. As universidades gozam de autonomia didático-científica,
> administrativa e de gestão financeira e patrimonial, e obedecerão ao
> princípio de indissociabilidade entre ensino, pesquisa e extensão.
>
> § 1º É facultado às universidades admitir professores, técnicos e
> cientistas estrangeiros, na forma da lei.
>
> § 2º O disposto neste artigo aplica-se às instituições de pesquisa
> científica e tecnológica.”
>
>
> Dizem os jornais do dia 30 de abril de 2019:
>
>
> MEC cortará verba de universidade por 'balbúrdia' e já mira UnB, UFF e UFBA
>
>
> O Ministério da Educação (MEC) vai cortar recursos de universidades que
> não apresentarem desempenho acadêmico esperado e, ao mesmo tempo, estiverem
> promovendo "balbúrdia" em seus câmpi, afirmou o ministro Abraham Weintraub
> ao jornal O Estado de S. Paulo.
>
>
>
> https://educacao.uol.com.br/noticias/agencia-estado/2019/04/30/mec-cortara-verba-de-universidade-por-balburdia-e-ja-mira-unb-uff-e-ufba.htm
>
>
> Bloqueio de verba de universidade por motivo ideológico fere Constituição
>
> A ameaça do governo Jair Bolsonaro (PSL) de bloquear 30% dos recursos de
> custeio de três universidades federais –UnB, UFBA e UFF– por motivos
> ideológicos fere a Constituição, segundo especialistas.
>
> A afirmação do ministro, Abraham Weintraub que essas universidades teriam
> também fraco desempenho ignora os resultados positivos dessas instituições
> em indicadores do ensino superior.
>
>
> https://www.jb.com.br/pais/2019/04/997619-bloqueio-de-verba-de-universidade-por-motivo-ideologico-fere-constituicao.html
>
>
> Tirem suas conclusões, por favor. Mas, a mim me parece óbvio o erro do
> Ministro.
>
>
> *Most problems of teaching are not problems of growth but helping
> cultivate growth. As far as I know, and this is only from personal
> experience in teaching, I think about ninety percent of the problem in
> teaching, or maybe ninety-eight percent, is just to help the students get
> interested. *
> Noam Chomsky
>
> On 30 Apr 2019, at 17:55, Marcos Silva  wrote:
>
>
>
> -- Forwarded message -
>
>
>
> Daily Nous
> Open Letter Regarding President Bolsonaro’s Recent Pronouncements on
> Defunding Philosophy and Sociology
> 
>
> Below is a letter responding to Brazilian President Jair Bolsonaro’s recent
> declarations
> 
> that he is considering a plan to withdraw funding for the study and
> teaching of philosophy and sociology at public universities in Brazil.
>
> Written by Sergio Tenenbaum  (University
> of Toronto), Alice Pinheiro Walla  
> (University
> of Bayreuth), and Catarina Dulith Novaes
>  (VU Amsterdam), the
> letter is open for academics from around the world to sign. (To sign, use
> the form at the end of the letter.)
> --
>  Open
> Letter Regarding President Bolsonaro’s Recent Pronouncements on Defunding
> Philosophy and Sociology
>
> *We, the undersigned academics around the world, would like to express our
> alarm and concern about President Bolsonaro’s recent claims that he is
> planning to defund Philosophy and Sociology (and possibly other areas in
> the Humanities and social sciences). Brazilian public universities have
> produced internationally recognized major research in both of these areas.
> Philosophy and Sociology are fundamental disciplines of any modern
> university, and, given the interdisciplinary nature of the university,
> defunding them will affect not only research in these specific areas, but
> also the reputation, and the quality of research and teaching, of Brazilian
> universities across all areas. In fact, it is ironic that Philosophy is
> singled out in this respect, as philosophers in Brazil were among the
> pioneers of paraconsistent logic, a research program that has had impact in
> such diverse areas as robotics and expert systems for medical diagnosis.*
>
> *President Bolsonaro implies in his remarks that public funding should
> flow exclusively to professional schools. These are certainly important
> programs. However, a democratic society depends not only on its commercial
> productive output, but also on its social institutions, its understanding
> of their foundations and governing principles, as well as i

[Logica-l] Otavio Bueno visita Recife

[Marcos Silva]

Caros,

Otavio Bueno (University of Miami) vai visitar o Recife nos dias 15 e 16/8.

Esta visita ocorrera antes do tradicional evento "Principia" em Floripa
(19-22/8).
http://www.principia.ufsc.br/SIP11.html



Bueno gentilmente ministrara duas palestras na UFPE, a saber: "Revisao da
Logica" e "Wittgenstein e neopirronismo"

Pretendemos fazer uma nova edicao do evento abaixo do grupo "Consciencia e
Cognicao" para nos beneficiarmos mais com a sua visita.

https://conscienciaecognicaoufpe.wordpress.com



Em breve, veicularemos uma chamada para comunicacoes.

Save the date! ;-)

Abracos,
Marcos


-- 
Marcos Silva
https://sites.google.com/site/marcossilvarj/
Philosophie macht Spaß!

*"How Colours Matter to Philosophy" (Springer, 2017)*
http://www.springer.com/us/book/9783319673974
*"Colours in Wittgenstein's Philosophical Development" (Palgrave, 2017)*
http://www.palgrave.com/br/book/9783319569185

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzJwweP%3DnUZe-aO547hMRL-n_EKcTtDg8Z1bz0_quGpgtg%40mail.gmail.com.

[Logica-l] Fantástica opção de Doutorado com bolsa na Universidade de Bozen /Bolzano

[Walter Carnielli]

Prezados Colegas,



Segue uma excelente oportunidade para alunos que desejam realizar o
doutorado na Europa com possibilidade de bolsa (fully funded) por um
período de 4 anos oferecida pela própria universidade.



O prazo para aplicação é 8 de julho e os detalhes  podem ser encontrados em:
https://www.unibz.it/en/faculties/computer-science/phd-computer-science/



A Free University of Bozen-Bolzano foi classificada pelo Times Ranking of
Higher Education entre as 10 melhores universidades pequenas no mundo
(menos que 5K estudantes) (
https://www.timeshighereducation.com/student/best-universities/worlds-best-small-universities-2017)
e o departamento de computação foi considerado o melhor departamento
italiano de computação em citações e "international outlook" e o 21o.
departamento de computação no mundo em citações.



Neste contexto, eu coordeno um grupo de pesquisa na área de ONTOLOGIAS e
MODELAGEM CONCEITUAL (https://www.inf.unibz.it/krdb/core/).

Este grupo esta inserido em um centro de competência na area de Knowledge
Representation and Databases (KRDB) e tem uma forte colaboração com o
Laboratory of Applied Ontology (coordenado por Nicola Guarino -
https://scholar.google.com/citations?user=3-WRYO4J&hl=en) e com o
Nucleo de Estudos em Modelagem Conceitual e Ontologias (
http://nemo.inf.ufes.br), entre muitas outros fortes grupos nessas áreas.


Além disso, ele reune pesquisadores muito fortes em suas respectivas áreas,
incluindo Oliver Kutz (
https://scholar.google.com/citations?user=46NU9sEJ&hl=en), Enrico
Franconihttps://scholar.google.com/citations?user=QI5asAEJ&hl=en) e
Marco Montalli (https://scholar.google.com/citations?user=FjHRgWsJ&hl=en),
entre muitos outros.



Espero que a mensagem desperte o interesse em excelentes candidatos
brasileiros.



Saudações,

Giancarlo Guizzardi

(Free University of Bozen-Bolzano, Italia)

(https://scholar.google.com/citations?user=nnfVBt8J)

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Nk%2BBYPpVscU0Q3w_5ZskoZ0VaBEV1UUH-oZaV6PGQOUA%40mail.gmail.com.

[Logica-l] "Pre-ebl": Logica e epistemologia (UFPB - Joao Pessoa - 3/5)

[Marcos Silva]

Para os que ja estiverem em Jampa na sexta...

... um "pre-ebl"!  ;-)



SIMPÓSIO DE LÓGICA E EPISTEMOLOGIA

UFPB – 2019
03/05– Sala de Reuniões CCHLA

17:30-22:00

PROGRAMAÇÃO

17:30 – Análise do conhecimento, tipos naturais e tipos cognitivos
Arthur Viana Lopes – UFPB
18:30 – Em que medida Wittgenstein seria um fundacionista?
Hugo Ribeiro Mota – PPGFILO – UFPE
19:00 – Revision of Logic: a neopragmatist proposal
Marcos Silva – UFPE
20:00 – A Lógica Minimal Paraconsistente: sua importância e peculiaridades
Assis Walner Freire de Albuquerque – PPGF – UFPB
20:30 – Recursion on the Inferentialist Approach to Language
Carlos Brito – UFC
21:30 – Dependência e independência dos entes matemáticos aos entes
naturais:
Aspecto ontológico e lógico da abstração em Aristóteles
Rafael Cavalcanti de Souza – Graduando – Filosofia - UFPE

-- 
Marcos Silva
https://sites.google.com/site/marcossilvarj/
Philosophie macht Spaß!

*"How Colours Matter to Philosophy" (Springer, 2017)*
http://www.springer.com/us/book/9783319673974
*"Colours in Wittgenstein's Philosophical Development" (Palgrave, 2017)*
http://www.palgrave.com/br/book/9783319569185

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzLS_f0cWt8ujDnHQ%3DsxK%2BymJDATxF%2B8sAmSFLtFMUFqLQ%40mail.gmail.com.

Re: [Logica-l] Google AI system proves over 1200 mathematical theorems

[Paulo Henrique Gomes Ferreira]

Bom dia, isto aqui também é intere
https://phys.org/news/2019-04-toshiba-breakthrough-algorithm-world-fastest.html

saudações,
Paulo

Em dom, 28 de abr de 2019 às 17:01, Joao Marcos 
escreveu:

> Divulgação:
>
> https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/
>
> O paper correspondente apareceu no arXiv há duas semanas:
>
> HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
> https://arxiv.org/pdf/1904.03241.pdf
>
> Joao Marcos
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjyPEE41ykRxhK1wQ1NYmS0RX6gcp-_0uw65RmWMggvvw%40mail.gmail.com
> .
>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALWi%2BZF6o%2BdonPQioB%2BFmB3cwqGvkBMMapme92uV0J6H6ov%3DRA%40mail.gmail.com.

Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

[Cassiano Terra Rodrigues]

> Obrigado Tony por lembrar algo aparentemente esquecido, q é a Constituição 
> (não por aqui, é claro). 
>
> A razão ora alegada é absolutamente estapafúrdia, mas é bom tb lembrar q o 
projeto não é novo e já foi tentado antes, sob o nome de ajuste fiscal, 
essa entidade metafísica q teima em não desaparecer com nenhuma navalha: 
http://g1.globo.com/bom-dia-brasil/noticia/2015/02/universidades-federais-tem-um-terco-dos-recursos-bloqueados-pelo-mec.html
 
Abraços,
cass. 

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b4242ea2-326d-4a4b-847e-4015d1abcaf1%40dimap.ufrn.br.

Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

[Joao Marcos]

Estendendo o já explorado assunto OFF-TOPIC:

O anunciado corte já foi estendido ontem mesmo para todas as universidades:
https://www1.folha.uol.com.br/educacao/2019/05/ministro-da-educacao-ironiza-reitores-ao-falar-de-tolerancia-e-pluralidade.shtml
https://educacao.estadao.com.br/noticias/geral,mec-desiste-de-bloqueio-a-verbas-em-universidades-por-bagunca,70002811148
https://g1.globo.com/educacao/noticia/2019/04/30/mec-diz-que-bloqueio-de-30percent-na-verba-vale-para-todas-as-universidades-e-institutos-federais.ghtml
https://veja.abril.com.br/brasil/mec-recua-de-punir-universidades-por-balburdia-e-propoe-corte-linear/

Não estou seguro de que abaixo-assinados farão diferença.

JM

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh0Rd4G3iF3%2Br%3Dgr%3Dai%3DwNkWzg-QEUhfYSMhY67DH4UPA%40mail.gmail.com.

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

[Giorgio Venturi]

Caras e caros,

escrevo para anunciar o primeiro workshop do projeto Universal CNPq "A case
study for non-normal modal logic", que ocorrerá na Unicamp na quinta-feira,
dia *16 de maio: *das *10h às 12h* na sala de* Defesa de Teses* do prédio
de pós-graduação do IFCH e das* 12h às 17h30, *na sala* 12A *do mesmo
prédio.

Este projeto tem como objetivo o esclarecimento da noção de não-normalidade
na lógica modal. Este tema é abordado de uma perspectiva ambos semântica e
sintática. Por um lado será indagado sobre a possibilidade de oferecer uma
definição de não-normalidade que permita um tratamento uniforme de
resultados de completude e correção. Por outro lado será indagado sobre as
peculiaridades que os sistema de provas tipo cálculos de sequentes ou
tableaux oferecem no caso de sistema modais não-normais.

*Programação*

10h David Gilbert (University of British Columbia) e Giorgio Venturi
(Unicamp) "Reflexive insensitive logics and the method of generated
subframe".

11h Edson Bezerra (Unicamp) "A semantic approach to generalized
provability".

12h-14h Almoço

14h Pedro Merlussi (Unicamp) "Freedom and couterfactuals".

15h Ekaterina Kubyshkina (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 Brasileira de Lógica (SBL). O evento é
aberto e todomundo é bem vindo.

Abraços,
Giorgio


 modal logic workshop poster.pdf


-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWUbH8EooA5kDz3aNJX3yyfDTUN0taWAMDktuDaNsn%3DNRQ%40mail.gmail.com.