Results for 'Abstract Objects, Symbolic Systems'

983 found
Order:
  1. A Generic Russellian Elimination of Abstract Objects.Kevin C. Klement - 2017 - Philosophia Mathematica 25 (1):91-115.
    In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  89
    Idealization and external symbolic storage: the epistemic and technical dimensions of theoretic cognition.Peter Woelert - 2012 - Phenomenology and the Cognitive Sciences 11 (3):335-366.
    This paper explores some of the constructive dimensions and specifics of human theoretic cognition, combining perspectives from (Husserlian) genetic phenomenology and distributed cognition approaches. I further consult recent psychological research concerning spatial and numerical cognition. The focus is on the nexus between the theoretic development of abstract, idealized geometrical and mathematical notions of space and the development and effective use of environmental cognitive support systems. In my discussion, I show that the evolution of the theoretic cognition of space (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. 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 (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   819 citations  
  4.  18
    The Buridan-Volpin Derivation System; Properties and Justification.Sven Storms - 2022 - Bulletin of Symbolic Logic 28 (4):533-535.
    Logic is traditionally considered to be a purely syntactic discipline, at least in principle. However, prof. David Isles has shown that this ideal is not yet met in traditional logic. Semantic residue is present in the assumption that the domain of a variable should be fixed in advance of a derivation, and also in the notion that a numerical notation must refer to a number rather than be considered a mathematical object in and of itself. Based on his work, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Symbol Systems as Collective Representational Resources: Mary Hesse, Nelson Goodman, and the Problem of Scientific Representation.Axel Gelfert - 2015 - Social Epistemology Review and Reply Collective 4 (6):52-61.
    This short paper grew out of an observation—made in the course of a larger research project—of a surprising convergence between, on the one hand, certain themes in the work of Mary Hesse and Nelson Goodman in the 1950/60s and, on the other hand, recent work on the representational resources of science, in particular regarding model-based representation. The convergence between these more recent accounts of representation in science and the earlier proposals by Hesse and Goodman consists in the recognition that, in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  42
    On the virtues of going all the way A commentary on Barsalou.Shimon Edelman - unknown
    Supposing the symbol system postulated by Barsalou is perceptual through and through -- what then? The target article outlines an intriguing and exciting theory of cognition in which (1) wellspecified, event- or object-linked percepts assume the role traditionally allotted to abstract and arbitrary symbols, and (2) perceptual simulation is substituted for processes traditionally believed to require symbol manipulation, such as deductive reasoning. We take a more extreme stance on the role of perception (in particular, vision) in shaping cognition, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  68
    Explicit Abstract Objects in Predicative Settings.Sean Ebels-Duggan & Francesca Boccuni - 2024 - Journal of Philosophical Logic 53 (5):1347-1382.
    Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as implicit definitions of the objects in the range of their operators. In second-order logic (SOL) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (Proceedings of the Aristotelian Society 87, 137–151, 1986) and Zalta (Abstract Objects, vol. 160 of Synthese Library, 1983), examines explicit definitions of abstract objects. These axioms state that there is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  43
    An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
    We generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariablyaggregatedvia set-theoretical union. Our approach is more general in that nonidempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. O papel da abstração na instanciação da álgebra nas Regulae ad Directionem Ingenii.Érico Andrade - 2011 - Analytica (Rio) 15 (1):145-172.
    In this essay I will defend three points, the first being that Descartes- unlike the aristotelian traditon- maintained that abstraction is not a operation in which the intellect builds the mathematical object resorting to sensible ob- jects. Secondly I will demonstrate that, according to cartesian philosophy, the faculty of understanding has the ability to instatiate- within the process of abstraction- mathematical symbols that represent the relation between quantities, whether magnitude or multitude.And finally I will advocate that the lack of onthological (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Creativity of metaphor in perceptual symbol systems.Bipin Indurkhya - 1999 - Behavioral and Brain Sciences 22 (4):621-622.
    A metaphor can often create novel features in an object or a situation. This phenomenon has been particularly hard to account for using amodal symbol systems: although highlighting and downplaying can explain the shift of focus, it cannot explain how entirely new features can come about. We suggest here that the dynamism of perceptual symbol systems, particularly the notion of simulator, provides an elegant account of the creativity of metaphor. The elegance lies in the idea that the creation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  33
    Musical Notation.Michael Dickson - 2024 - Ergo: An Open Access Journal of Philosophy 11.
    The main goal of this essay is to propose and make plausible a framework for developing a philosophical account of musical notation. The proposed framework countenances four elements of notation: symbols (abstract objects that collectively constitute the backbone of a ‘system’ of notation), their characteristic ‘forms’ (for example, shapes, understood abstractly), the concrete instances, or ‘engravings’, of those forms, and the meanings of the symbols. It is argued that these elements are distinct. Along the way, several preliminary arguments are (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Mind as Machine: The Influence of Mechanism on the Conceptual Foundations of the Computer Metaphor.Pavel Baryshnikov - 2022 - RUDN Journal of Philosophy 26 (4):755-769.
    his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  36
    Math Anxiety: Making Room to Breathe.Valerie Allen & Todd Stambaugh - 2023 - Substance 52 (1):217-225.
    In lieu of an abstract, here is a brief excerpt of the content:Math Anxiety:Making Room to BreatheValerie Allen (bio) and Todd Stambaugh (bio)"Don't do that to me, Professor," the student said, and everybody laughed, for by this late in the semester, the atmosphere was relaxed. The instructor in question had just reached the point in a worked problem when they could move from reasoning about specific numbers to stating a general principle: x≤y≤z, meaning that y—the value we sought—was always (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. A Note on Cogito.Les Jones - manuscript
    Abstract A Note to Cogito Les Jones Blackburn College Previous submissions include -Intention, interpretation and literary theory, a first lookWittgenstein and St Augustine A DiscussionAreas of Interest – History of Western Philosophy, Miscellaneous Philosophy, European A Note on Cogito Descartes' brilliance in driving out doubt, and proving the existence of himself as a thinking entity, is well documented. Sartre's critique (or maybe extension) is both apposite and grounded and takes these enquiries on to another level. Let's take a look. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  73
    Painting in tongues: Faith-based languages of formalist art.Kevin Z. Moore - 2007 - Journal of Aesthetic Education 41 (4):40-52.
    In lieu of an abstract, here is a brief excerpt of the content:Painting in Tongues:Faith-Based Languages of Formalist ArtKevin Z. Moore (bio)A philosophical problem is created by the incoherence between the earlier state and the later one.—Ian Hacking, Historical OntologyWhatever is happening to evidence-based treatment? When the facts contravene conventional wisdom, go with the anecdotes?—New York Times, "Science Times," February 14, 2006Cephalopods have a visual language that may be considered artful; humans have written and vocalized languages that are sometimes (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Reale Möglichkeit: Eine allgemeine Theorie des Werdens.Wolfgang Sohst - 2016 - Berlin: Xenomoi.
    (For the English version, see below) Dieser Band schließt an die "Prozessontologie" von Wolfgang Sohst an. In vorliegenden Buch entwickelt er den Begriff der Emergenz auf der Grundlage einer Schichtenontologie. Kern dieser Theorie ist der Nachweis, dass die Struktur alles Gegebenen (also nicht nur des physischen Universums, sondern auch der irdischen Biosphäre und der aus ihr hervorgegangenen psychischen, sozialen und abstrakten Existenzformen) offen ist; es gibt keine absolute Entwicklungsgrenze der Weltstruktur. Alles Gegebene ist allerdings in Schichten gegliedert, beginnend mit den (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  29
    Consensus and Power in Tabletop Role-playing Games.M. A. Podvalnyi - 2020 - Sociology of Power 32 (3):53-73.
    This article is dedicated to the issue of achieving consensus in tabletop role-playing games and also addresses the question of how exactly play­ers gain power over the interpretation of events within a tabletop RPG. A tabletop role-playing game presupposes that its participants constantly articulate statements which shift the current configuration of in-game elements and also play the role of being artistic descriptions of said shifts. The alternation and interplay of performative and descriptive statements, their convolution and also the fact that, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  28
    The Party's Over (Almost): Terminal Celebration in Contemporary Film.Tony Bartlett - 1998 - Contagion: Journal of Violence, Mimesis, and Culture 5 (1):1-13.
    In lieu of an abstract, here is a brief excerpt of the content:THE PARTY'S OVER (ALMOST): TERMINAL CELEBRATION IN CONTEMPORARY FILM Tony Bartlett Syracuse University Movies are a universal language, and as we approach more and more integrated levels of global economy and communication they increasingly become a universal symbol system. At these levels a modern movie from China orNigeria will display swiftly recognizable sensibilities and situations to any viewer in Europe or the USA, and vice versa. But should (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  42
    The World of Roman Song: From Ritualized Speech to Social Order (review).Paul Allen Miller - 2006 - American Journal of Philology 127 (4):607-611.
    In lieu of an abstract, here is a brief excerpt of the content:American Journal of Philology 127.4 (2006) 607-611MuseSearchJournalsThis JournalContents[Access article in PDF]Reviewed byPaul Allen Miller University of South Carolina e-mail: pamiller@sc.eduThomas Habinek. The World of Roman Song: From Ritualized Speech to Social Order. Baltimore: Johns Hopkins University Press, 2005. x + 329 pp. Cloth, $52.It has become increasingly evident that the texts we study from ancient Rome are embedded objects, implicated in a rich field of symbolic (...) and corporeal practices. The image of the poem as an isolated aesthetic object has become untenable as the field has become dominated by concepts of intertextuality, performativity, social construction, and self-fashioning. The text in books like Tony Corbeill's Controlling Laughter (Princeton 1996) is less an object than an action. Thomas Habinek's The World of Roman Song represents an attempt to make good on the promise of these developments by rethinking the entirety of Roman literature as an embedded social process of "song," of marked speech, that stands at the origins of the Roman social order. Ritual hymns, funereal laudations, convivial play, and comedic performances become so many moments in the constitution of what it means to be Roman, even as conflicts between center and periphery, masculine and feminine, vir and cinaedus are both played out and resisted in the various genres that constitute the world of ritualized speech and its formal derivatives.Any such sweeping endeavor brings with it both a necessary boldness—asking us to rethink the history of Roman culture from a new perspective—and the danger of reductiveness. For the most part, these are dangers that Habinek manages skillfully to skirt through a combination of fine-grained philological analysis and a sophisticated, but never overbearing, theoretical apparatus. The World of Roman Song features close readings of the usage of words such as cano, carmen, dico, ludus, convivia, and sodalis, from their earliest attestations through their appearance in later imperial literature. It also deploys an intellectual armature that draws upon contemporary anthropology, Frankfurt-school Marxism, object-relations psychoanalysis, and the theories of Bourdieu, Bakhtin, and Bataille. Yet, as we shall see, the very methodology that makes this sweeping [End Page 607] and important survey possible—the examination not of texts but of lemmata to trace the memes of Roman self-constitution through formalized language—leads to certain unavoidable distortions. Complex textual systems become reduced to exemplary moments of embeddedness. This reduction is an enabling gesture that like any mode of analysis, however, ultimately produces its own limit.For this reader, the heart of the book is to be found in chapter 4, "Song and Play." Here Habinek traces the relation between three primary sets of terms: dico, dictum, and implicitly dictator, meaning to make an authoritative statement; cano, canto, and carmen, meaning to perform a song (carmen) of one's own (cano), or to repeat that of another (canto), so as to establish a relation between the singer and the constituted social, and ultimately cosmic, whole, via ritualized speech; and ludo, ludus, and lusus, referring to scripted or formalized movements of the body. Thus a poetic ludus, such as that described in Catullus 50 between the poet and Licinius Calvus, would refer not so much to the acts of song (carmina) to which the game of composition gave rise as to the formalized interchange and embodied practice of writing capping verses in different meters in a convivial setting. The previous chapter, "Song and Speech," had established the difference between loquor and dico, with the former referring to unmarked speech and the latter to the making of statements that the speaker asserts as authoritative and hence true. It is thus possible for the terms cano and dico to overlap and those of ludo and cano as well. Nevertheless, the ultimate dream of aristocratic Roman manhood (and, as any number of feminists would point out, of patriarchy as a whole) is for carmen—the ritualized speech that constitutes the community as a living unity—to assume the status of dictum, authoritative speech freed from the... (shrink)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. Connecting object to symbol in modeling cognition.Stevan Harnad - 1992 - In A. Clark & Ronald Lutz, Connectionism in Context. Springer Verlag. pp. 75--90.
    Connectionism and computationalism are currently vying for hegemony in cognitive modeling. At first glance the opposition seems incoherent, because connectionism is itself computational, but the form of computationalism that has been the prime candidate for encoding the "language of thought" has been symbolic computationalism (Dietrich 1990, Fodor 1975, Harnad 1990c; Newell 1980; Pylyshyn 1984), whereas connectionism is nonsymbolic (Fodor & Pylyshyn 1988, or, as some have hopefully dubbed it, "subsymbolic" Smolensky 1988). This paper will examine what is and is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  21.  29
    All that is Solid, Melts into The Skyline: A Critical Sociomateriality Case Study of London's 'Sustainable' Skyscraper, the Strata SE1.James E. Baker - 2020 - Environment, Space, Place 12 (2):82-111.
    Abstract:Sustainable development and built heritage are oft-naturalized hegemonic discourses of the dominant social class. However, under the lens of critical sociomateriality, these categories destabilize—and in Brexit-era London, epicenter of a financial and technological capitalist circulatory space, “all that is solid melts” into the scopal regime of London's View Management Framework (LVMF). Analyzing multiple discourses of Southwark's Strata SE1— billed London's first “sustainable tower”—and adaptive reuse of the historically preserved Lambeth Water Tower, I argue that these structures constitute ‘interface objects’ (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Knowledge of Abstract Objects in Physics and Mathematics.Michael J. Shaffer - 2017 - Acta Analytica 32 (4):397-409.
    In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences.John Woods - 2002 - New York: Cambridge University Press.
    In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are rife with internal divisions between different, often incompatible, systems. Do these disagreements admit of resolution? Can such resolution be achieved without disturbing assumptions that the theorems of logic and mathematics state objective truths about the real world? In this original and historically rich book John Woods explores apparently intractable disagreements in (...)
     
    Export citation  
     
    Bookmark   37 citations  
  24.  65
    Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
    An algebraization of multi-signature first-order logic without terms is presented. Rather than following the traditional method of choosing a type of algebras and constructing an appropriate variety, as is done in the case of cylindric and polyadic algebras, a new categorical algebraization method is used: The substitutions of formulas of one signature for relation symbols in another are treated in the object language. This enables the automatic generation via an adjunction of an algebraic theory. The algebras of this theory are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  58
    Different Paths, Different Summits: A Model for Religious Pluralism (review). [REVIEW]John B. Cobb - 2005 - Philosophy East and West 55 (2):367-370.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Different Paths, Different Summits: A Model for Religious PluralismJohn B. Cobb Jr.Different Paths, Different Summits: A Model for Religious Pluralism. By Stephen Kaplan. Lanham, MD: Rowman and Littlefield, 2002. Pp. xi + 187.Those of us who believe that religious traditions are radically different from one another are divided between two camps. One camp holds that they are simply incommensurable. Participants in this camp often emphasize the decisive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  47
    Book Review: Ad Infinitum: The Ghost in Turing's Machine: Taking God Out of Mathematics and Putting the Body Back In. [REVIEW]Tony E. Jackson - 1995 - Philosophy and Literature 19 (2):390-391.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Ad Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back InTony E. JacksonAd Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back In, by Brian Rotman; xii & 203 pp. Stanford: Stanford University Press, 1993, $39.50 cloth, $12.95 paper.Brian Rotman’s book attempts to pull mathematics—the last, most solid home of metaphysical thought—off its (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  8
    For a Non-Violent Accord: Educating the Person.Marie-Louise Martinez & William Mishler - 1999 - Contagion: Journal of Violence, Mimesis, and Culture 6 (1):55-76.
    In lieu of an abstract, here is a brief excerpt of the content:FOR A NON-VIOLENT ACCORD: EDUCATING THE PERSON Marie-Louise Martinez Education has been criticized, no doubt justly, for the symbolic violence of its prohibitions and exclusionary rituals that mirror the violence of society (Bourdieu, etc.). But this criticism is short-sighted. When restraints are removed in teaching and education (in the family and in the school), violence wells up anew and produces at least the following two results: access (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Deriving and validating Kripkean claims using the theory of abstract objects.Edward N. Zalta - 2006 - Noûs 40 (4):591–622.
    In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  37
    Objective and subjective views of knowledge and their implications for system design.Ray J. Paul & Robert D. Macredie - 1997 - AI and Society 11 (1-2):1-5.
    This short paper will discuss the background to the special issue through a consideration of the basic knowledge representation issues in AI. We will briefly introduce the symbolic and sub-symbolic representations which are traditionally associated with AI, before noting the socially constructed views of knowledge with which they are at odds and the techniques for knowledge elicitation which they use. This forms the context against which this special issues sits, highlighting the broad view of knowledge elicitation and representation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  61
    How Can Abstract Objects of Mathematics Be Known?†.Ladislav Kvasz - 2019 - Philosophia Mathematica 27 (3):316-334.
    The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  87
    On the Hegelian sublime: Paul de man's judgment call.Martin Donougho - 2001 - Philosophy and Rhetoric 34 (1):1-20.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.1 (2001) 1-20 [Access article in PDF] On the Hegelian Sublime: Paul de Man's Judgment Call Martin Donougho In recent years, the sublime has become a focus of renewed interest in philosophy and literary theory, despite being (perhaps in part because it is) "the most confused and confusing notion of the time" (Honour 1977, 145). 1 Much of the interest has been directed at the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  8
    Symbolic Algebra as a Semiotic System.Ladislav Kvasz - 2024 - In Bharath Sriraman, Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 3101-3133.
    The invention of symbolic algebra in the sixteenth and seventeenth centuries fundamentally changed the way we do mathematics. If we want to understand this change and appreciate its importance, we must analyze it on two levels. One concerns the compositional function of algebraic symbols as tools for representing complexity; the other concerns the referential function of algebraic symbols, which enables their use as tools for describing objects (such as polynomials), properties (such as irreducibility), relations (such as divisibility), and operations (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  48
    Mechanizing principia logico-metaphysica in functional type theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2019 - Review of Symbolic Logic:1-13.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Mechanizing principia logico-metaphysica in functional type-theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2018 - Review of Symbolic Logic 13 (1):206-218.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. (1 other version)The symbol grounding problem.Stevan Harnad - 1990 - Physica D 42:335-346.
    There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of their shapes, be (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   371 citations  
  36. The System of Objects of Civil Rights: Problem of Concepts.Asta Jakutytė-Sungailienė - 2012 - Jurisprudencija: Mokslo darbu žurnalas 19 (1):143-157.
    The Civil Code of Lithuania (1964), in force until 2000, did not regulate the objects of civil rights, thus Chapter V of Part III of Book I of the Civil Code of Lithuania is a significant novelty. Several approaches to an abstract definition of the objects of civil rights still exists in the legal doctrine: whether the object of civil rights and the object of the civil relationship coincide; is the object of civil rights an element of the civil (...)
     
    Export citation  
     
    Bookmark  
  37.  78
    Birth of an Abstraction: A Dynamical Systems Account of the Discovery of an Elsewhere Principle in a Category Learning Task.Whitney Tabor, Pyeong W. Cho & Harry Dankowicz - 2013 - Cognitive Science 37 (7):1193-1227.
    Human participants and recurrent (“connectionist”) neural networks were both trained on a categorization system abstractly similar to natural language systems involving irregular (“strong”) classes and a default class. Both the humans and the networks exhibited staged learning and a generalization pattern reminiscent of the Elsewhere Condition (Kiparsky, 1973). Previous connectionist accounts of related phenomena have often been vague about the nature of the networks’ encoding systems. We analyzed our network using dynamical systems theory, revealing topological and geometric (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  34
    Semantics and Abstract Objects.W. V. Quine & Max Black - 1952 - Journal of Symbolic Logic 17 (2):136-137.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  92
    The Tacit Dimension.Thomas Fuchs - 2001 - Philosophy, Psychiatry, and Psychology 8 (4):323-326.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 8.4 (2001) 323-326 [Access article in PDF] The Tacit Dimension Thomas Fuchs Thirty years after its appearance, Blankenburg's "Psychopathology of common sense" has not lost its relevance. In my commentary I will try to illustrate the fruitfulness of his approach by pointing to some connections with the phenomenology of the body as well as with recent memory and infant research.As Blankenburg himself indicates, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40.  16
    Themes of Islamic Civilization (review). [REVIEW]Robert Elias Abu Shanab - 1973 - Journal of the History of Philosophy 11 (1):117-119.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 117 of both. He is free to turn from things to their ideas, from objects to concepts. This turn is the soul's movement towards itself and the noetic. It is free from empirical reality; its reflections start from hypotheses making use of the sensible as symbol only. In this way it links the sensible to the intelligible and forces, so to speak, their relation to each (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Transcendence, Immanence, and Ultimacy: The Theological Adequacy of Religious Naturalism.Jeffrey B. Speaks - 2024 - American Journal of Theology and Philosophy 45 (2):44-59.
    In lieu of an abstract, here is a brief excerpt of the content:Transcendence, Immanence, and Ultimacy: The Theological Adequacy of Religious NaturalismJeffrey B. Speaks (bio)I. IntroductionIn the Introduction of Volume II of his Systematic Theology, Paul Tillich positions his “self-transcendent” and “ecstatic” conception of God as a via media that moves beyond the conflict of supranaturalism and naturalism.1 While Tillich’s rejection of Supranaturalism (i.e., God as a being, or the highest being) and more aggressively reductive forms of naturalism (i.e., (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Meinong's Theory Of Objects And Hilbert's $\epsilon$-symbol.N. C. A. da Costa, F. Doria & N. Papavero - 1991 - Reports on Mathematical Logic.
    We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.
     
    Export citation  
     
    Bookmark  
  43. Building a System for Finding Objections to an Argument.Douglas Walton - 2012 - Argumentation 26 (3):369-391.
    Abstract This paper addresses the role that argumentation schemes and argument visualization software tools can play in helping to find and counter objections to a given argument one is confronted with. Based on extensive analysis of features of the argumentation in these two examples, a practical four-step method of finding objections to an argument is set out. The study also applies the Carneades Argumentation System to the task of finding objections to an argument, and shows how this system has (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  66
    Two Routes "To Concreteness" in the Work of the Bakhtin Circle.Craig Brandist - 2002 - Journal of the History of Ideas 63 (3):521.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 63.3 (2002) 521-537 [Access article in PDF] Two Routes "to Concreteness" in the Work of the Bakhtin Circle Craig Brandist In 1918 the young Georg Lukács published an obituary of the last major Baden School neo-Kantian Emil Lask in which the latter's varied work was commended for being "underlain by an essential common drive [Drang]: the drive to concreteness." 1 This "drive" (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  19
    The Idiot Patrick Bateman.Fabrizio Arcuri - 2024 - Contagion: Journal of Violence, Mimesis, and Culture 31 (1):177-201.
    In lieu of an abstract, here is a brief excerpt of the content:The Idiot Patrick BatemanA New Configuration of Caricatural "Ultra-Christianity"Fabrizio Arcuri (bio)INTRODUCTIONThis paper1 aims to analyze the figure of Patrick Bateman, the protagonist of the novel American Psycho,2 through René Girard's mimetic theory. It links the character created by Bret Easton Ellis to the concept of caricatural "ultra-Christianity," meaning the degeneration of Christian-based concern for innocent victims.Methodologically, it adopts the approach of the sociology of the imaginary, which is (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  67
    The Language of Reciprocity in Euripides' Medea.Melissa Mueller - 2001 - American Journal of Philology 122 (4):471-504.
    In lieu of an abstract, here is a brief excerpt of the content:The Language of Reciprocity in Euripides' MedeaMelissa MuellerEuripides' Medea is a character who is adept at speaking many languages. To the chorus of Corinthian women, she presents herself as a woman like any other, but with fewer resources; to Jason in the agōn she speaks as if man to man, articulating her claim to the appropriate returns of charis and philia. Even when she addresses herself, in the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  6
    Mathematical sciences as symbolic form: the objects and objectivity of science in Ernst Cassirer’s philosophy of science and culture.Jørgen Røysland Aarnes - 2024 - Continental Philosophy Review 57 (3):305-324.
    In this paper, I explore how Cassirer’s early and mature epistemology, philosophy of science, and philosophy of culture make up a coherent and comprehensive view of the mathematical sciences that is fruitful for understanding contemporary science. In Cassirer’s first systematic work, Substanzbegriff und Funktionsbegriff, the mathematical sciences are understood through the concept of function. This implies that scientific investigation aims at increased unity in a system of functional concepts, rather than at answering the substance-rooted question of what is. In his (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  56
    Schutz’ Semiotics and the Symbolic Construction of Reality.Michael M. Hanke - 2016 - Schutzian Research 8:103-120.
    Some decades before Umberto Eco refounded semiotics in the sixties, Alfred Schutz had already elaborated a theory on signs and symbols. Moreover, as Schutz himself affirms, neither was he the first to do so. The thoughts of Charles Sanders Peirce had already clearly influenced American pragmatism, and thinkers like George Herbert Mead and Ernst Cassirer had developed a theory of symbols, both referred to by Schutz in his later works. Nonetheless, sign theory was already present in his first book, Der (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Mind, Meaning, and the Brain.Thomas Fuchs - 2002 - Philosophy, Psychiatry, and Psychology 9 (3):261-264.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.3 (2002) 261-264 [Access article in PDF] Mind, Meaning, and the Brain Thomas Fuchs, MD, PhD Keywords: Mind, brain, meaning, translation, depression. A Systemic View of the Mind Progress in brain research over the past two decades demonstrates the power of the neurobiological paradigm. However, this progress is connected with a restricted field of vision typical of any scientific paradigm. The psychiatrist should be (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  29
    The Tyrant's Writ: Myths and Images of Writing in Ancient Greece (review).Thomas Cole - 1996 - American Journal of Philology 117 (1):145-148.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Tyrant’s Writ: Myths and Images of Writing in Ancient GreeceThomas ColeDeborah T. Steiner. The Tyrant’s Writ: Myths and Images of Writing in Ancient Greece. Princeton: Princeton University Press, 1994. xiv + 279 pp. Cloth, price not stated.Literacy, as the author correctly points out in her introduction (5), tends to be seen nowadays as “a tool of cultural progress, of rational thought, of scientific analysis, a critical (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 983