Je me propose d'examiner les paragraphes 18 et 19 de la deuxième partie des Prolégomènes. Bien que ces deux paragraphes ne constituent pas l'intégralité de la déduction transcendantale des Prolégomènes, ils ont une fonction essentielle dans la mesure où ils exposent l’argument entier in nuce. Ces deux sections établissent de façon claire que la doctrine de l'idéalisme critique, présentée dans la première partie des Prolégomènes comme un idéalisme qui ne supprime pas « l'existence de la chose qui apparaît (...) », joue un rôle indispensable dans la déduction transcendantale, qui est présentée dans la deuxième partie à partir de la distinction entre jugement de perception et jugement d'expérience. (shrink)

review of Alain Séguy-Duclot: Kant, le premier circle. A book on the A- and B-edition of the Transcendental Deduction pre-print via link below.

Martial Gueroult donna un cours au Collège de France sur la Critique de la raison pure de Kant lors de l’année 1957-1958, qui est à ce jour inédit. Le texte qui est présenté ici est l’édition d’une des leçons portant sur la différence entre les deux versions de la déduction transcendantale des catégories. Gueroult y aborde une question classique du commentaire, celle de savoir si la deuxième édition de la Critique a renié la doctrine de la première version. (...) Contre l’interprétation de Herman Jan de Vleeschauwer, Gueroult défend que l’effort de clarification de la déduction, non moins que le souci d’écarter une lecture psychologisante des facultés, ont conduit Kant à emprunter un unique chemin de la déduction des catégories : de haut en bas. (shrink)

Le point de départ de l’article est offert par une reprise du point de vue de l’esthétique du célèbre essai de Hilary Putnam, Fait/Valeur : la fin d’un dogme. La première étape consiste dans une analyse des propriétés esthétiques et des jugements connexes avec elles comme un cas paradigmatique du dépassement de la vieille dichotomie. La thèse ici défendue est que les jugements esthétiques sont cognitifs d’une manière non conceptuelle, et normatifs sans présupposer des normes définies. En unissant dans un (...) seul terme des niveaux de descriptivité négative avec des niveaux d’évaluation (positive), les jugements esthétiques mettent irréversiblement en crise la solidarité de physicalisme et d’émotivisme. Par conséquent, l’article poursuit l’objectif d’une déduction au sens kantien des jugements esthétiques, en unifiant, au moins du point de vue méthodologique, les deux niveaux de l’enquête que Kant maintient stratégiquement distincts, à savoir le plan d’une exposition empirique (physiologique) des jugements esthétiques et celui d’une exposition transcendantale. Le noyau théorique de la déduction est l’idée d’un « mécanisme esthétique » sous-jacent comme la base naturelle pour l’épigenèse de l’esthétique. (shrink)

Le problème du schématisme transcendantal est le moment de la Critique de la raison pure où la question de la signification des catégories pousse Kant à remettre en question l’indépendance de l’imagination productive et de l’intuition à l’égard de l’entendement, position que la première rédaction de la Déduction transcendantale partageait encore avec « L’esthétique transcendantale » et la Dissertation de 1770. Ce revirement devient plus explicite et résolu dans la seconde rédaction de la Déduction transcendantale, (...) sans que l’imagination productive, la faculté des intuitions pures, se trouve pour autant réduite à une fonction de l’entendement : si « la synthèse transcendantale de l’imagination » est « un effet de l’entendement sur la sensibilité » selon cette rédaction ( KRV, B 152), c’est parce qu’elle résulte de la détermination a priori, par ce dernier, de certaines activités représentatives pré-conceptuelles dont Kant reconnaît la présence dans la sensibilité animale. (shrink)

L’article propose une mise en parallèle du Système de l’Idéalisme transcendantal de Schelling et de la Recherche de Proust, fondée sur le fait que dans les deux œuvres nous trouvons un double Moi : le Moi transcendantal et le Moi empirique dans le Système, le Je-Narrant et le Je-Narré dans la Recherche. De cette analogie structurelle découlent des dynamiques de type « organique » ou « évolutif » comparables, qui voient le Moi se différencier et même se pluraliser, donnant ainsi (...) lieu dans le Système à une véritable déduction transcendantale de l’intersubjectivité, dans la Recherche à toute la série de personnages qui l’habitent et qui se retrouvent enfin dans l’Essence. (shrink)

