“Irony, Finitude and The Good Life,” examines the notion that Socrates, as he is portrayed in the Platonic dialogues, ought to be viewed and interpreted as a teacher. If this assertion is correct, then it is both appropriate and useful to look to the dialogues for instruction on how to live a philosophical life. This thesis will argue that to look at Socrates as a teacher, a figure who imparts knowledge to those around him on how to live a philosophical life, misses the very conception of the good life that Plato sought to personify when he created the character of Socrates. The proceeding discussion draws upon the work of Alexander Nehamas and Drew Hyland, offering an alternate interpretation of the Symposium. This interpretation argues that viewing Socrates as a teacher falsely idealizes the philosophical life, in turn neglecting Plato’s greater legacy for his character—a legacy in which true virtue lies in exposing the creative possibility inherent in living a philosophical life and prompting one’s own expression of a life inspired by the legacy of Socrates.

Cette thèse étudie deux modèles de réalisabilité pour la logique classique construits sur la sémantique des jeux HO, interprétant la logique, l'arithmétique et l'analyse classiques directement par des programmes manipulant un espace de stockage d'ordre supérieur.La non-innocence en jeux HO autorise les références d'ordre supérieur, et le non parenthésage révèle la CPS des jeux HO et fournit une catégorie de continuations dans laquelle interpréter le lambda-mu calcul de Parigot. Deux modèles de réalisabilité sont construits sur cette interprétation calculatoire directe des preuves classiques.Le premier repose sur l'orthogonalité, comme celui de Krivine, mais il est simplement typé et au premier ordre. En l'absence de codage de l'absurdité au second ordre, une mu-variable libre dans les réaliseurs permet l'extraction. Nous définissons un bar-récurseur et prouvons qu'il réalise l'axiome du choix dépendant, utilisant deux conséquences de la structure de CPO du modèle de jeux: toute fonction sur les entiers (même non calculable) existe dans le modèle, et toute fonctionnelle sur des séquences est Scott-continue. La bar-récursion est habituellement utilisée pour réaliser intuitionnistiquement le « double negation shift » et en déduire la traduction négative de l'axiome du choix. Ici, nous réalisons directement l'axiome du choix dans un cadre classique.Le second, très spécifique au modèle de jeux, repose sur des conditions de gain: des ensembles de positions d'un jeu munis de propriétés de cohérence. Un réaliseur est alors une stratégie dont les positions sont toutes gagnantes. / This thesis investigates two realizability models for classical logic built on HO game semantics. The main motivation is to have a direct computational interpretation of classical logic, arithmetic and analysis with programs manipulating a higher-order store.Relaxing the innocence condition in HO games provides higher-order references, and dropping the well-bracketing of strategies reveals the CPS of HO games and gives a category of continuations in which we can interpret Parigot's lambda-mu calculus. This permits a direct computational interpretation of classical proofs from which we build two realizability models.The first model is orthogonality-based, as the one of Krivine. However, it is simply-typed and first-order. This means that we do not use a second-order coding of falsity, and extraction is handled by considering realizers with a free mu-variable. We provide a bar-recursor in this model and prove that it realizes the axiom of dependent choice, relying on two consequences of the CPO structure of the games model: every function on natural numbers (possibly non computable) exists in the model, and every functional on sequences is Scott-continuous. Usually, bar-recursion is used to intuitionistically realize the double negation shift and consequently the negative translation of the axiom of choice. Here, we directly realize the axiom of choice in a classical setting.The second model relies on winning conditions and is very specific to the games model. A winning condition is a set of positions in a game which satisfies some coherence properties, and a realizer of a formula is then a strategy which positions are all winning.

(in English): The diploma thesis explores the means of expressing interpersonal function (metadiscourse) in English academic lectures. This function includes means mitigating the proposition of authors (hedges), expressions boosting its credibility (booster), instances reflecting attitude of the author (attitude markers) and means referring to both, the author himself (self-mentions) and the audience (engagement markers). For the purpose of the analysis, the integrative approach of Ken Hyland was chosen. It explores interpersonal resources as well as interactive resources in written academic discourse. Means organizing text into an intelligible and comprehensible unit will be also studied. The excerpted instances of metadiscourse were examined with respect to their function and realization form. In a case of realization forms, we expected to find means expressing modality (modal verbs, adverbs, adjectives), evaluative adjectives and adverbs, conjunctions and an array of personal pronouns referring to the participants of lectures. The findings showed surprising deviations in the categories of boosters, extended frame markers and attitude markers. Remaining categories, despite the different mode of the data (spoken academic language) corresponded with Hyland's findings from written academic discourse.

No description available.