The aim of this study was to determine whether personality types are predictors of team roles in order to make recommendations for the use of personality types, in conjunction with team roles, in selection and teambuilding. The study was conducted among 50 professionals and managers in Western Cape organisations. The data was collected by means of the Myers-Briggs Personality Type Indicator (MBTI) and the TearnBuilder Model of Team Roles. Supporting evidence, although not sufficient, indicates that the Extraversion (E) personality type is a positive predictor of the Driving Onward team role and a negative predictor of the Delivering Plans team role. The Introversion (I) personality type is not a predictor of any team role. The Sensing (S) personality type is a negative predictor of the Driving Onward team role and a positive predictor of the Delivering Plans team role. The Intuition (N) personality type is a positive predictor of the Driving Onward team role and a negative predictor of the Delivering Plans team role. The Thinking (T) personality type is a positive predictor of the Controlling Quality team role. The Feeling (F) personality type is not a predictor of any team role. The Judging (J) personality type is a positive predictor of the Planning Ahead team role, and the Perceiving (P) personality type is a negative predictor of the Planning Ahead team role. It can be assumed that the full range of personality types will be a predictor of the full range of team roles, should a larger sample size and geographical sample group be included in the study. / Industrial and Organisational Psychology / M.A. (Industrial Psychology)

Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoretic fibration category (cette dernière étant la notion de modèle considérée dans cette thèse) et d'univers dans une type-theoretic fibration category, définitions dues à Michael Shulman. La problématique principale de cette thèse consiste à approfondir notre compréhension de la stabilité de l'Axiome d'Univalence pour les catégories de préfaisceaux, en particulier pour les groupoïdes équipés d'une involution. / This PhD thesis deals with some new models of Homotopy Type Theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic model categories, type-theoretic fibration categories (the notion of model under consideration in this thesis) and universe in a type-theoretic fibration category, definitions due to Michael Shulman. The goal of this thesis consists mainly in the exploration of the stability of the Univalence Axiom for categories of functors , especially for groupoids equipped with involutions.

Dans cette thèse nous étudions les sémantiques ludothéoriques, conçues comme les altérnatives à la sémantique traditionelle de Tarski, qui metent en marche le princip Meaning is in use et l’idée des jeux de language de second Wittgenstein: le sens des constantes logiques est donné par les règles qui en fixent l’usage et qui apparaissent dans les interactions social que sont les jeux de langage. Deux traditions ludotheorique sont présentées: Game Theoretical Semantics (GTS), proposé par Hintikka et Sandu en 1968 et Dialogical logic, proposé initialement par Paul Lorenzen et Kuno Lorenz en 1955 et developé à partir de 1993 par Shahid Rahman et ses collègues. En 1989 Hintikka et Sandu ont arrivé à l’idée des jeux avec des informations imparfaits qui les a emmené à Independence Friendly Logique (IF logic), logique du premiere ordre qui dépasse en expressivité la logique classique. Deux chapitres de cette thèse sont consacrés à l’axiom de choix et au traitement de l’anaphore, deux sujets choisis par Hintikka pour démontrer la fécondité de la logique IF et de GTS. Le but de cette thèse et de montrer que’il est possible de rendre compte aussi bien et à moindre frais dans le cadre dialogique. Plus précisément, la logique IF est comparée avec la théorie constructive des types dans la forme dialogique pour conclure à la supériorité de cette dernière qui a le même pouvoir explicatif qu’IF sans sacrifier pour autant la dimension inférentielle de la logique. / This thesis studies game-theoretically oriented semantics which provide an alternative to traditional Tarski-style semantics, implementing Wittgenstein’s idea of the meaning as use. Two different game theoretical traditions are presented: Game Theoretical Semantics (GTS), developed by Jaako Hintikka and Gabriel Sandu, and Dialogical logic, first introduced by Paul Lorenzen and Kuno Lorenz and further developed by Shahid Rahman and his associates. In 1989 Hintikka and Sandu came up with games with imperfect information. Those games yielded Independence friendly first-order logic (IF logic), exceeding the expressive power of classical first-order logic. It is expressive enough to enable formulating linearly, and at the first-order level, sentences containing branching quantification. Because of this characteristic, Hintikka claims that IF logic is most suitable for at least two main purposes: to be the logic of the first-order fragment of natural language; and to be the medium for the foundation of mathematics. This thesis aims to explore the above uses of IF logic. The properties of IF logic are discussed, as well as the advantages of this approach such as the possibility of taking account of (in)dependency relations among variables; GTS-account of two different notions of scope of quantifiers; the “outside–in” direction in approaching the meaning, which turns out to be advantageous over the traditional “inside-out” approach; the usefulness of game-theoretic reasoning in mathematics; the expressiveness of IF language, which allows formulating branching quantifiers on the first-order level, as well as defining the truth predicate in the language itself. We defend Hintikka’s stance on the first-order character of IF logic against some criticisms of this point. The weak points are also discussed: first and foremost, the lack of a full axiomatization for IF logic and second, the problem of signalling, a problematic phenomenon related to the possibility of imperfect information in a game. We turn to another game-theoretically oriented semantics, that of Dialogical Logic linked with Constructive Type Theory, in which dependency relations can be accounted for, but without using more means than constructive logic and the dialogical approach to meaning have to offer. This framework is used first to analyse and confront Hintikka’s take on the axiom of choice, and second to analyse the GTS account of anaphora.

