[Logica-l] Fwd: Open Position in Logic at ILLC, Amsterdam
-- Forwarded message -- Dear colleagues, This message is to bring to your attention that the Institute for Logic, Language and Computation at the University of Amsterdam currently has an open Assistant Professor (UD) Position in Logic, see http://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/13-222.html for the details. Please note that the deadline for applications is September 10. As you can read in the job advertisement, we are looking for excellent candidates in mathematical logic, with a preference for a candidate with a proven record in modal logic or related areas of nonclassical logic. It is the explicit policy of the institute that (in principle) new staff are hired through open application procedures. I would therefore like to encourage you to bring this vacancy to the attention of as many colleagues as possible. Best wishes, Yde Venema Scientific Director, ILLC ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?
Olá, Só pra concluir, os comentários de vocês me convenceram que existem muitas facetas deste projeto e algumas (talvez a maioria) podem não ser boas. Vou esperar a repercussão da visita da professora ao Congresso pra ver o que acontece e reconsiderar minha participação na mobilização :) Sobre não-bolsistas, 90% ou mais dos alunos de mestrado do meu programa são não-bolsistas e ainda por cima trabalham. Somente 3 tem bolsas. Sobre alunos lerem, Décio, sim alguns lêem independentemente do formato de aula do professor. Adolfo 2013/8/5 Décio Krause deciokra...@gmail.com Adolfo Já que comecei, continuo. Você escreveu ao Walter: É como ser paternalista com alunos, dar aula com powerpoints superexplicado e não estimular o aluno a ler. Ora, dar uma aula com um powerpoint superexplicado impede o aluno de ler? Só se for um idiota. O que uma coisa tem a ver com outra? Na época pré power point, a minha época, as super explicações eram feitas no quadro, por professores competentes. Só mudou a técnica. Hoje, um mediano prepara uma boa aula com esse recurso e se passa por um bom professor. Mas isso não impede o aluno de ler, independentemente do professor. Bom, chega por hoje. Abraço D * * * * *--* *Décio Krause* *Departamento de Filosofia* *Universidade Federal de Santa Catarina* *88040-900 Florianópolis - SC - Brasil* *http://www.cfh.ufsc.br/~dkrause* *--* Em 05/08/2013, às 23:03, Walter Carnielli walter.carnie...@gmail.com escreveu: Caro Adolfo, respeito seus pontos de vista, e os da neurocientista de plantão também (se bem que eu não compreenda porque alguem precisaria tanto de neurocientistas para tê-los de plantão, ou em alerta permanente...) A questão é complexa, e se cansar do debate é a atitude menos (neuro)cientifica que se poderia ter. Mas a você que é calmo, razoável e comedido e nao tem nada de neuro, eu ousaria perguntar: por qual razão um bolsista seria visto como cientista de profissão, e um estudante sem bolsa não? E um estudante de graduação, porque já não entraria no vestibular registrado no Ministério do Trabalho? O ponto é esse: profissional é quem consegue uma posição! É como poeta: não precisa de deproma, precisa de reconhecimento que não se adquire através da Consolidaçao das Leis do Trabalho. Mas sei que você não se cansa facil :-) Abs Walter Em 5 de agosto de 2013 22:48, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Mas, Walter, a ideia é essa mesmo. Os maiores prejudicados (se se considerar que receber bolsa é um prejuízo) são os bolsistas. Se eles não quiserem lutar por isso, porque eu e ela ficaremos lutando? É como ser paternalista com alunos, dar aula com powerpoints superexplicados e não estimular o aluno a ler. 2013/8/5 Walter Carnielli walter.carnie...@gmail.com Oi Décio. temo que seja pior que isso-- alguém acendeu o rojão e não conseguiu segurar... abs Walter Em 5 de agosto de 2013 21:57, Décio Krause deciokra...@gmail.com escreveu: Walter Acho que você pegou um ponto importante. Ela está fazendo média. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 19:00, Walter Carnielli walter.carnie...@gmail.com escreveu: Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já apontei, tem mais esta, de apelo ao medo: vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, ... É esse tipo de atitude pouco academica que se pretende profissionalizar Abs Walter Em 5 de agosto de 2013 12:12, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: A profa, Suzana acabou de postar esta mensagem no Facebook: https://www.facebook.com/suzana.herculanohouzel/posts/367137916748671 Suzana Herculano-Houzel https://www.facebook.com/suzana.herculanohouzel?hc_location=stream A todos os que gentilmente me convidaram para um sem-fim de palestras: não estou aceitando nenhum convite para falar sobre a regulamentação, nenhunzinho, em lugar nenhum. A primeira razão é que tudo o que eu queria dizer a respeito está no vídeo no youtube. A segunda é que a minoria que prefere viver de bolsa tem elementos extremamente vocais, obtusos e cansativos, e está se tornando uma questão de saude física e mental para mim parar de falar sobre o
[Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel
http://investigacao-filosofica.blogspot.com.br/2013/08/segundo-desafio-da-promocao-sherlock.html http://4.bp.blogspot.com/-ykopHgN6nz8/UgBnV_I4FAI/Ax0/m-WcbdTLFL8/s1600/Marca+Coquetel_RGB.pnghttp://3.bp.blogspot.com/-C_4u_t-HlAg/TjCj-sHyV_I/AUk/rlbMuTKmrZQ/s150/%2521+coruja+logo+investigacao+filosofica.jpgPrezados leitores do Blog Investigação Filosófica, É com grande prazer que anunciamos o terceiro desafio da promoção conjunta do Blog IF e da Coquetel. A editora está lançando uma coleção de livros do Sherlock Holmes sobre dedução e raciocínio lógico e deseja premiar os nossos leitores mais astutos. Propomos uma série de três desafios mentais e este é o segundo. http://1.bp.blogspot.com/-bz5kZ07toA0/UgBlPiiYKsI/AxY/IDzhivcE8tw/s1600/APRENDA+A+PENSAR+COMO+SHERLOCK+livro+1a+capa.jpghttp://2.bp.blogspot.com/-90Y6hrjmkoU/UgBlNjr_HFI/AxQ/EKLSe2_u1T0/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+1.jpghttp://1.bp.blogspot.com/-Bdod7JgHutM/UgBlR-Eto0I/Axg/0HjB3hP7tzg/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+2.jpg http://2.bp.blogspot.com/-90Y6hrjmkoU/UgBlNjr_HFI/AxQ/EKLSe2_u1T0/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+1.jpg *Enigma 2* Este enigma faz parte de *A arte de dedução de Sherlock Holmes 2* e quem primeiro o resolver e enviar sua resposta para ifilosof...@gmail.com será contemplado com esse livro no conforto de sua casa. http://2.bp.blogspot.com/-5jM9OfhCuZI/UgKs5XmZWqI/AzA/Tcg-Ah6uPs8/s1600/Dedu%C3%A7%C3%A3o+2+-+Pag+65.jpg Voltemos mais uma vez aos meus amigos hipotéticos Alfie e Bill. Imagine que você esteja com os dois no gabinete de um carcereiro curioso. Estou na prisão com um par de peixeiros, observei. Todos vocês são inocentes, é claro, Holmes respondeu. Vítimas de uma triste confusão da justiça, não tema. Minha consciência está tranquila. Ótimo. O carcereiro mostra a vocês cinco sinais coloridos, sendo dois pretos e três brancos. Depois, ele faz com que vocês se virem em ordem e fixa um sinal nas costas de cada um dos seus uniformes de prisioneiros. O carcereiro informa a vocês que o primeiro a identificar a cor do seu sinal será solto; mas, se identificarem a cor errada ou fizerem alguma combinação entre vocês, sua sentença será estendida. Então ele permite que vocês se virem e olhem a cor dos outros. Você vê que tanto Alfie quanto Bill têm sinais brancos. Os outros dois olham para você e um para o outro. Qual a cor do seu sinal? Envie sua resposta para ifilosof...@gmail.com. Outras publicações da Coquetel: http://coquetel.uol.com.br/ E seu facebook: https://www.facebook.com/revistascoquetel ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel
Preto, obviamente.Se fosse branco, os outros dois teriam gritado. Mas este tal Blog IF e a Revista Coquetel são um tanto estranhos (para não dizer desorganizados ou coisa pior): os e-mails sempre voltam, e parece que não queram premiar ninguém... Abs Walter Em 12 de agosto de 2013 19:37, rodrigo cid rodrigorl...@hotmail.com escreveu: http://investigacao-filosofica.blogspot.com.br/2013/08/segundo-desafio-da-promocao-sherlock.html http://4.bp.blogspot.com/-ykopHgN6nz8/UgBnV_I4FAI/Ax0/m-WcbdTLFL8/s1600/Marca+Coquetel_RGB.pnghttp://3.bp.blogspot.com/-C_4u_t-HlAg/TjCj-sHyV_I/AUk/rlbMuTKmrZQ/s150/%2521+coruja+logo+investigacao+filosofica.jpgPrezados leitores do Blog Investigação Filosófica, É com grande prazer que anunciamos o terceiro desafio da promoção conjunta do Blog IF e da Coquetel. A editora está lançando uma coleção de livros do Sherlock Holmes sobre dedução e raciocínio lógico e deseja premiar os nossos leitores mais astutos. Propomos uma série de três desafios mentais e este é o segundo. http://1.bp.blogspot.com/-bz5kZ07toA0/UgBlPiiYKsI/AxY/IDzhivcE8tw/s1600/APRENDA+A+PENSAR+COMO+SHERLOCK+livro+1a+capa.jpghttp://2.bp.blogspot.com/-90Y6hrjmkoU/UgBlNjr_HFI/AxQ/EKLSe2_u1T0/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+1.jpghttp://1.bp.blogspot.com/-Bdod7JgHutM/UgBlR-Eto0I/Axg/0HjB3hP7tzg/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+2.jpg http://2.bp.blogspot.com/-90Y6hrjmkoU/UgBlNjr_HFI/AxQ/EKLSe2_u1T0/s1600/A+ARTE+DA+DEDU%C3%87%C3%83O+DE+SHERLOCK+HOLMES+livro+volume+1.jpg *Enigma 2* Este enigma faz parte de *A arte de dedução de Sherlock Holmes 2* e quem primeiro o resolver e enviar sua resposta para ifilosof...@gmail.com será contemplado com esse livro no conforto de sua casa. http://2.bp.blogspot.com/-5jM9OfhCuZI/UgKs5XmZWqI/AzA/Tcg-Ah6uPs8/s1600/Dedu%C3%A7%C3%A3o+2+-+Pag+65.jpg Voltemos mais uma vez aos meus amigos hipotéticos Alfie e Bill. Imagine que você esteja com os dois no gabinete de um carcereiro curioso. Estou na prisão com um par de peixeiros, observei. Todos vocês são inocentes, é claro, Holmes respondeu. Vítimas de uma triste confusão da justiça, não tema. Minha consciência está tranquila. Ótimo. O carcereiro mostra a vocês cinco sinais coloridos, sendo dois pretos e três brancos. Depois, ele faz com que vocês se virem em ordem e fixa um sinal nas costas de cada um dos seus uniformes de prisioneiros. O carcereiro informa a vocês que o primeiro a identificar a cor do seu sinal será solto; mas, se identificarem a cor errada ou fizerem alguma combinação entre vocês, sua sentença será estendida. Então ele permite que vocês se virem e olhem a cor dos outros. Você vê que tanto Alfie quanto Bill têm sinais brancos. Os outros dois olham para você e um para o outro. Qual a cor do seu sinal? Envie sua resposta para ifilosof...@gmail.com. Outras publicações da Coquetel: http://coquetel.uol.com.br/ E seu facebook: https://www.facebook.com/revistascoquetel ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Taxa de homicídios no Brasil segue lógica matemática
Não vou nem acrescentar o link para a matéria, pois o conteúdo pouco interessa... Preciso reconhecer que a manchete supra-citada, que aparece hoje no site da BBC Brasil, é irreparavelmente divertida. JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] More about Sherlock Holmes.
Caros Joao y Walter I just wanted to show you how we solve these problems. We do the same as Joao did to symbolize (we also use Smullyan's books as a source of very many of these riddles), but instead of applying a semantic verification, we use the calculative method due to Dijkstra and Scholten. It is a sound, complete and very practical! propositional calculus. (Of course, it also extends smoothly to first order logic, both classical and intuitionistic). This logical calculus uses Leibniz rule instead of Modus ponens. If E, G, H are propositional formulas, and E[p / G] is the formula obtained by substituting formula G for all occurrences of propositional variable p. So, G is possibly a subformula of E[p / G]. Leibniz inference rule is E[p / G] G - H --- E[p / H] This allow us to replace as many occurrences of G by H in E[p / G], as we like. We abbreviate Leibniz inference rules as E[p / G] == G - H E[p / H] This allow us to linearly chain their applications to express our deductions. Now, using Joao's symbolization dM: Mori é Veritoso dA: Art é Veritoso cM: Mori é culpado cA: Art é culpado [b1] (dM - cM) [b2] (dA - cA) [b3] (dM - (~cM v ~cA)) we calculate as follows: [b3] == definition dM - (~cM v ~cA) == [b1] cM - (~cM v ~cA) == De Morgan cM - ~(cM cA) == Negation of equivalence ~(cM - (cM cA)) == Theorem: (p - q) - ((p q) - p) ~(cM - cA) == Negation of implication cM ~cA We have proved (supposing [b3] and [b1]) that Mori is guilty and Art is non-guilty. Using [b1] and [b2] we also obtain Mori tells the truth and Art is a lier. Now, with Walter's suggestion, we begin with [b1]* (dM - (cM~cA)) [b2]* (dA - (cA~cM)) [b3] (dM - (~cM v ~cA)) we get (here T, F are the obvious logical constants.) [b3] == definition dM - (~cM v ~cA) == [b1]* (cM~cA) - (~cM v ~cA) == Golden rule: (p q) - ((p v q) - p - q) ((cM v ~cA) - cM - ~cA) - (~cM v ~cA) == - is commutative and associative ; Theorem: (p v q) - q - (~p v q) T - cM == T is the identity of equivalence cM We have proved (supposing [b3] and [b1]*) that Mori is guilty (i.e. cM - T) From this, and [b1]* , [b2]* we obtain [b1]* [b2]* == cM - T (dM - (T ~cA)) (dA - (cA~T)) == T s the identity of ; F - ~T ; p F - F (dM - ~cA) (dA - F) == negation axiom: ~p - (p - F) (dM - ~cA) ~dA == theorem: (p - ~q) - (~p - q) (~dM - cA) ~dA So Art is a lier, and he is guilty if and only if Mori is a lier. (Here, I do not agree with Joao). Thank you for your attention. Jaime A Bohórquez Ingeniería de Sistemas Escuela Colombiana de Ingeniería AK 45 # 205 - 59, Bogotá, Colombia From: Joao Marcos [botoc...@gmail.com] Sent: Saturday, August 10, 2013 9:50 AM To: Walter Carnielli Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Subject: [Logica-l] [* SPAM 2.5 *] Re: [* SPAM 2.5 *] Re: [* SPAM 2.5 *] Re: Fwd: Desafio Sherlock Holmes por Blog IF Coquetel Salve, Walter: Antes de tudo, uma correção: na minha mensagem anterior, por aM obviamente eu queria escrever dA, na premissa [b2]. Se você usar o procedimento de tradução explicado na outra mensagem, e interpretar as duas sentenças iniciais ditas pelos suspeitos como uma admissão de culpa exclusiva, então [b1] e [b2] se transformam respectivamente em [b1]* (dM - (cM~cA)) [b2]* (aM - (cA~cM)) Neste caso haverá duas valorações que satisfazem simultaneamente [b1]*, [b2]* e [b3], e a partir delas podemos concluir que Mori é culpado. Sobre Art podemos neste caso concluir que ele é Falseoso, e é culpado se e somente se Mori for um Veritoso. Sobre: [...] e nada se concluiria permita-me discordar: é _sempre_ possível concluir *alguma coisa*! Abraços, JM 2013/8/10 Walter Carnielli walter.carnie...@gmail.com: Joao, sua análise é clara, distinta, correta e elementar, como o problema merece. Contudo, imagine que o crime tenha sido cometido por ambos (a quatro mãos) e quando cada um tenha dito eu sou o culpado, se entenda (como é plausível numa confissão), sou o único culpado, isto é, a culpa é minha. Nesse caso, ambos poderiam ser mentirosos, e nada se concluiria. A certeza de Holmes garantiria que isto não foi o caso, isto é, que o crime só foi cometido por um e somente um deles. É claro que essa é uma bobagem sobre a qual não vale a pena perder tempo, mas eu sempre creio que é melhor explicitar as premissas que se puder, abs Walter Em 10 de agosto de 2013 11:15, Joao Marcos botoc...@gmail.com escreveu: O problema proposto por Luis Rosa e Mayra Moreira *não* depende de assumirmos premissas adicionais, *nem* de acreditarmos no que disse Holmes. (1) Formalização do problema. (a) Considere as seguintes sentenças: dM = Mori é Veritoso dA
