Université de Neuchâtel

La logique développementale

Miéville, Denis

In: Travaux de logique, 1997, vol. 11, p. 161-187

Université de Neuchâtel

Expansion catégorielle et logique

Miéville, Denis

In: Travaux de logique, 1999, vol. 13, p. 1-41

Université de Neuchâtel

Théories logiques de S. Lesniewski et systèmes évolutifs de connaissances

Godet, Frédéric ; Miéville, Denis (Dir.) ; Gessler, Nadine (Codir.) ; Grize, François (Codir.) ; Joray, Pierre (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2012.

Les patrons des entreprises fondent leurs décisions sur la base d’indicateurs qui sont alimentés et calculés par des tableaux de bord. Les systèmes informatiques d’aide à la décision augmentent la complexité des rapports et conduisent lors des restructurations des affaires à des malfaçons. Cette recherche propose de formaliser les structures qui participent à la construction de ces...

Université de Neuchâtel

Thinking Time : A Multidisciplinary Perspective on Time

Perret-Clermont, Anne-Nelly ; Bronckart, Jean-Paul ; Flammer, August ; Lambolez, Sophie ; Miéville, Denis ; Perret, Jean-François ; Perrig, Walter J.

Cambridge MA [etc.] : Hogrefe & Huber Publishers, 2005

(Swiss monographs in psychology ; 4)

ISBN: 0-88937-202-0

Université de Neuchâtel

Pertinence théologique de la révélation raëlienne : analyse historico-critique de la "Nouvelle Bible de l'Humanité"

Maridor, Steve ; Dubied, Pierre-Luigi (Dir.) ; Bühler, Pierre (Codir.) ; Miéville, Denis (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2010.

L’auteur a soumis aux méthodes historico-critiques utilisées par les théologiens pour l’analyse des textes bibliques les deux ouvrages fondateurs du mouvement raëlien. Raël, fondateur du mouvement raëlien, prétend que les deux premiers livres qu’il a écrits pour fonder son groupement sont « la Nouvelle Bible de l’Humanité ». Une analyse approfondie des textes de Raël permet...

Université de Neuchâtel

Qu'est-ce que la logique aujourd'hui?

Miéville, Denis

In: Annales de l'Université de Neuchâtel, repris dans Revue Tranel (Travaux neuchâtelois de linguistique) (no 15, 1989, p. 167-175), 1988, p. 202-214

Université de Neuchâtel

Structure et inférence : la question de l'anaphore

Bourquin, Daniel ; Miéville, Denis (Dir.)

Thèse de doctorat : , 2009 ; Th. 2109.

Cet ouvrage réévalue l’importance de l’anaphore pour la sémantique formelle et pour la sémantique générale, en analysant en détail les solutions au problème fameux des phrases « asinantes » ou donkey sentences comme « si un fermier possède un âne, il le bat », phrases qui sont rebelles à une formalisation en logique des prédicats du premier ordre. Nous défendons une...