Varia - Tag - logique

Logique du second ordre et d'ordre supérieur

Mickaël Simon — Thu, 20 Dec 2007 12:28:00 +0100

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

Logique et management

Mickaël Simon — Wed, 24 Oct 2007 20:57:00 +0200

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

Esthétique et logique, de Leibniz aux contemporains

Mickaël Simon — Tue, 23 Oct 2007 23:08:00 +0200

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

La logique de Bolzano

Mickaël Simon — Sun, 23 Sep 2007 09:26:00 +0200

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.

Kurt Gödel

Mickaël Simon — Wed, 14 Feb 2007 23:38:00 +0000

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

Bolzano et les compléteurs temporels

Mickaël Simon — Tue, 12 Sep 2006 23:45:00 +0000

Personne en Phrance ne connaît Bolzano, et c'est tant mieux : qui irait donc s'intéresser à un curé, accessoirement logicien, et autrichien par dessus le marché ?

Tout ce qui est, c’est-à-dire qui subsiste dans la réalité effective, qui subsiste dans cette réalité effective soit pour toujours soit ne serait-ce que pour un certain temps, relève de l’un ou l’autre des genres suivants : soit cela est et subsiste sur quelque chose d’autre, comme propriété de cette chose, soit ce n’est pas une simple propriété sur quelque chose d’autre, mais cela subsiste, comme on a coutume de le dire, pour soi. La couleur, l’odeur, le poids d’un corps nous fournissent des exemples du premier genre ; car toutes ces choses sont quelque chose de réel-effectif, qui ne subsiste pourtant pas pour soi, mais seulement sur quelque chose d’autre, à savoir en l’occurrence le corps, et alors assurément comme propriété de celui-ci. Un exemple du second genre est donné avec la matière, dont le corps est composé ; car cette matière est quelque chose de réel-effectif, qui ne subsiste sur aucun autre réel-effectif comme propriété, mais le fait déjà pour soi. Les réalités effectives du premier genre, les philosophes ont coutume de les appeler d’un mot latin adhérences, celles du dernier genre substances.

Bolzano, Athanasia.

Je ne signalerai pas l'existence du numéro 1 du volume 30 de la revue Philosophiques, consacré à Bernard Bolzano. Philosophie de la logique et théorie de la connaissance.

On n'y lira pas son dialogue avec Kant ni la présentation de sa conception du temps.

Les théories formelles de la révision des croyances

Mickaël Simon — Thu, 31 Aug 2006 23:16:00 +0000

L'objet d'étude fondamental des théories de la révision des croyances prend son sens au sein d'une classe de situations que l'on peut comprendre sur le modèle de l'interaction. Les TRC s'intéressent, dans l'interaction, aux structures informationnelles et à leur dynamique. Les agents se servent de l'information pour former et réviser une représentation de leur environnement, laquelle oriente de nouvelles actions qui modifient le flux d'information dans lequel elles s'inscrivent.

Théories formelles de la révision des croyances

Un carnet Web autour du séminaire est également disponible.

Exercices de logique

Mickaël Simon — Thu, 20 Jul 2006 19:04:00 +0000

Une introduction à la logique (via phnk).

Théorie des ensembles : histoire, enjeux et perspectives

Mickaël Simon — Wed, 26 Apr 2006 23:19:00 +0000

L'Institut de Logique de l'Université de Neuchâtel organise un colloque le vendredi 19 et samedi 20 mai 2006. Au programme :

vendredi 19 mai 2003

Denis Miéville, Introduction
Denis Vernant, La genèse de la notion de classe chez Russell
Michael Potter, How does a Set depend on its Members?
Nadine Gessler, Quand les classes renversent les ensembles : le paradigme lesniewskien
Pierre Joray, Classes et extensions dans les définitions logicistes du nombre
Jacques Duparc, Determinacy
Patrick Dehornoy, Progrès récents sur l'hypothèse du continu d'après Woodin

samedi 20 mai 2006

Jacques Dubucs, Données ensemblistes
Peter Simons, Structural Subsumption and the Signifiance of Sets
Jean-Claude Pont, titre non communiqué.

Un résumé des interventions est disponible (fichier PDF).

Merci à Thomas de me l'avoir signalé.

Hilary Putnam, Philosophie de la logique

Mickaël Simon — Thu, 08 Dec 2005 22:56:00 +0000

Encore un exemple de lyber : la Philosophie de la logique d'Hilary Putnam, sur le site personnel du traducteur français Patrick Peccatte.