La logique déontique : une application de la logique à l'éthique et au discours juridique

Cet ouvrage a été rédigé en LaTeX, ce qui permet d'atteindre directement certaines sections, notes ou références bibliographiques par le biais des hyperliens.

A geometrical heuristic for drawing concept lattices

Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should reflect the semantical relationships within the data. Up to now, no satisfactory automatic drawing programs for this task exist. The geometrical heuristic is the most successful tool for drawing concept lattices manually. It ueses a geometric representation as intermediate step between the list of upper covers and the line diagram of the lattice.

Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A guerra EUA x Iraque no discurso jornalístico: análise léxico-semântica das unidades de denominação

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Numeralklassifikatoren im Thai

Wie viele andere Sprachen Ost- und Südostasiens ist das Thai eine numerusneutrale Sprache, in der ein Nomen lediglich das Konzept benennt und keinen Hinweis auf die Anzahl der Objekte liefert. Um Nomina im Thai zählen zu können, ist der Klassifikator (Klf) nötig, der die Objekte anhand ihrer semantischen Schlüsseleigenschaft herausgreift und individualisiert. Neben der Klassifikation stellt die Individualisierung die Hauptfunktion des Klf dar. Weitere Kernfunktionen des Klf außerhalb des Zählkontextes sind die Markierung der Definitheit, des Numerus sowie des Kontrasts. Die wichtigsten neuen Ergebnisse dieser Arbeit, die sowohl die Ebenen der Grammatik und Semantik als auch die der Logik und Pragmatik integriert, sind folgende: Im Thai kann der Klf sowohl auf der Element- als auch auf der Mengenebene agieren. In der Verbindung mit einem Demonstrativ kann der Klf auch eine pluralische Interpretation hervorrufen, wenn er auf eine als pluralisch präsupponierte Gesamtmenge referiert oder die Gesamtmenge in einer Teil-Ganzes-Relation individualisiert. In einem Ausdruck, der bereits eine explizite Zahlangabe enthält, bewirkt die Klf-Demonstrativ-Konstruktion eine Kontrastierung von Mengen mit gleichen Eigenschaften. Wie auch der Individualbegriff besitzt der Klf Intension und Extension. Intension und Extension von Thai-Klf verhalten sich umgekehrt proportional, d.h. je spezifischer der Inhalt eines Klf ist, desto kleiner ist sein Umfang. Der Klf signalisiert das Schlüsselmerkmal, das mit der Intension des Nomens der Identifizierung des Objekts dient. Der Klf individualisiert das Nomen, indem er Teilmengen quantifiziert. Er kann sich auf ein Objekt, eine bestimmte Anzahl von Objekten oder auf alle Objekte beziehen. Formal logisch lassen sich diese Funktionen mithilfe des Existenz- und des Allquantors darstellen. Auch die Nullstelle (NST) läßt sich formal logisch darstellen. Auf ihren jeweiligen Informationsgehalt reduziert, ergeben sich für Klf und NST abhängig von ihrer Positionierung verschiedene Informationswerte: Die Opposition von Klf und NST bewirkt in den Fragebögen ausschließlich skalare Q-Implikaturen, die sich durch die Informationsformeln in Form einer Horn-Skala darstellen lassen. In einem sich aufbauenden Kontext transportieren sowohl Klf als auch NST in der Kontextmitte bekannte Informationen, wodurch Implikaturen des M- bzw. I-Prinzips ausgelöst werden. Durch die Verbindung der Informationswerte mit den Implikaturen des Q-, M- und I-Prinzips lässt sich anhand der Positionierung direkt erkennen, wann der Klf die Funktion der Numerus-, der Definitheits- oder der Kontrast-Markierung erfüllt.

From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Reasoning Methods for Designing and Surveying Relationships Described by Sets of Functional Constraints

This work is supported by the Hungarian Scientific Research Fund (OTKA), grant T042706.

Du western au crépusculaire : textualités et narrativités du genre pour une approche de l'image-fin

