> muito interessante--estou aqui passando uma cópia ao Osmyr (CLE, > ex-professor do DF IFCH) que tem grande interesse no assunto. > > Você teria alguma referência ?
O artigo original no RSL? http://journals.cambridge.org/action/displayFulltext?type=1&fid=8308791&jid=RSL&volumeId=4&issueId=02&aid=8308789 Abraços, Joao Marcos > Em 6 de outubro de 2011 14:47, Joao Marcos <botoc...@gmail.com> escreveu: >> Pareceu-me que valeria a pena chamar a atenção para a seguinte linha >> de investigação: >> >> >> A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC >> T. ACHOURIOTI and M. VAN LAMBALGEN >> ILLC/Department of Philosophy, University of Amsterdam >> >> Abstract >> Although Kant (1998) envisaged a prominent role for logic in the >> argumentative structure of his Critique of Pure Reason, logicians and >> philosophers have generally judged Kant’s logic negatively. What Kant >> called ‘general’ or ‘formal’ logic has been dismissed as a fairly >> arbitrary subsystem of first-order logic, and what he called >> ‘transcendental logic’ is considered to be not a logic at all: no >> syntax, no semantics, no definition of validity. Against this, we >> argue that Kant’s ‘transcendental logic’ is a logic in the strict >> formal sense, albeit with a semantics and a definition of validity >> that are vastly more complex than that of first-order logic. The main >> technical application of the formalism developed here is a formal >> proof that Kant’s Table of Judgements in Section 9 of the Critique of >> Pure Reason, is indeed, as Kant claimed, complete for the kind of >> semantics he had in mind. This result implies that Kant’s ‘general’ >> logic is after all a distinguished subsystem of first-order logic, >> namely what is known as geometric logic. >> >> >> Como podem ver abaixo, já há mais gente interessada nisto. >> JM >> >> >> ---------- Forwarded message ---------- >> From: Grigori Mints <gmi...@stanford.edu> >> >> >> Logic Seminar Tuesday October 11 >> >> Time: 4:15-5:30 >> Room: 380-380X >> >> A formalization of Kant's transcendental logic >> G. Mints (Stanford) >> >> Kant's theory of judgements is a subject of extensive and active studies. >> Kant's formal logic, on the contrary, is studied insufficiently and >> usually dismissed as 'terrifyingly narrow-minded and mathematically >> trivial'. Recent work by Theodora Achourioti and Michiel van Lambalgen >> A formalization of Kant's transcendental logic, The Review of Symbolic >> Logic, v.4 no 2, 2011, 254-289 >> ([AvL] below) seems to refute this verdict. They propose a translation of >> the philosophical language of Kant's theory of judgements into the >> language of elementary logic and provide a convincing justification of >> their view. In formal terms Kant's logic is identified with geometric >> logic, a subsystem of ordinary first order logic that has been isolated >> long ago in mainstream mathematics. The model has to elucidate a vast >> array of statements by Kant like the following: >> "Thus, if, e.g., I make the empirical intuition of a house into >> perception through the apprehension of its manifold, my ground is the >> necessary unity of space and of outer sensible intuition in general, and I >> as it were draw its shape in agreement with this synthetic unity of the >> manifold in space." >> >> [AvL] analyzes Kant's logic in terms of inverse limits of models, a >> construction widely used in mathematics that reminds one of Kripke models (of >> ``possible worlds'') or forcing, but inverts the direction in certain >> sense. >> >> We present basic definitions from [AvL] and translations of Kantian terms >> (as many as time permits) into logical language. The talk next week by Ulrik >> Buchholtz contains proofs of technical results. >> _______________________________________________ >> 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 > -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