Le présent essai tente de tirer au clair les différentes significations des termes « conscient » et « conscience » dans la philosophie critique de Kant et en particulier dans la Critique de la raison pure. On considère d’abord les divers types de représentations et ce que veut dire Kant lorsqu’il les dit « avec » ou « sans » conscience. On considère ensuite le concept de conscience tel qu’il apparaît dans la Déduction transcendantale des catégories, où il (...) ne réfère pas à une qualité de représentations particulières, mais à une attitude active de l’esprit. Considérée dans son ensemble, la conception kantienne de la « conscience » mêle inséparablement un aspect que nous appelons, après T. Nagel, « conscience phénoménale », et un aspect proche de la « conscience d’accès » selon N. Block, dans lequel cependant la conscience de soi, exprimable par la proposition « Je pense », joue un rôle central. Cette combinaison fait de Kant un interlocuteur unique dans les débats contemporains sur la conscience et son rôle dans notre vie mentale, ainsi que sur l’IA et sa signification pour l’avenir de l’humanité. (shrink)

Jakob Friedrich Fries estime que Kant a fait de funestes concessions au dogmatisme philosophique, dont il avait pourtant mieux que quiconque mis au jour les contradictions. Ainsi n’a-t-il pas distingué de façon suffisamment rigoureuse la connaissance transcendantale (qui est une connaissance de connaissances) de son objet (à savoir la connaissance a priori à laquelle elle se rapporte). Il en a conclu que la connaissance transcendantale était elle aussi a priori et a cherché à fonder les jugements synthétiques a (...) priori sur des connaissances elles-mêmes a priori. Kant a ainsi été victime d’un « préjugé de la preuve » auquel il a donné la forme spécifique d’un « préjugé du transcendantal » : dans la mesure où la « déduction transcendantale » cherche à donner une « preuve transcendantale » de la validité de nos connaissances, la théorie kantienne de la connaissance est donc menacée par un cercle logique. Aussi la déduction transcendantale bien comprise ne peut-elle être, selon Fries, qu’une déduction subjective, psychologique ou anthropologique, ce qui ne signifie pas pour autant que Fries entende réduire la philosophie à la psychologie, contrairement à ce que lui reprocheront les contempteurs de son psychologisme. (shrink)

Jakob Friedrich Fries estime que Kant a fait de funestes concessions au dogmatisme philosophique, dont il avait pourtant mieux que quiconque mis au jour les contradictions. Ainsi n’a-t-il pas distingué de façon suffisamment rigoureuse la connaissance transcendantale de son objet. Il en a conclu que la connaissance transcendantale était elle aussi a priori et a cherché à fonder les jugements synthétiques a priori sur des connaissances elles-mêmes a priori. Kant a ainsi été victime d’un « préjugé de la (...) preuve » auquel il a donné la forme spécifique d’un « préjugé du transcendantal » : dans la mesure où la « déduction transcendantale » cherche à donner une « preuve transcendantale » de la validité de nos connaissances, la théorie kantienne de la connaissance est donc menacée par un cercle logique. Aussi la déduction transcendantale bien comprise ne peut-elle être, selon Fries, qu’une déduction subjective, psychologique ou anthropologique, ce qui ne signifie pas pour autant que Fries entende réduire la philosophie à la psychologie, contrairement à ce que lui reprocheront les contempteurs de son psychologisme. (shrink)

