[Logica-l] Why Ebook Portal Library.nu Differed from Other Filesharing Sites (http://www.techdirt.com/articles/20120223/13170617850/why-ebook-portal-librarynu-differed-other-filesharing-sites.shtml)

2012-05-01 Thread Arthur Buchsbaum
A couple of weeks ago the popular ebook portal Library.nu was shut down, apparently voluntarily, after a coalition of book publishers obtained an injunction against it and a similar site. As an excellent post on th

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-05-01 Thread Tony Marmo
Por fim, quero dizer que me parece muito mais intuitivo outro caminho, pensando a consistência como um operador primitivo, no caso uma das interpretações possíveis do operador de necessidade. Leia-se quadrado como “consistente” e diamante como “testável”. Então, na forma desta interpretação, faz

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-05-01 Thread Joao Marcos
Olá, Tony: > Por fim, quero dizer que me parece muito mais intuitivo outro caminho, > pensando a consistência como um operador primitivo, no caso uma das > interpretações possíveis do operador de necessidade. Confesso que não saberia julgar a sua intuição --- nem tenho esta pretensão. Por outro

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-05-01 Thread Tony Marmo
Rapidamente 1. Sim, a regra de necessitação faria sentido também. Por exemplo, todas as teses de PC seriam consistentes, por essa regra. 2. Sobre as perguntas finais, consistente p e consistente não p, sob essa ótica, são contrárias: podem ser ambas falsas, mas não ambas verdadeiras. Se não-p não

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-05-01 Thread Joao Marcos
> 1. Sim, a regra de necessitação faria sentido também. Por exemplo, todas as > teses de PC seriam consistentes, por essa regra. Certo, então todas as teses de S5 "fazem sentido"... > 2. Sobre as perguntas finais, consistente p e consistente não p, sob essa > ótica, são contrárias: podem ser amba

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-05-01 Thread Tony Marmo
Ai, há uma ligeira confusão, talvez por não me fazer entender explicitamente. Na verdade, todos os esquemas modais que eu mencionei eu disse que fazem sentido. Mas, muito embora isso acarrete que S5 também faça sentido filosoficamente, não quero com isso dizer que S5 seja meu sistema "favorito". Qu