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.”
Tag - logique
20 décembre 2007
Logique du second ordre et d'ordre supérieur
Par Mickaël Simon le 20 décembre 2007, 12:28 - Logique
24 octobre 2007
Logique et management
Par Mickaël Simon le 24 octobre 2007, 20:57 - Philosophie
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.
23 octobre 2007
Esthétique et logique, de Leibniz aux contemporains
Par Mickaël Simon le 23 octobre 2007, 23:08 - Esthétique
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.
23 septembre 2007
La logique de Bolzano
Par Mickaël Simon le 23 septembre 2007, 09:26 - Logique
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
Par Mickaël Simon le 14 février 2007, 23:38 - Logique
Kurt Gödel fait son entrée dans la SEP
« billets précédents - page 1 de 6
Derniers commentaires