En même temps qu'il est réputé pour son scepticisme linguistique, Kant reconnaît aux pronoms personnels une signification universelle. C'est ce statut d'exception qui éclaire le caractère décisif de l'usage de ces pronoms dans la critique kantienne du cogito. On peut faire apparaître un paradoxe immanent à cet usage au coeur de l'opération de désubstantialisation de la pensée, engagée par Kant dans la Déduction transcendantale et dans les Paralogismes: d'une part, la substitution des pronoms il et ça au pronom (...) je dans le fameux «je pense» permet la réduction de la pensée à sa stricte fonction logique mais, d'autre part, le jeu de substitution des pronoms n'entame pas la fonction d'instanciation d'un sujet "fût-il strictement grammatical" de la pensée dans la formulation du cogito. Cette tension paradoxale entre un sujet désubstantialisé et une «subjectivité», certes neutralisée mais restée néanmoins instanciée dans l'acte de penser, s'accuse dans la deuxième édition de la Critique de la raison pure, qui invente à partir du cogito une nouvelle catégorie d'existence. Kant semble ainsi poser une pierre d'attente pour une nouvelle conception de la subjectivité de la pensée, que nous nommons «le fait-sujet de la pensée responsable» et qui implique une pensée inédite de la constitution du je dans et par la puissance d¿interpellation de la raison. Cette analyse permet une relectura du premier paragraphe de l'Anthropologie du point de vue pragmatique, elle conduit à reconsidérer de manière critique l'interprétation que donne Jacques Derrida du sujet kantien de la pensée dans L'animal que donc je suis et elle inaugure peut-être une nouvelle conception du sujet responsable. Though known for his linguistic scepticism, Kant grants a universal meaning to personal pronouns. It is this exception which accounts for the decisive role that the use of personal pronouns plays in the kantian criticism of the cogito. It can be shown that a paradox inherent to this use emerges at the core of the thought-desubstancializing operation developed by Kant in the Trascendental deduction and the Paralogisms: on one hand, the substitution of the pronoun "I" for the pronouns "he" and "it" in the famous "I think" allows the reduction of thought to its strict logical function, but, on the other hand, the play of pronoun substitution does not prevent the subject of thought "even tough strictly grammatical" from being instanciated in the formula of the cogito. This paradoxical strain between a desubstancialized subject and a "subjectivity" neutralized but nonetheless still instantiated in the act of thinking is to be noted in the second edition of the Critique of pure reason, which derives from the cogito a new category of existence. It seems, therefore, that Kant lays the first ground for a new conception of the subjectivity of thought, which we call "the fact-subject of responsible thought" and which implies a novel notion of the constitution of the "I" in and through the addressing force of reason. This analysis allows for a new understanding of the first paragraph of the Anthropology from a pragmatic point of view, leads us to critically re-consider Jacques Derrida's interpretation of the kantian subject of thought in L'animal que donc je suis , and initiates perhaps a new conception of responsible subject. (shrink)

L’idée d’un jugement [Urteil], et du pouvoir de juger [Vermögen zu urteilen], joue un rôle cardinal dans l’argumentation de la Critique de la raison pure. L’argument central de la première Critique vise à montrer comment les concepts purs de l’entendement peuvent s’appliquer aux objets qui nous sont donnés dans l’expérience. Cet argument dépend de l’idée que l’expérience n’est pas l’affaire de la sensibilité à elle seule, mais qu’elle implique, dès le début, le concours de l’entendement. Or, l’entendement n’est rien d’autre (...) que la capacité de faire des jugements. Comme dit Kant, «nous pouvons ramener tous les actes de l’entendement à des jugements, de telle sorte que l’entendement peut être représenté en général comme un pouvoir de juger» (CRP, A69/B94).1 Cette identification est au coeur de la déduction métaphysique des catégories, où Kant affirme découvrir, suivant le fil conducteur offert par les formes logiques du jugement, les concept purs de l’entendement. Et elle réapparaît dans la déduction transcendantale, où il s’agit non pas d’établir la table des categories, mais de prouver que les catégories s’appliquent à l’expérience. Car si l’expérience exige le concours de l’entendement, et l’entendement est un pouvoir de juger, il s’ensuit que le divers de représentations données doit être... (shrink)

Dans un passage de L’évolution créatrice, Bergson ne réfute pas purement et simplement Kant, mais le présente comme le précurseur d’une philosophie nouvelle, voire comme un précurseur probable mais manqué de sa propre philosophie. Si la philosophie transcendantale, pourtant prometteuse, s’avère finalement décevante, c’est parce qu’elle ne propose qu’une déduction des catégories et non une genèse de l’intelligence. Mais comment Bergson ose-t-il comparer deux démarches que tout semble opposer? Y a-t-il, chez Kant lui-même, quelque chose qui justifie ce (...) rapprochement apparemment incongru entre une déduction transcendantale et une genèse de l’intelligence?In a passage of Creative Evolution, Bergson does not refute Kant, but presents him as a precursor of a new philosophy, and even as a liable but failed precursor of his own philosophy. If the transcendental philosophy, really promising, seems finally disappointing, it is because it only gives us a deduction of the categories and not a genesis of intelligence. How can Bergson say that? How can he compare two perspectives which seem diverging completely? Is there anything in Kant’s texts which evidences this connexion between a transcendental deduction and a genesis of intelligence? (shrink)

