Displaying: 1-20 of 37 documents

0.326 sec

1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 2
Philippe Besnard Systèmes d’inférence non monotone
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 12 > Issue: 2
Jean-Pascal Alcantara La théorie leibnizienne du changement en 1676: une interpretation du dialogue Pacidius Philalethi a la lumière de la Caractéristique géométrique (Leibniz's Theory of Variation in 1676: an Interpretation of the Dialogue Pacidius Philalethi through the Characteristica geometrica)
abstract | view |  rights & permissions
Cherchant à refonder l’édifice euclidien, Leibniz a formulé une Caractéristique géométrique qui annonce les concepts géneraux de la théorie des ensembles. Dans ce cadre, il a pu en particulier formaliser sa conception du continu. L’intérêt du Pacidius Philalethi (1676) est de montrer qu’en choisissant la conception intensionnelle du continu -position qu’il ne dementira jamais- il sélectionne parmi les images duales celle dont se déduit le changement qualitatif, base d’une philosophie naturelle qui soutiendra encore la dynamique ultérieure. Une tâche se dessine maintenant, soit déduire la nécessité d’un mouvement universei et infiniment varié à partir de ses conditions topologiques.We know that Leibniz intended to bring new foundations to the euclidean geometry and he has according to this view formulate a Characteristica geometrica which announces few general concepts of set theory. Parlicularly he tried to formalise his conception of continuity. Before the main interest of the Pacidius Philalethi (1676) is here: showing us that Leibniz when he chooses an intensional conception of continuity he chooses in the same time the dual image from which be can deduce the qualitative variation. We reckon again these conception at the grounds of his later philosophy of nature. But now we have to follow Leibniz demostrating how universal and infinite variations flow from its topological conditions.
3. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 13 > Issue: 2
Newton C.A. Da Costa, Jean-Yves Béziau Définition, Théorie des Objets et Paraconsistance (Definition, Objects’ Theory and Paraconsistance)
abstract | view |  rights & permissions
Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that the elimination of definitions is not necessarily straightforward in particular in the case of paraconsistent logic. Finally we have a look at Meinong’s theory objects and we show how it can be considered as a theory of descriptors.
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 1
Gérold Stahl Á la recherche d’une grammaire universelle
abstract | view |  rights & permissions
Since antiquity many philosophers and grammarians were looking for what is “behind” the particular grammars, for something like “the unchangeable principles common to all languages”. Even limitingourselves to the most concrete aspects of such a general grammar, we may ask whether there is something realizable among the risky hipotheses and the vague projects.In this paper we do not try to discover something more or less hidden in the particular grammars, but to show, in a very general way, some directions for constructing, eventually, an universal grammar. Four approaches are mentioned:(1) artificial universal languages like Esperanto,(2) systems of automatic analysis of a language,(3) programming languages,(4) the first-order systems of logic.It is shown how those approaches (and the experiences acquired in working with them might be combined; but wether this combination produces interesting results and brings us nearer to an universal and rational grammar of our computerized epoch is an open question, which can be answered only by practical experience.
5. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 1
James Gasser Un développement des systèmes logiques de Stanislas Leśniewski (1886-1939). Protothétigue, Ontologie, Méréologie
6. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 1
Colloque sur la réferénce. Points de vue linguistique et logique
7. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 2/3
Denis Miéville Axiomes et définitions chez Leśniewski: Une manière génétique de développer les systèmes formels
abstract | view |  rights & permissions
The logical theories of Stanislaw Leśniewski differ profoundly form classical formal systems. Unlike the latter, they do not have an entirely predetermined vocabulary. Nor do they have a determined list of functors of syntactical-semantical categories. Due to formalized directives for definitions, the logics of Leśniewski are constructed progressively, making new theses and consequently functors of new syntactical-semantical categories accesible. In this article we present the genetic aspect associated with these theses-definitions. We also show that the property of creativity makes it possible to bridge some of the fundamental gaps in contemporary classical logics.
8. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 2/3
V. Internationaler Leibniz-Kongress: “Leibniz, Tradition und Aktualität” (Hannover, 14-19 Noviembre 1988)
9. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 2/3
François Paychére Troisième Congrès de I’Association Internationale d’Informatique Juridique (Messina, 11-14 Maya 1987)
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 2 > Issue: 2/3
Colloque international de I’Association pour la Recherche Cognitive: “Cognition et Connaissance: Où va la science cognitive?”. (Toulouse, 9-11 Marzo 1988)
11. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 3 > Issue: 1/2/3
François Paychere Sémiotique et Droit: Exercice de lecture
abstract | view |  rights & permissions
Language and judicial activities are both signs of the existence of a society. There is, therefore, good reason for a dialogue between the science of language and the science of law. This article applies a linguistic theory of the Paris School (semiotics) to the examination of a legal text, namely a contract. The author points to some eIements shared by legal and other texts, and demonstrates how a semiotic interpretation can provide interesting and unexpected insights into the deeper levels of a legal text. He concludes that a similar approach could fruitfully be used with other types of legal text.
12. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 3 > Issue: 1/2/3
Hélène Bauer-Bernit Droit, langues et représentation des connaissances
abstract | view |  rights & permissions
The connection between law, language and knowledge representation is evoked in its theoretical framework, in the light of recent developments in linguistics, philosophy, theory of law and congnitivescience on wich artificial intelligence is based. The conditions and limitations of the modelisation of law are examined. Conclusions are draw concerning the feasibility; usefulness and limitations of “trans-frontier” expert-systems.
13. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 3 > Issue: 1/2/3
Georges Kalinowski Sur l’analogie entre le déontique et l’aléthique: Logique des normes, logique déontique et leur analogie avec la logique modale alethique
abstract | view |  rights & permissions
Since Leibniz, the logic of norms is founded on the analogy between the deontic and the alethic. Nevertheless, von Wright, creator of the deontic logic -firstly logic of norms, afterwards logic of normative statements-, holds this analogy responsible for the misadventures of the deontic logic. Now it is not responsible, but only limited so that the miscarriages in question are imputable solely to the overstepping of its limits.
14. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 1
2e Ecole d’Eté de l’Association pour la Recherche Cognitive (Château de Bonas, Francia, 2-12 de Julio de 1989
15. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 1
Premier Colloque Européen d’ELLIA (Europa Lex Logica Informatio Automatica) sur “Droit-Décision-Informatique” (Bruselas, Mayo de 1990)
16. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 1
Jean-Louis Gardies La définition de I’identite d’Aristote à Zermelo
abstract | view |  rights & permissions
This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate in set theory the axiom of extensionality.
17. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Miguel Sánchez-Mazas Une méthode arithmétique de décision pour le système modal S5 par des invariants numériques de ses classes d’équivalence
abstract | view |  rights & permissions
Il s’agit d’une methode qui permet d’associer à chaque formule bien formée du système S5 de logique modale un nombre naturel invariant pour toutes les formules qui appartiennent a la même classe d’equivalence que la première.En particulier, étant donné que la méthode associe à toutes les tautologies du système le nombre o et a toutes les contradictions du système un certain nombre Φ, il suffit de calculer le nombre qui, en vertu des associations fondamentales, reste associé à n’importe quelle formule pour décider si cette dernière est tautologique, contradictoire ou contingente.Les relations logiques reliant deux formules du systeme -par exemple, des implications, des incompatibilités, des oppositions contradictaires, etc.- sont révéciés par un simpIe examen oculaire des nombres assoc iés aux formules données et une rapide vérification manuelle ou informatique fondée sur la comparaison des chiffres du même rang de ces nombres, écrits en hexadécimal.Finalement, l’analyse de la composition binaire du nombre associé a une formule donnée permet d’obtenir l’expression de la première sous sa forme normale conjonctive.La méthode décrite constitue donc une nouvelle méthode arithmétique de décision pour le système modal indiqué.
18. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 5 > Issue: 1/2
Miguel Espinoza Critique de la science anti-substantialiste
abstract | view |  rights & permissions
A negative conclusion, like R. Feynman’s sentence “nature is uncomprehensible”, forces us to examine the value of contemporary science from the point of view of understanding. As a contribution to this task, I criticize some of the philosophical presuppositions of experimentalism. Then I try to place some stepping stones towards metaphysics, conceived as a rational extension of science, and devoted to the search for intelligibility.
19. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 5 > Issue: 1/2
Lorenzo Peña XXIII Congrès de l’Association des Sociétés de Philosophie de Langue Française (Hammamet, 1-5 de septiembre de 1990)
20. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 6 > Issue: 1/2
Lorenzo Peña De la logique combinatoire des ‘Generales Inquisitiones’ aux calculs combinatoires contemporains
abstract | view |  rights & permissions
In his 1686 essay GI Leibniz undertook to reduce sentences to noun-phrases, truth to being. Such a reduction arose from his equating proof with conceptual analysis. Within limits Leibniz’s logical calculus provides a reasonable way of surmounting the dichotomy, thus allowing a reduction of hypothetical to categorical statements. However it yields the disastrous result that, whenever A is possible and so is B, there can be an entity being both A and B. Yet, Leibniz was in the GI the forerunner of 20th century combinatory logic, which (successfully!) practices - sometimes for reasons not entirely unlike Leibniz’s own grounds - reductions of the same kinds he tried to carry out.