Results for 'symbolic type'

999 found
Order:
  1.  18
    Symbolic Types: A Ritual of Impurity.Mina Meir-Dviri - 2016 - Anthropology of Consciousness 27 (1):7-27.
    The semi-commune “Little Home” is a cultural enclave whose beliefs and idiosyncratic, seemingly chaotic interactions are based on gender relations translated into the terms of the purity and impurity of the female body. This framework is the scene of fictional and real kinship relations that play distinct roles within this mini-society and are dominated by symbolic types, which determine their social context. This article examines a ritual of purification performed by the Father/leader of the semi-commune. In this ritual, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  15
    Mythic symbolic type, utopia, and body without organs.Mina Meir-Dviri - 2019 - Semiotica 2019 (230):425-445.
    A mythic symbolic type is a binary-structured, gender-oriented cultural mask. Whoever enters it will never exit and will behave according to the mask’s logic. The article focuses on the men of the semi-commune Little Home trapped in the mask. It will examine this cultural structure’s organization of binary-opposition in a unique kind of intensity, I called “masculine waves.” In the final part, a discussion will be presented in the context of Deleuze’s Becoming and Bloch’s utopia.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Symbolic types, the body, and circus.Don Handelman - 1991 - Semiotica 85 (3-4):205-226.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  18
    Symbolic types, mediation and the transformation of ritual context: Sinhalese demons and Tewa clowns.Don Handelman & Bruce Kapferer - 1980 - Semiotica 30 (1-2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  11
    When does the ritual of mythic symbolic type start and when does it end?Mina Meir Dviri - 2018 - Semiotica 2018 (225):141-165.
    Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 225 Seiten: 141-165.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Quatre Types fondamentaux de symboles et l'acte de commmunication.Jacques Pohl - 1974 - Cahiers Internationaux de Symbolisme 26:67-81.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  8
    Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.Daniel Găină, Guillermo Badia & Tomasz Kowalski - 2023 - Annals of Pure and Applied Logic 174 (3):103212.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed-Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
     
    Export citation  
     
    Bookmark  
  9. Construing The Cross: Type, Sign, Symbol, Word, Action.[author unknown] - 2015
    No categories
     
    Export citation  
     
    Bookmark  
  10.  19
    An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
    In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  10
    Two Papers on Symbolic Logic: Form and Content in Quantification Theory and Reductions in the Theory of Types.Jaakko Hintikka - 1955 - [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Certainly the highest type of symbol-theological structure and tragic consciousness in the later poetry of Holderlin, Friedrich.Jm Baker - 1993 - Philosophy Today 37 (4):436-458.
     
    Export citation  
     
    Bookmark  
  13.  15
    C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 , pp. 61–74.H. Simmons - 1974 - Journal of Symbolic Logic 39 (1):182.
  14.  22
    Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 , pp. 81–89.Wayne Richter - 1975 - Journal of Symbolic Logic 40 (1):87-88.
  15.  83
    Discussions: Confusion of symbols and confusion of logical types.Susanne K. Langer - 1926 - Mind 35 (138):222-229.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  23
    Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49 , pp. 75–111. , pp. 237–287.).Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
  17. Perceptual symbol systems.Lawrence W. Barsalou - 1999 - Behavioral and Brain Sciences 22 (4):577-660.
    Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   723 citations  
  18.  20
    John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 , pp. 75–80. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Hegel logic and speculative mysticism-types of the trinitarian symbol.K. Comoth - 1984 - Hegel-Studien 19:65-93.
  20.  4
    A Study on the Concept of Sublime in the Symbolic Art-Type of Hegel’s Aesthetics - Focusing on the Relationship and Differences with Kant, Lyotard, and Žižek -. 김창준 - 2020 - Journal of the Daedong Philosophical Association 91:89-125.
    숭고의 미학사에서 헤겔은 핵심 인물로 평가되지 않은 것은 물론, 현대로 올수록 그 반 대편 인물로 더 많이 언급된다. 그러나 헤겔 미학에서 숭고 개념은 의미와 표현의 불일치를 특징으로 하는 상징적 예술 형식의 주요 범주이고, 근년 들어 부정성이나 무 개념과 함께 재조명되고 있다. 숭고는 고대 그리스의 ‘탈아’나 ‘망아’ 등에서 기원하여 로고스적 합리성이나 고전주의의 한계를 보완하는 균형추 역할을 해왔다. 롱기누스의 수사학적 숭고를 거쳐 버크에 이르면, 숭고는 무질서하고 무형식적인 대상에서 촉발되는, 고통과 쾌락이 결합된 강렬한 감정으로 체계화되고, 칸트의 수학적․역학적 숭고로 이어진다. 칸트의 숭고는 ‘현시할 수 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  4
    Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 , pp. 305–326.Gaisi Takeuti - 1967 - Journal of Symbolic Logic 32 (3):418-419.
  22.  19
    Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  35
    The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  24.  8
    Féminisme épidermique et utopie viscérale: signes, symboles, et archétypes.Michel Weber - 2020 - [Louvain-la-Neuve]: Les Éditions Chromatika.
    Comment repenser la sexualité et le « genre »? Relire la Genèse et le Prologue de l'évangile de Jean à partir de prémisses féministes donne une idée très vive de la chape idéologique et conceptuelle qui a été coulée sur l’inconscient collectif par les monothéismes, finalement assistés par les catégories philosophiques platoniciennes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  14
    Symbol i alegoria w filozoficznej egzegezie stoików.Mikołaj Domaradzki - 2011 - Filo-Sofija 11 (13):719-736.
    Author: Domaradzki Mikołaj Title: SYMBOL AND ALLEGORY IN THE PHILOSOPHICAL EXEGESIS OF THE STOICS (Symbol i alegoria w filozoficznej egzegezie stoików) Source: Filo-Sofija year: 2011, vol:.13/14, number: 2011/2-3, pages: 719-736 Keywords: STOIC EXEGESIS, SYMBOL, ALLEGORY, CHRYSIPPUS, CORNUTUS, HERACLITUS THE ALLEGORIST Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The present paper aims to ascertain whether, and if so, to what extent the modern distinction between the concepts of ‘symbol’ and ‘allegory’ can be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  26.  12
    Symbolicity, language, and mediality.Lars Elleström - 2022 - Semiotica 2022 (247):1-32.
    This article demonstrates the broad applicability of the concept of symbol in human communication, beyond but including verbal language. The starting point is Charles Sanders Peirce’s understanding of symbolicity as signification grounded on habits. The goal is to be able to conceptualize mediality in general and media interrelations, particularly in relation to symbolicity. Informed by a multimodal view on media, the author provides a systematic overview of symbolicity within the context of communication among human minds structured around two crossing parameters: (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Sound symbolic associations in Spanish emotional words: affective dimensions and discrete emotions.Rocío Calvillo-Torres, Juan Haro, Pilar Ferré, Claudia Poch & José A. Hinojosa - forthcoming - Cognition and Emotion.
    Sound symbolism refers to non-arbitrary associations between word forms and meaning, such as those observed for some properties of sounds and size or shape. Recent evidence suggests that these connections extend to emotional concepts. Here we investigated two types of non-arbitrary relationships. Study 1 examined whether iconicity scores (i.e. resemblance-based mapping between aspects of a word’s form and its meaning) for words can be predicted from ratings in the affective dimensions of valence and arousal and/or the discrete emotions of happiness, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  25
    Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 , pp. 221–230.Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590.
  29. Symbolically Generalized Communication Media: A Category Mistake?K. Distin - 2012 - Constructivist Foundations 8 (1):93-95.
    Open peer commentary on the article “Radical Constructivism and Radical Constructedness: Luhmann’s Sociology of Semantics, Organizations, and Self-Organization” by Loet Leydesdorff. > Upshot: Leydesdorff emphasises the uncertainties involved in the communication of meaning. Luhmann posited three types of media, each of which reduces one type of communicative improbability. The theory of cultural evolution supports Leydesdorff’s emphasis on the uncertainty of communication, and agrees that different media are needed for communication within and across social boundaries. But it highlights the distinction (...)
     
    Export citation  
     
    Bookmark   1 citation  
  30.  59
    Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  31.  16
    G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 , pp. 323–329. - G. É. Minc. Ustojčivost' E-téorém i provérka programm . Sémiotika i informatika, vol. 12 , pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 , pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 , pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 , pp. 435–452. [REVIEW]Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
  32. Building Plans as Natural Symbols.Rafael De Clercq - 2014 - Architecture Philosophy 1 (1):61-78.
    Carroll William Westfall has claimed that building types can serve as natural symbols of (the purposes served by) activities such as venerating, celebrating, trading, and dwelling. The aim of this paper is to interpret Westfall’s claim in a way that makes it non-trivial and yet worthy of further investigation. In particular, an attempt is made to explain the connection between building types and what they symbolize without appealing to convention. The question is also answered whether a non-conventional connection is compatible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  57
    Three Types of Semiosis.Marcello Barbieri - 2009 - Biosemiotics 2 (1):19-30.
    The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  34.  48
    Type reducing correspondences and well-orderings: Frege's and zermelo's constructions re-examined.J. L. Bell - 1995 - Journal of Symbolic Logic 60 (1):209-221.
    A key idea in both Frege's development of arithmetic in theGrundlagen[7] and Zermelo's 1904 proof [10] of the well-ordering theorem is that of a “type reducing” correspondence between second-level and first-level entities. In Frege's construction, the correspondence obtains betweenconceptandnumber, in Zermelo's (through the axiom of choice), betweensetandmember. In this paper, a formulation is given and a detailed investigation undertaken of a system ℱ of many-sorted first-order logic (first outlined in the Appendix to [6]) in which this notion of (...) reducing correspondence is accorded a central role and which enables Frege's and Zermelo's constructions to be presented in such a way as to reveal their essential similarity. By adapting Bourbaki's version of Zermelo's proof of the well-ordering theorem, we show that, within ℱ, any correspondencecbetween second-level entities (here calledconcepts) and first-level ones (here calledobjects) induces a well-ordering relationW(c) in a canonical manner. We shall see that, whencis the “Fregean” correspondence between concepts and cardinal numbers,W(c) is (the well-ordering of) the ordinalω+ 1, and whencis a “Zermelian” choice function on concepts,W(c) is a well-ordering of the universal concept embracing all objects.In ℱ an important role is played by the notion ofextensionof a concept. To each conceptXwe assume there is assigned an objecte(X) in such a way that, for any conceptsX, Ysatisfying a certain predicateE, we havee(X) =e(Y) iff the same objects fall underXandY. (shrink)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  17
    Michael Rathjen. The superjump in Martin-Löf type theory_. _Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
  36.  52
    Jaakko Hintikka K.. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki 1955, pp. 57–115. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (4):660-660.
  37.  3
    Symbols Used in the Diplomatic Transcriptions.Ludwig Wittgenstein - 2014 - In Lecture on Ethics. Oxford, UK: Wiley. pp. 69–70.
    This chapter talks about the symbols used in the diplomatic transcriptions that are described in the other chapters of the book. The symbols used are divided into three categories: corrections, deletion marks and underlinings. Some of the corrections that are made are insertion of a space between two words and text overwritten by hand on an erased typed text. The deletion marks like single deletion mark, double or multiple deletion mark are used. The underlines like dash, single, double, wavy and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  51
    Kreisel G.. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133.Kreisel G.. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  39.  77
    Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.
    We give characterizations for the sentences "Every $\Sigma^1_2$-set is measurable" and "Every $\Delta^1_2$-set is measurable" for various notions of measurability derived from well-known forcing partial orderings.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  40.  16
    The symbolic dimension of responsibility in organizational communication.Iulia Grad - 2017 - Journal for the Study of Religions and Ideologies 16 (48):112-124.
    The assumption underlying this paper states that the organizational stories, regardless of their type, act as narratives generating symbolic meanings, thus responding the postmodern man impetus for authenticity and significance. The first part of the paper is focused on the organizational communication’s symbolic dimension, in relation to the process of personal identity construction. The investigation of the relation between identities and narratives within the framework of organizational culture opens an interesting perspective on the field of organizational communication, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  68
    Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43.  57
    Representation without symbol systems.Stephen M. Kosslyn & Gary Hatfield - 1984 - Social Research: An International Quarterly 51 (4):1019-1045.
    The concept of representation has become almost inextricably bound to the concept of symbol systems. the concepts is nowhere more prevalent than in descriptions of "internal representations." These representations are thought to occur in an internal symbol system that allows the brain to store and use information. In this paper we explore a different approach to understanding psychological processes, one that retains a commitment to representations and computations but that is not based on the idea that information must be stored (...)
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  44.  12
    Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 , pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 , pp. 177–182. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Symbolic revolutions. Mobilizing a neglected Bourdieusian concept for historical sociology.Martin Petzke - 2022 - Theory and Society 51 (3):487-510.
    The article builds on a recent literature that has sought to underscore the relevance of Bourdieu’s field theory for historical-sociological analysis. It draws attention to symbolic revolutions, a concept that has been given short shrift in this literature and even in Bourdieu’s own expositions of his field-theoretical apparatus. The article argues that symbolic revolutions denote a universal mechanism of field-internal change which extends and complements a conceptual battery of mostly structural universals of fields. In a synoptic reading of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  40
    Phylogenetic symbols, past and present.H. J. Lam - 1936 - Acta Biotheoretica 2 (3):153-194.
    Methoden. Im obigen Artikel ist die „Phylogenie des Stammbaumes” untersucht worden. Beginnend mitHaeckel werden 26 Typen phylogenetischer Symbole kritisch besprochen, d.h. nicht die Resultate, sondern nur die Methoden, z.B. bezüglich Systematik und Phylogenie, lebender und ausgestorbener Organismen, geologischer Perioden, Stufen und homologer Variationen, geographischer Verbreitung, Diversität, etwaiger Bedeutung der Einzelheiten, Mono-, Bi- und Polyrheithrie , usw. Der Faktor Zeit wird dabei für phylogenetische Systeme als der wesentlichste betrachtet. Der Autor hat daher in seinen- neuen Darstellungen die Begriffe „Zeit-Stufen” oder „Zeit-Globen-Oberflächen” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  7
    Analogical Symbols: The Role of Visual Cues in Long-Term Transfer.Zhe Chen, Lei Mo, Ryan Honomichl & Myeong-Ho Sohn - 2010 - Metaphor and Symbol 25 (2):93-113.
    We are reminded of relevant stories, tales, or symbols from long-term memory when facing a novel problem our daily lives. Visual cues are 1 tool known to facilitate reminding. In 2 experiments, Chinese students, who had experienced a folk tale many years ago during childhood, were asked to solve an analogous problem. We tested the hypothesis that a visual cue can help bridge the gap between a novel problem and a source analogy experienced in the distant past. Different types of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  28
    J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 , pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 , pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 , pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 , pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 . pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  49.  59
    Omitting types and the real line.Ludomir Newelski - 1987 - Journal of Symbolic Logic 52 (4):1020-1026.
    We investigate some relations between omitting types of a countable theory and some notions defined in terms of the real line, such as for example the ideal of meager subsets ofR. We also try to express connections between the logical structure of a theory and the existence of its countable models omitting certain families of types.It is well known that assuming MA we can omit (...))
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  36
    Symbolically speaking: a connectionist model of sentence production.Franklin Chang - 2002 - Cognitive Science 26 (5):609-651.
    The ability to combine words into novel sentences has been used to argue that humans have symbolic language production abilities. Critiques of connectionist models of language often center on the inability of these models to generalize symbolically (Fodor & Pylyshyn, 1988; Marcus, 1998). To address these issues, a connectionist model of sentence production was developed. The model had variables (role‐concept bindings) that were inspired by spatial representations (Landau & Jackendoff, 1993). In order to take advantage of these variables, a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
1 — 50 / 999