La Critique de la raison pure a la réputation d'être un ouvrage assez positiviste, dont la thèse fondamentale, et fatale à la métaphysique, consisterait à limiter la science ou la connaissance au champ de l'expérience possible. Il est pourtant manifeste que l'interrogation kantienne ne roule pas du tout sur les sciences expérimentales, mais sur la praticabilité d'un science strictement rationnelle, d'une épistémè au sens platonicien et leibnizien du terme. Depuis l'empirisme, la réalité d'un tel savoir ne va plus de soi. (...) Le problème que la méditation critique de Kant sera la première à affronter de manière systématique sera justement celui de la viabilité d'un connaissance a priori, qui est essentiellement celui de la possibilité d'un savoir fondamental ou philosophique. Voilà le sens de la célèbre question : comment des jugements synthétiques a priori sont-ils possibles? Ce qui reste beaucoup moins connu, c'est la réponse de Kant à ce problème dont il a par ailleurs si bien marqué l'urgence. Kant répond-il quelque part de manière claire et distincte à la question du bien-fondé des propositions synthétiques a priori en métaphysique? Cet ouvrage entend montrer que oui en s'inspirant tout particulièrement de la Déduction transcendantale et du Canon de la raison pure, où l'on découvrira l'authentique conclusion à la Critique de 1781. On parviendra ainsi à éclairer dans toute sa rigueur non seulement le problème, mais aussi la solution kantienne au dilemme de la légitimité de l'a priori, question qui engage toute la postérité de Kant et notre modernité philosophique. (shrink)

Dans ses Essais philosophiques, Johann Nikolaus Tetens (1736-1807) distingue trois fonctions principales du pouvoir de représenter (percevoir, reproduire, inventer) auxquelles se rapportent respectivement la faculté d’appréhension, l’imagination (ou fantaisie reproductrice) et le pouvoir d’invention. Il apparaît pour chacune de ces facultés que le pouvoir de représenter est essentiellement synthétique : la perception réalise la synthèse du continu en unifiant le divers des impressions, l’imagination crée de nouvelles liaisons entre représentations préexistantes et le pouvoir d’invention façonne de nouvelles images en transformant (...) les représentations conservées en mémoire et en les réunissant en une même représentation simple. On peut donc affirmer qu’il existe une triple synthèse du pouvoir de représenter au moyen de laquelle sont produites toutes nos représentations. La question pour Tetens est de savoir si ces trois facultés peuvent être ramenées à une seule force fondamentale. On se demandera dans quelle mesure la triple synthèse tétenésienne peut être rapprochée de celle exposée par Kant dans la déduction transcendantale de 1781. On soulignera en outre la parenté entre la notion d’image générale (ou abstraction sensible) chez Tetens et la notion de schème (empirique) chez Kant. (shrink)

L'épistémologie de Kant, dont le but principal est d'expliquer la possibilité des jugements synthétiques a priori, est une épistémologie du point de vue du sujet ou «à la première personne»: le «sujet connaissant», dit Kant, «…compare, lie ou sépare [les] représentations et travaille … la matière brute des impressions sensibles pour en tirer une connaissance des objets…». C'est l'esprit, ou le moi pensant, comme il le soutient aussi, qui construit à partir des impressions reçues des sens une représentation objective de (...) l'univers en soumettant les phénomènes à ses formes a priori et à ses catégories. Mais de quelle nature peut être ce «moi» qui connaît? Est-il possible d'en dire quelque chose? Pour lui, «nous n'avons ni ne pouvons [en] avoir la moindre connaissance…». Le «je» du «Je pense», comme on le lit dans la déduction transcendantale des catégories, doit pouvoir «accompagner toutes mes représentations…», mais il ne peut être pour lui-même un objet de connaissance ou de représentation parce que «je ne saurais connaître comme objet cela même [le sujet] qu'il me faut supposer pour connaître en général un objet…». (shrink)

