Varia

Aller au contenu | Aller au menu | Aller à la recherche

20 décembre 2007

Logique du second ordre et d'ordre supérieur

There are two approaches to the semantics of second-order logic. They differ on the interpretation of the phrase “for every set of objects.” Does this have some fixed meaning to which we can refer, or do we need to consider the variety of meanings the phrase might have? In the first case (which will be called standard semantics), we are taking for granted certain mathematical concepts. In the second case (which will be called general semantics), much less is being taken for granted. In this case, to be considered valid, a sentence will need to be true under all the allowable meanings of the phrase “for every set of objects.”

Second-order and Higher-order Logic

24 octobre 2007

Logique et management

Je suis curieux de voir ça :

Je souhaite étudier la possibilité de "récupérer" certains modèles logiques philosophiques dans les schémas de management. Il se peut que cette tentative soit infructueuse, mais je ne vois pas pourquoi des transversalités ne pourraient être cherchées dans une pensée abstraite de type philosophique. Toujours le même problème : le mépris des intellos français quant à une pseudo-science, appendice de la théorie économique, qu'est le management, et le mépris corrélatif des gestionnaires vis-à-vis des fantaisies et des outrances des créatifs purs, assez souvent considérés comme des malades mentaux, ou des parasites sociaux.

Problématique

23 octobre 2007

Esthétique et logique, de Leibniz aux contemporains

Un colloque organisé dans le cadre du programme Subjectivité et aliénation. Métaphysique de la subjectivité et philosophie sociale, le 29 octobre prochain :

Baumgarten avait conçu l’esthétique comme une science de la sensibilité appréhendée en tant que mode de connaissance. Ce fut l’acte de naissance de cette discipline. En considérant également la source leibnizienne, le colloque se propose d’étudier le devenir de cette conception depuis Kant jusqu’aux débats contemporains. On s’intéresse à la fois à l’implication de la logique dans la connaissance sensible et aux applications de cette conception dans le domaine de l’art.

Programme

23 septembre 2007

La logique de Bolzano

Bolzano's presentation of logic is embedded in the vast body of the Theory of Science (henceforth TS). His logic is based on the abstract concepts of proposition in itself (an sich) and idea in itself, which are both independent of thought and language. His logic of ideas contains a new treatment of their content and extension and, among other things, yields an analysis of ideas without objects. A purely logical definition of intuitions as simple singular ideas allowed Bolzano to distinguish them from concepts and to complete the traditional epistemological distinction between a priori and a posteriori by the logical distinction between conceptual and empirical propositions (and sciences).

Jan Sebestik, Bolzano's Logic, The Stanford Encyclopedia of Philosophy.

14 février 2007

Kurt Gödel

Kurt Gödel fait son entrée dans la SEP

- page 1 de 6