Re: [Logica-l] dynamic logic

Prezad@s, já consegui acesso ao material, graças ao Carlos Gonzales. Abraço e bom fim de semana a tod@s. On Mar 8, 2014 3:46 PM, "Luis Rosa" wrote: > Olá a tod@s. > > Gostaria de saber se alguém tem e poderia compartilhar o texto do David > Harel para o *Handbook of Philos

[Logica-l] dynamic logic

Olá a tod@s. Gostaria de saber se alguém tem e poderia compartilhar o texto do David Harel para o *Handbook of Philosophical Logic* de 1984 (organizado por Gabbay e Guenthner), 'Dynamic Logic'. Abraço! Luis Rosa -- *Luis Rosa* // lattes <http://l

Re: [Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel

Caro Walter, a premiação é concedida ao primeiro, e apenas ao primeiro, que enviar a resposta. Publicamos semana passada o ganhador do outro desafio. Não sei porque seus emails estão voltando, uma vez que recebemos varios emails normalmente e não tivemos outras reclamações como a sua. Talvez alg

Re: [Logica-l] Fwd: Desafio Sherlock Holmes por Blog IF & Coquetel

@s um ótimo fim de semana! Luis Rosa -- *Luis Rosa* // lattes <http://lattes.cnpq.br/9235142514779816> // philpapers<http://philpapers.org/profile/27707> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> __

[Logica-l] convite

em Português. Bom domingo a tod@s! Luis Rosa -- *Luis Rosa* @fsopho // lattes <http://lattes.cnpq.br/9235142514779816> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> HAckMe! <http://hack-me.org/> __

[Logica-l] LaTeX online

Ola pessoal! Descobri esse site aqui: https://www.writelatex.com/ Nele, é possivel editar documentos em LaTeX online, com preview simultaneo. Abraco a tod@s LR -- *Luis Rosa* @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes <http://latte

[Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

seus termos' precisa ser observado. Thanks, LR -- *Luis Rosa* @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes <http://lattes.cnpq.br/9235142514779816> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> Blog Distropia <http:

Re: [Logica-l] Digest Logica-l, volume 85, assunto 10

ste/>motivado pelo paper recomendado >> >> pela notícia que o JM divulgou aqui, pelo >> que agradeço. >> >> A propósito, muito bom o seu post. >> >> Abs >> Julio Lemos >> >> 2013/3/10 Luis Rosa : >> > (pessoal, peco desculpa

Re: [Logica-l] Digest Logica-l, volume 85, assunto 10

>1. Re: Digest Logica-l, volume 85, assunto 8 (m...@ufrnet.br) >2. Re: You are not one of us; ergo, your argument is invalid > (Luis Rosa) >3. Re: You are not one of us; ergo, your argument is inva

Re: [Logica-l] You are not one of us; ergo, your argument is invalid

-- *Luis Rosa* @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes <http://lattes.cnpq.br/9235142514779816> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> Blog Distropia <http://distropia.wordpress.com/> Greek van

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

es. > Desse modo, A > LA não se prova em K a não ser que A > seja um teorema de K. > > UM abraço, > Andrea > Em 3 de janeiro de 2013 17:31, Luis Rosa escreveu: > > Estou com uma dúvida sobre a relação entre os sistemas modais K e T, > > conforme construídos por

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

local de consequência. Tens algum paper para indicar sobre esse assunto em especial? 2013/1/3 Joao Marcos > Olá, Luis: > > 2013/1/3 Luis Rosa : > > Porém, dado *N* e a regra de derivação que > > chamamos de 'prova condicional', *p *É *Lp *é um teorema de K > > N

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

is* a regra de > necessitação produzirá Necessário (A&¬A). Mas, pelo axioma Ban, (A&¬A) > implicam Necessário (A&¬A). > > Em 3 de janeiro de 2013 17:31, Luis Rosa escreveu: > >> Estou com uma dúvida sobre a relação entre os sistemas modais K e T, >> conforme c

Re: [Logica-l] Axioma vs Regra - Sistema de Deducao à la Gentzen vs Relacao de Consequencia à la Tarski

o elegante e > 'moderno' capítulo 3 de: > > C. Caleiro, Combining logics, PhD thesis, IST, Universidade Técnica de > Lisboa, 2000, > http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/00-C-PhDthesis.ps > > Abraços, > Joao Marcos > > -- > http://sequiturquo

[Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

esse não é um teorema de T. (Acredito que, para o sistema T ser como os autores descrevem, em que *p *É *Lp* não é válido, ele não deveria admitir a regra *N*). Alguém pode me ajudar? (peço desculpas pelo tamanho do email - sem problema se tiverem preguiça de ler =]) Obrigado, e abraço a tod

Re: [Logica-l] Axiomas e Regras de Inferência

Caros Walter e Tony, Obrigado pela observação! No entanto, não me foi mostrado porquê a observação de que nem toda regra de inferência possui um axioma correspondente (para qualquer sistema S) não leva em conta o metateorema da dedução. Gostaria de ouvir sua explicação. Abraço! -- *Luis Rosa

Re: [Logica-l] Axiomas e Regras de Inferência

or (RD1) p |- p Que lhes parece? Abraço -- *Luis Rosa* @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes <http://lattes.cnpq.br/9235142514779816> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> Blog Distropia <http://distrop