Denna uppsats består av en översättning från svenska till ryska av ett utdrag ur Ulf Danielssons bok Mörkret vid tidens ände och en kommentar, där de översättningsstrategier som tillämpats samt deras teoretiska utgångspunkter analyseras. Den översättningsteoretiska ramen för uppsatsen utgörs av Katharina Reiss’ texttypteori, men även de översättningsteorier som fokuserar på hur översättaren kan undvika en stilistisk utarmning vid översättning av expressiva texter beaktas, nämligen Antoine Berman negativa analys och Jiří Levýs undersökning av översättningstendenser. Översättningsanalysen visade att de vanligast förekommande strategierna vid översättningen av källtextens informativa sakinnehåll var explicitering och syntaktiska modifikationer, medan fokus vid arbetet med bildspråket låg på att bevara källtextens känsloladdning och estetiska verkningskraft eller på att kompensera för eventuella förluster. Även den översättningsproblematik som skapades av källtextens intertextualitet tas upp, och de lösningar som möjliggör att bevara både de informativa och estetiska funktioner som de intertextuella inslagen har i texten diskuteras. / This study consists of the translation of an excerpt from Ulf Danielsson’s book Mörkret vid tidens ände (Darkness at the end of time, my own translation) from Swedish to Russian, as well as a commentary, which provides analysis of applied translation strategies and their theoretical background. The theoretical framework of this study is comprised of Katharina Reiss’ theory of text types, along with the translation theories conceptualising the ways to avoid stylistic impoverishment of the translated expressive texts, namely Antoine Berman’s negative analytics and Jiří Levýs study of common translation tendencies. The translation analysis shows that the translation strategies most commonly used while working with the informative content of the source text, were explicitation and syntactic modifications. In the process of working with figurative language, the focus was either on transferring the emotional connotations and aesthetic character of the source text or on compensation for eventual losses. Moreover, the issue of intertextuality is discussed and analysis is provided of those solutions that allowed preservation of both informative and aesthetic functions, fulfilled by intertextual elements in the source text.

No description available.

Personality, psychological type and cognitive ability are frequently implied to be underlying causes of differences in reasoning processes, decision-making processes and general success in a job. However, there is a trend towards utilising cognitive and personality measures interchangeably in the context of selection and development, particularly as it pertains to selection based on cognitive ability and cognitive style. The general aim of this research was therefore to investigate the relationship between psychological type, as measured by the Myers-Briggs Type Inventory (MBTI), and cognitive abilities and styles as measured by the Cognitive Process Profile (CPP). Cognitive ability is discussed under the cognitive psychology paradigm. A clarification of concepts associated with cognitive psychology is provided, and the CPP model is introduced as an integrative model encompassing aspects of cognitive ability and cognitive style. Psychological type is discussed under the analytical psychology paradigm, with a focus on personality structure, dynamics and development. This is then integrated into an overview of Jung's theory of personality types and the development of the MBTI. An empirical investigation, utilising Pairwise comparisons and Chi-square statistics was conducted. The results were then integrated to enable a better understanding of the relationship between cognition and personality. Based on this, it was concluded that there is insufficient evidence to suggest that a relationship exists between cognitive styles (as defined by the CPP) and personality (as defined by the MBTI). There were however, sufficient statistically significant findings to suggest that there is some relationship between cognitive processes / competencies and personality. / Industrial and Organisational Psychology / M.A. (Industrial and Organisational Psychology)

Personality, psychological type and cognitive ability are frequently implied to be underlying causes of differences in reasoning processes, decision-making processes and general success in a job. However, there is a trend towards utilising cognitive and personality measures interchangeably in the context of selection and development, particularly as it pertains to selection based on cognitive ability and cognitive style. The general aim of this research was therefore to investigate the relationship between psychological type, as measured by the Myers-Briggs Type Inventory (MBTI), and cognitive abilities and styles as measured by the Cognitive Process Profile (CPP). Cognitive ability is discussed under the cognitive psychology paradigm. A clarification of concepts associated with cognitive psychology is provided, and the CPP model is introduced as an integrative model encompassing aspects of cognitive ability and cognitive style. Psychological type is discussed under the analytical psychology paradigm, with a focus on personality structure, dynamics and development. This is then integrated into an overview of Jung's theory of personality types and the development of the MBTI. An empirical investigation, utilising Pairwise comparisons and Chi-square statistics was conducted. The results were then integrated to enable a better understanding of the relationship between cognition and personality. Based on this, it was concluded that there is insufficient evidence to suggest that a relationship exists between cognitive styles (as defined by the CPP) and personality (as defined by the MBTI). There were however, sufficient statistically significant findings to suggest that there is some relationship between cognitive processes / competencies and personality. / Industrial and Organisational Psychology / M.A. (Industrial and Organisational Psychology)

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d’un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques. / This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to build a logic from a programming language, both described as pure type systems. This logic provides formulas to express properties of programs and offers a formal framework that allows us to develop a theory of realizability in which realizers of formulas are exactly programs of the starting programming language. In our framework, the standard representation theorems of Gödel's system T and Girard's system F may be seen as two instances of a more general theorem. Then, we explain how the so-called « logical relations » of parametricity theory may be expressed in terms of realizability, which shows that the generated logic provides an adequate framework for developping a general theory of parametricity. Finally, we show how this parametricity theory can be adapted to the underlying type system of the proof assistant Coq and we give an original example of application of parametricity theory to the formalization of mathematics.