Nous nous intéressons dans cet article à la façon dont Ernst Cassirer renforce et réinvestit la méthode critique de Kant en replaçant l’imagination productrice non seulement au cœur de la théorie de la connaissance – désormais étendue au cosmos de la culture –, mais aussi au cœur d’une métaphysique renouvelée. La valorisation de la spontanéité – inséparable de ses objectivations, les formes symboliques –, traduit et sert les enjeux corrélatifs de l’idéalisme critique de Cassirer : d’une part, son combat mené (...) à travers les déductions transcendantales contre les métaphysiques dogmatiques marchandes d’illusions dualistes au sein du savoir, d’autre part, la recherche d’un sens d’ordre métaphysique-anthropologique inspirant l’alliance de la forme et de la liberté pour la totalité systématique de la culture.In the present article, we contemplated the way Ernst Cassirer reinforces and rethinks the Kant’s critical method by replacing the productive imagination not only in the heart of the epistemology – henceforth extended to culture’s cosmos – but also in the heart of a renewed metaphysics. The highlighting of the spontaneity – inseparable of the symbolic form – rejoins the interrelated issues of the critical idealism of Ernst Cassirer: on the one hand, his opposition against dogmatic metaphysics generating dualism in knowledge, and on the other hand, the study of an anthropological-metaphysical sense inspiring the connection between form and freedom for the culture’s systematic totality. (shrink)

Par l'expression ile de la verite, Kant designe l'objet de la premiere partie de la logique transcendantale - la logique de la verite ou encore l'Analytique transcendantale. C'est celle-ci que l'on s'est propose de suivre ici. Les resultats ont, apres une etude de la Deduction transcendantale, permis de mieux saisir le principe de la grandeur intensive et surtout de renouveler l'approche de la chose en soi reliee a la methode qui n'est autre que le sujet transcendantal. Et (...) la serie des equivalences nous a conduit a mettre en lumiere les concepts limites de mort et de neant, si negliges par les interpretes. Cette lecture est une aventure qui mene beaucoup plus loin que les acquis de l'oeuvre de Kant. Elle suscitera, esperons-le, au moins des controverses. (shrink)

Dans un passage de L'évolution créatrice, Bergson ne réfute pas purement et simplement Kant, mais le présente comme le précurseur d'une philosophie nouvelle, voire comme un précurseur probable maie manqué de sa propre philosophie. Si la philosophie transcendantale, pourtant prometteuse, s'avère finalement décevante, c'est parce qu'elle ne propose qu'une déduction des catégories et non une genèse de l'intelligence. Mais comment Bergson ose-t-il comparer deux démarches que tout semble opposer ? Y a-t-il, chez Kant lui-même, quelque chose qui justifie (...) ce rapprochement apparemment incongru entre une déduction transcendantale et une genèse de l'intelligence ? In a passage of Creative Evolution, Bergson does not refute Kant, but presents him as a precursor of a new philosophy, and even as a liable but failed precursor of his own philosophy. If the transcendental philosophy, really promising, seems finally disappointing, it is because it only gives us a deduction of the categories and not a genesis of ntelligence. How can Bergson say that ? How can he compare two perspectives which seem diverging completely ? Is there anything in Kant's texts which evidences this connexion between a transcendental deduction and a genesis of intelligence ? (shrink)

Pour projeter de la lumière dans de nombreux coins et recoins obscurs de la logique pure de Husserl et dans les rapports entre sa logique formelle et sa logique transcendantale, et combler des lacunes empêchant qu’on arrive à une appréciation juste de sa Mannigfaltigkeitslehre, ou théorie de multiplicités, on examine comment, en prônant une théorie des systèmes déductifs, ou systèmes d’axiomes, comme tâche suprême de la logique pure, Husserl cherchait à résoudre certains problèmes épineux auxquels il s’était heurté en (...) écrivant Philosophie de l’arithmétique. Ces problèmes sont décrits. Ensuite, on rassemble les éléments nécessaires pour caractériser ce que Husserl, à travers les textes présentement disponibles, voulait dire des Mannigfaltigkeiten. Pour conclure, il est indiqué comment Husserl pouvait considérer que sa théorie représentait une solution aux problèmes qui avaient conduit à son élaboration.To shed light on the numerous dark areas surrounding Husserl’s ideas about pure logic and the relationship between his formal logic and his transcendental logic, and so provide an accurate characterisation of his Mannigfaltigkeitslehre, a close look is taken at how, by advocating a theory of deductive systems, or axiomatic systems as the highest task of pure logic, Husserl sought to resolve certain thorny problems he encountered when writing the Philosophy of Arithmetic. Those problems are described. Then, his ideas about axiomatization and manifolds are drawn together from the various sources now available to provide a more complete picture of his Mannigfaltigkeitslehre. In conclusion, it is shown how Husserl considered his theory to be a solution to the problems leading to its development. (shrink)