Notre étude porte le western crépusculaire et cherche plus précisément à extraire le « crépusculaire » du genre. L'épithète « crépusculaire », héritée du vocabulaire critique des années 1960 et 1970, définit généralement un nombre relativement restreint d'œuvres dont le récit met en scène des cowboys vieillissants dans un style qui privilégie un réalisme esthétique et psychologique, fréquemment associé à un révisionnisme historique, voire au « western pro-indien », mais qui se démarque par sa propension à filmer des protagonistes fatigués et dépassés par la marche de l'Histoire. Par un détour sur les formes littéraires ayant comme contexte diégétique l’Ouest américain (dime-novel et romans de la frontière), nous effectuons des allers et retours entre les formes épique et romanesque, entre l’Histoire et son mythe, entre le littéraire et le filmique pour mieux saisir la relation dyadique qu’entretient le western avec l’écriture, d’une part monumentale et d’autre part critique, de l’Histoire. Moins intéressée à l’esthétique des images qu’aux aspects narratologiques du film pris comme texte, notre approche tire profit des analyses littéraires pour remettre en cause les classifications étanches qui ont marqué l’évolution du western cinématographique. Nous étudions, à partir des intuitions d’André Bazin au sujet du sur-western, les modulations narratives du western ainsi que l’émergence d’une conscience critique à partir de ses héros mythologiques (notamment le cow-boy). Notre approche est à la fois épistémologique et transhistorique en ce qu’elle cherche à dégager du western crépusculaire un genre au-delà des genres, fondé sur une incitation à la narrativisation crépusculaire de la part du spectateur. Cette dernière, concentrée par une approche deleuzienne de l’image-cristal, renvoie non plus seulement à une conception existentialiste du personnage dans l’Histoire, mais aussi à une mise en relief pointue du hors-cadre du cinéma, moment de clairvoyance à la fois pragmatique et historicisant que nous définissons comme une image-fin, une image chronogénétique relevant de la contemporanéité de ses figures et de leurs auteurs.

Du western au crépusculaire : textualités et narrativités du genre pour une approche de l'image-fin

Notre étude porte le western crépusculaire et cherche plus précisément à extraire le « crépusculaire » du genre. L'épithète « crépusculaire », héritée du vocabulaire critique des années 1960 et 1970, définit généralement un nombre relativement restreint d'œuvres dont le récit met en scène des cowboys vieillissants dans un style qui privilégie un réalisme esthétique et psychologique, fréquemment associé à un révisionnisme historique, voire au « western pro-indien », mais qui se démarque par sa propension à filmer des protagonistes fatigués et dépassés par la marche de l'Histoire. Par un détour sur les formes littéraires ayant comme contexte diégétique l’Ouest américain (dime-novel et romans de la frontière), nous effectuons des allers et retours entre les formes épique et romanesque, entre l’Histoire et son mythe, entre le littéraire et le filmique pour mieux saisir la relation dyadique qu’entretient le western avec l’écriture, d’une part monumentale et d’autre part critique, de l’Histoire. Moins intéressée à l’esthétique des images qu’aux aspects narratologiques du film pris comme texte, notre approche tire profit des analyses littéraires pour remettre en cause les classifications étanches qui ont marqué l’évolution du western cinématographique. Nous étudions, à partir des intuitions d’André Bazin au sujet du sur-western, les modulations narratives du western ainsi que l’émergence d’une conscience critique à partir de ses héros mythologiques (notamment le cow-boy). Notre approche est à la fois épistémologique et transhistorique en ce qu’elle cherche à dégager du western crépusculaire un genre au-delà des genres, fondé sur une incitation à la narrativisation crépusculaire de la part du spectateur. Cette dernière, concentrée par une approche deleuzienne de l’image-cristal, renvoie non plus seulement à une conception existentialiste du personnage dans l’Histoire, mais aussi à une mise en relief pointue du hors-cadre du cinéma, moment de clairvoyance à la fois pragmatique et historicisant que nous définissons comme une image-fin, une image chronogénétique relevant de la contemporanéité de ses figures et de leurs auteurs.