Re: [Logica-l] Port Royal

2013-01-29 Thread leonor
Caro Décio, Suponho que não seja isto o que você quer, mas envio mesmo assim: http://gallica.bnf.fr/ark:/12148/bpt6k83926h.capture Abraços, Leonor (Linguística, UFPB) > Pessoal > Alguém tem uma cópia da lógica de Port Royal para me enviar? Em qualquer > língua que eu possa ler (francês, inglês,

[Logica-l] Port Royal - Obrigado

2013-01-29 Thread Decio Krause
Pessoal Para ver como a lista funcionarecebi vários links com edições variadas da lógica de Port-Royal. Muito obrigado a todos. Não é para fazer exegese, apenas para dar umas olhadas... Grato. Abraço D Décio Krause Departamento de Filosofia Universidade Feder

[Logica-l] CADE-24 Workshop CFPs

2013-01-29 Thread Cláudia Nalon
Call for Papers Workshops at CADE-24 -- Lake Placid, New York, 9-10 June, 2013 Short CFPs for the following CADE-24 workshops are attached: ADDCT - Automated Deduction: Decidability, Complexity, Tractability ARiSVe - Automated Reasoning in Software Verification ESARAI - Empirically Succes

Re: [Logica-l] Port Royal

2013-01-29 Thread Alfio Martini
Prezados Colegas, Prezado Prof. Décio, Uma tradução para o Inglês, feita por Thomas Spencer Baynes (1850), pode ser obtida aqui (~18 MB). http://ia700401.us.archive.org/2/items/artofthinking00arnauoft/artofthinking00arnauoft.pdf Um abraço 2013/1/29 > Caro Décio, > > Suponho que não seja isto