Le projet essentiel de l'idéalisme allemand est de présenter un savoir a priori de l'être particulier, concret, Avec la découverte kantienne de l'autodétermination transcendantale du temps dans le schématisme, la voie est ouverte devant l'élaboration d'une métaphysique des images. Le jeune Schelling développe les intuitions de Kant en « construisant » les moments essentiels de la nature et, par la suite, en déduisant l'œuvre d'art comme l'objet connaissable par excellence. Toutefois dans sa philosophie de l'identité Schelling scindera la production (...) du temps par le sujet de sa faculté pratique, et interdira par ce fait à sa réflexion d'accéder à une philosophie de l'histoire qui seule saurait prétendre à une connaissance métaphysique de la réalité individuelle. The central project of German Idealism is the a priori knowledge of the particular. The Kantian discovery of the transcendental self-determination of time in the schemata paves the way before the advent of a metaphysics of images. The young Schelling develops further the insights of Kant: first by the « construction » of the principal moments of nature and later on by the deduction of the work of art as the absolutely knowable object. However in his system of identity Schelling separates the subject's production of time from his practical faculty and by this fact he prevents his thought from becoming a philosophy of history, i.e. a genuine metaphysics of the individual. (shrink)

Deductive Cogency holds that the set of propositions towards which one has, or is prepared to have, a given type of propositional attitude should be consistent and closed under logical consequence. While there are many propositional attitudes that are not subject to this requirement, e.g. hoping and imagining, it is at least prima facie plausible that Deductive Cogency applies to the doxastic attitude involved in propositional knowledge, viz. belief. However, this thought is undermined by the well-known preface paradox, leading a (...) number of philosophers to conclude that Deductive Cogency has at best a very limited role to play in our epistemic lives. I argue here that Deductive Cogency is still an important epistemic requirement, albeit not as a requirement on belief. Instead, building on a distinction between belief and acceptance introduced by Jonathan Cohen and recent developments in the epistemology of understanding, I propose that Deductive Cogency applies to the attitude of treating propositions as given in the context of attempting to understand a given phenomenon. I then argue that this simultaneously accounts for the plausibility of the considerations in favor of Deductive Cogency and avoids the problematic consequences of the preface paradox. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

La première rencontre de la pensée husserlienne avec la question de l’historicité, de façon exemplaire dans La philosophie comme science rigoureuse, ne semblait pas promettre de longs développements : c’était la possibilité même d’une rencontre réelle qui était mise en question, et ce à cause des éléments constitutifs mêmes de la phénoménologie, à savoir sa démarche eidétique et transcendantale. En tant que domaine de la factualité contingente et variable, milieu de ce qui est déjà donné au s...

La pensée transcendantale-logique est le facteur qui détermine toute réalité. Puisqu’elle est un objet déterminé par cette pensée déterminante, la pensée anthropologique-psychologique-cérébrale ne peut point être identique à celle-ci. Il s’ensuit que la nature physique peut, sans contradiction, précéder la pensée déterminée en tant que fonction anthropologique. Toute tentative d’incorporer la pensée déterminante dans l’histoire de l’évolution ou de l’ordonner au cerveau, à l’homme, au psychisme, amène la transformation de cette pensée déterminante en une pensée déterminée, une pensée anthropologique. (...) Ainsi ces déterminations historiques et naturelles n’atteindraient plus la pensée déterminante : étant la présupposition de toute détermination, la pensée déterminante ne peut être qu’exempte de toute détermination. (shrink)

