Olá para todos.
No link
http://sites.google.com/site/filosofiaetc/Home/port_royal.pdf
está um pequeno fragmento da Lógica de Port-Royal, a que Tugendhat se refere como exemplo da concepção psicológica da lógica. Abaixo,
http://sites.google.com/site/filosofiaetc/Home/maritain.pdf
também a título de exemplo, algumas páginas da Lógica Menor de Jacques Maritain. Apesar de ser um livro escrito no século XX, é um bom exemplo da lógica como 'teoria do pensamento correto' que se divide em lógica do conceito, do juízo e da inferência (raciocínio).[1] Se um determinado item é a referência de sentenças, deve satisfazer (PCR).
[2] O pensamento não satisfaz (PCR).
[3] Logo, o pensamento não é a referência.
[4] As partes de uma sentença têm referência
se, e somente se,
a sentença completa tem referência
se, e somente se,
o pensamento expressado tem valor de verdade.
[5] Em uma investigação científica estamos interessados no valor de verdade das sentenças.
[6] Logo, em uma investigação científica exigimos que as partes das sentenças tenham referência.
[7] Logo, em uma investigação científica, sentenças têm referência.
[7'] Valores de verdade são candidatos legítimos para o papel de referência de sentenças.
[8] Valores de verdade satisfazem (PCR).
[9] Logo, a referência de uma sentença é seu valor de verdade.
(Em SSR, Frege conclui [9] e então testa sua conclusão com PCR)