In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with one (...) (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values. (shrink)

This book presents the history of metaphysics through transcendental phenomenology and interpretations of Kant, Fichte, Cohen, Windelband, Rickert, Husserl, Scheler, and Heidegger. Slama introduces the "praxiologico-transcendental" figure where transcendental knowledge opens up a "praxiological" life of subjectivity for whom reality becomes a continual practical problem. In so doing, this book also establishes the principles of a "praxiological" thinking of perception, starting from the conceptuality of the “tool”, which is grounded in the praxiologico-transcendantal. Thus, the author presents and argues for this (...) unitary figure of transcendental philosophy as a crucial figure of metaphysics. This book appeals to students and researchers working in phenomenology and metaphysics. Ce livre propose une histoire de la métaphysique à partir de la figure de Kant, et avec la phénoménologie transcendantale comme centre. À partir d'une lecture précise d'auteurs centraux de la tradition transcendantale, il fait l'hypothèse d'une figure "praxiologico-transcendantale" où la connaissance transcendantale ouvre une vie "praxiologique" de la subjectivité, qui se trouve ainsi frottée au réel qui devient un incessant problème pratique pour lui. Ce faisant, ce livre établit les principes d'une pensée de la perception "praxiologique", à partir de la conceptualité de l' « outil ». Il s'agit in fine de donner une figure unitaire de la philosophie transcendantale dans son ensemble, comme moment crucial dans l'histoire de la métaphysique. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...) semantic approach. In structuralist theory of science, as founded by Sneed and Stegmüller, the focus is on global propositions concerning the question of whether or not certain empirical systems satisfy a set-theoretic predicate that encodes the axioms of a scientific theory. Hence, an analysis of deductive reasoning from atomic premisses with the help of a given theory is missing. The objective of the present paper is to develop a deductive system on the basis of the structuralist framework. This system comes with a novel formulation of empirical propositions in structuralism. (shrink)

In this study on deduction, the authors argue that people reason by imagining the relevant state of affairs, ie building an internal model of it, formulating a tentative conclusion based on this model and then searching for alternative models.

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.

It has been the dominant view that probabilistic explanations of particular facts must be inductive in character. I argue here that this view is mistaken, and that the aim of probabilistic explanation is not to demonstrate that the explanandum fact was nomically expectable, but to give an account of the chance mechanism(s) responsible for it. To this end, a deductive-nomological model of probabilistic explanation is developed and defended. Such a model has application only when the probabilities occurring in covering laws (...) can be interpreted as measures of objective chance, expressing the strength of physical propensities. Unlike inductive models of probabilistic explanation, this deductive model stands in no need of troublesome requirements of maximal specificity or epistemic relativization. (shrink)

The relation between logic and thought has long been controversial, but has recently influenced theorizing about the nature of mental processes in cognitive science. One prominent tradition argues that to explain the systematicity of thought we must posit syntactically structured representations inside the cognitive system which can be operated upon by structure sensitive rules similar to those employed in systems of natural deduction. I have argued elsewhere that the systematicity of human thought might better be explained as resulting from the (...) fact that we have learned natural languages which are themselves syntactically structured. According to this view, symbols of natural language are external to the cognitive processing system and what the cognitive system must learn to do is produce and comprehend such symbols. In this paper I pursue that idea by arguing that ability in natural deduction itself may rely on pattern recognition abilities that enable us to operate on external symbols rather than encodings of rules that might be applied to internal representations. To support this suggestion, I present a series of experiments with connectionist networks that have been trained to construct simple natural deductions in sentential logic. These networks not only succeed in reconstructing the derivations on which they have been trained, but in constructing new derivations that are only similar to the ones on which they have been trained. (shrink)

Dans cet article, nous partons de la manière dont Strawson et Stroud ont interprété les rapports entre philosophie transcendantale et scepticisme. Contre leur lecture de Kant, nous soutenons que ce dernier ne vise pas de façon centrale à produire des preuves pour réfuter un scepticisme généralisé vis-à-vis de la connaissance et du monde extérieur. Nous défendons l’idée selon laquelle la structure des raisonnements transcendantaux kantiens court-circuite un tel scepticisme d’entrée de jeu plus qu’il n’en démontre la fausseté. En effet, (...) pour Kant, l’effectivité de l’expérience objective et des connaissances scientifiques est une prémisse de la réflexion transcendantale, non une conclusion de celle-ci, et tout doute au sujet d’une telle prémisse serait à ses yeux oiseux plutôt que simplement erroné. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof?The answer is an emphatic yes, as I explain in this chapter. I argue that non-deductive justification is in fact pervasive in mathematics, and that it is in (...) good epistemic standing. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

: If we reduce time to an a priori form of human intuition as Kant did, and if we think that time is nothing in itself and outside of the human subject, then how can we make sense of the age and history of earth or of the universe – a history going back far beyond the emergence of humanity? The issue to be decided is whether this objection can be raised against Kant without being guilty of anachronism, and to (...) consider the possible answers that could be formulated. After considering the ideality of time, the aporias of the subjectivity of time and the idea of an indefiniteness of time as elaborated in the First Antinomy, this paper argues for the need to reassess the thesis of the absolute reality of time. (shrink)

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).