Results for 'Semantic View of Computation'

998 found
Order:
  1. Semantics and the Computational Paradigm in Cognitive Psychology.Eric Dietrich - 1989 - Synthese 79 (1):119-141.
    There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  2. Situatedness and Embodiment of Computational Systems.Marcin Miłkowski - 2017 - Entropy 19 (4):162.
    In this paper, the role of the environment and physical embodiment of computational systems for explanatory purposes will be analyzed. In particular, the focus will be on cognitive computational systems, understood in terms of mechanisms that manipulate semantic information. It will be argued that the role of the environment has long been appreciated, in particular in the work of Herbert A. Simon, which has inspired the mechanistic view on explanation. From Simon’s perspective, the embodied view on cognition (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Syntactic Semantics: Foundations of Computational Natural Language Understanding.William J. Rapaport - 1988 - In James H. Fetzer (ed.), Aspects of AI. Kluwer Academic Publishers.
    This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  4. Cognitive Computation Sans Representation.Paul Schweizer - 2017 - In Thomas Powers (ed.), Philosophy and Computing: Essays in epistemology, philosophy of mind, logic, and ethics,. Cham, Switzerland: Springer. pp. 65-84.
    The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Conceptual Atomism and the Computational Theory of Mind: A Defense of Content-Internalism and Semantic Externalism.John-Michael Kuczynski - 2007 - John Benjamins & Co.
    Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Probabilistic Semantics for Epistemic Modals: Normality Assumptions, Conditional Epistemic Spaces, and the Strength of `Must' and `Might'.Guillermo Del Pinal - forthcoming - Linguistics and Philosophy:1-42.
    The epistemic modal auxiliaries 'must' and 'might' are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, 'must' is a maximally strong epistemic operator and 'might' is a bare possibility one. A competing account---popular amongst proponents of a probabilisitic turn---says that, given a body of evidence, 'must p' entails that Pr(p) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Computers Aren’T Syntax All the Way Down or Content All the Way Up.Cem Bozşahin - 2018 - Minds and Machines 28 (3):543-567.
    This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Towards a Computational Account of Inferentialist Meaning.Paul Piwek - 2014
    Both in formal and computational natural language semantics, the classical correspondence view of meaning – and, more specifically, the view that the meaning of a declarative sentence coincides with its truth conditions – is widely held. Truth (in the world or a situation) plays the role of the given, and meaning is analysed in terms of it. Both language and the world feature in this perspective on meaning, but language users are conspicuously absent. In contrast, the inferentialist semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. The Structure of Semantic Competence: Compositionality as an Innate Constraint of The Faculty of Language.Guillermo Del Pinal - 2015 - Mind and Language 30 (4):375–413.
    This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional constraints (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Turing Machines and Semantic Symbol Processing: Why Real Computers Don’T Mind Chinese Emperors.Richard Yee - 1993 - Lyceum 5 (1):37-59.
    Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Intrinsically Semantic Content and the Intentionality of Propositional Attitudes.Sudan A. Turner - 2004 - Dissertation, University of Washington
    ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  92
    The Epistemic Inadequacy of Ersatzer Possible World Semantics.Michael J. Shaffer & Jeremy Morris - 2010 - Logique Et Analyse 53:61-76.
    In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.
    In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  15. The Importance of Models in Theorizing: A Deflationary Semantic View.Stephen M. Downes - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:142 - 153.
    I critically examine the semantic view of theories to reveal the following results. First, models in science are not the same as models in mathematics, as holders of the semantic view claim. Second, when several examples of the semantic approach are examined in detail no common thread is found between them, except their close attention to the details of model building in each particular science. These results lead me to propose a deflationary semantic (...), which is simply that model construction is an important component of theorizing in science. This deflationary view is consistent with a naturalized approach to the philosophy of science. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  16. Scientific Realism, the Semantic View and Evolutionary Biology.Fabio Sterpetti - 2016 - In Emiliano Ippoliti, Fabio Sterpetti & Thomas Nickles (eds.), Models and Inferences in Science. Springer. pp. 55-76.
    The semantic view of theories is normally considered to be an ac-count of theories congenial to Scientific Realism. Recently, it has been argued that Ontic Structural Realism could be fruitfully applied, in combination with the semantic view, to some of the philosophical issues peculiarly related to bi-ology. Given the central role that models have in the semantic view, and the relevance that mathematics has in the definition of the concept of model, the fo-cus will (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. To Save the Semantic View: An Argument for Returning to Suppes' Interpretation.Thomas Cunningham - 2008
    Recent work on the semantic view of scientific theories is highly critical of the position. This paper identifies two common criticisms of the view, describes two popular alternatives for responding to them, and argues those responses do not suffice. Subsequently, it argues that retuning to Patrick Suppes’ interpretation of the position provides the conceptual resources for rehabilitating the semantic view.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface.Tista Bagchi -
    Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  20. Web 2.0 Vs. The Semantic Web: A Philosophical Assessment.Luciano Floridi - 2009 - Episteme 6 (1):25-37.
    The paper develops some of the conclusions, reached in Floridi (2007), concerning the future developments of Information and Communication Technologies (ICTs) and their impact on our lives. The two main theses supported in that article were that, as the information society develops, the threshold between online and offline is becoming increasingly blurred, and that once there won't be any significant difference, we shall gradually re-conceptualise ourselves not as cyborgs but rather as inforgs, i.e. socially connected, informational organisms. In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  36
    Philosophy of Computing and Information: 5 Questions.Luciano Floridi - 2008 - Copenhagen, Denmark: Automatic Press/VIP.
    Computing and information, and their philosophy in the broad sense, play a most important scientific, technological and conceptual role in our world. This book collects together, for the first time, the views and experiences of some of the visionary pioneers and most influential thinkers in such a fundamental area of our intellectual development.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  22. The Cognitive Basis of Computation: Putting Computation in Its Place.Daniel D. Hutto, Erik Myin, Anco Peeters & Farid Zahnoun - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. London: Routledge. pp. 272-282.
    The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  61
    Sense, Reference, and Computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.
    In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Expansion View of Thick Concepts.Brent G. Kyle - 2020 - Noûs 54 (4):914-944.
    This paper proposes a new Separabilist account of thick concepts, called the Expansion View (or EV). According to EV, thick concepts are expanded contents of thin terms. An expanded content is, roughly, the semantic content of a predicate along with modifiers. Although EV is a form of Separabilism, it is distinct from the only kind of Separabilism discussed in the literature, and it has many features that Inseparabilists want from an account of thick concepts. EV can also give (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  26. Between Singularity and Generality: The Semantic Life of Proper Names.Laura Delgado - 2019 - Linguistics and Philosophy 42 (4):381-417.
    Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, as Burge noted, proper names can (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Space as a Semantic Unit of a Language Consciousness.Vitalii Shymko & Anzhela Babadzhanova - 2020 - Psycholinguistics 27 (1):335-350.
    Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Investigations Into Information Semantics and Ethics of Computing.Gordana Dodig Crnkovic - 2006 - Dissertation, Mälardalen University
    http://www.diva-portal.org/mdh/theses/abstract.xsql?dbid=153.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Two Nondescriptivist Views of Normative and Evaluative Statements.Matthew Chrisman - 2018 - Canadian Journal of Philosophy 48 (3-4):405-424.
    The dominant route to nondescriptivist views of normative and evaluative language is through the expressivist idea that normative terms have distinctive expressive roles in conveying our attitudes. This paper explores an alternative route based on two ideas. First, a core normative term ‘ought’ is a modal operator; and second, modal operators play a distinctive nonrepresentational role in generating meanings for the statements in which they figure. I argue that this provides for an attractive alternative to expressivist forms of nondescriptivism about (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Artificial Evil and the Foundation of Computer Ethics.Luciano Floridi & J. W. Sanders - 2001 - Springer Netherlands.
    Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  31. A Contextualist Account of the Linguistic Reality.Maciej Witek - 2008 - In Joanna Odrowąż-Sypniewska (ed.), Logic, Methodology and Philosophy of Science at Warsaw University 4. Semper.
    In this paper I consider the idea of external language and examine the role it plays in our understanding of human linguistic practice. Following Michael Devitt, I assume that the subject matter of a linguistic theory is not a psychologically real computational module, but a semiotic system of physical entities equipped with linguistic properties. 2 What are the physical items that count as linguistic tokens and in virtue of what do they possess phonetic, syntactic and semantic properties? According to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  49
    Artificial Evil and the Foundation of Computer Ethics.L. Floridi & J. Sanders - 2000 - Etica E Politica 2 (2).
    Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  33.  53
    Use of Cloud Computing in University Libraries In View of the Technology Acceptance Model.Ahmewd L. Ferdi - 2017 - Iraqi Journal for Information 8 (12):98-131.
    Cloud computing is considered as a new type of technology, in fact, it is an extension of the information technology's developments which are based on the pooling of resources and infrastructure to provide services depend on using the cloud, in the sense that instead of these services and resources exist on local servers or personal devices, they are gathered in the cloud and be shared on the Internet. This technology has achieved an economic success no one can deny it and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  64
    Tools for Evaluating the Consequences of Prior Knowledge, but No Experiments. On the Role of Computer Simulations in Science.Eckhart Arnold - manuscript
    There is an ongoing debate on whether or to what degree computer simulations can be likened to experiments. Many philosophers are sceptical whether a strict separation between the two categories is possible and deny that the materiality of experiments makes a difference (Morrison 2009, Parker 2009, Winsberg 2010). Some also like to describe computer simulations as a “third way” between experimental and theoretical research (Rohrlich 1990, Axelrod 2003, Kueppers/Lenhard 2005). In this article I defend the view that computer simulations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  98
    Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. A Cognitive View of Relevant Implication.Daniele Porello & Claudio Masolo - 2015 - In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni & Manuela Sanguinietti (eds.), Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28-29, 2015. pp. 40--53.
    Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usually explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively relevant aspects in the de nition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. A Pragmatic View of Proper Name Reference.Peter Ridley - 2016 - Dissertation, King's College London
    I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which generally requires (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. The False Dichotomy Between Causal Realization and Semantic Computation.Marcin Miłkowski - 2017 - Hybris. Internetowy Magazyn Filozoficzny 38:1-21.
    In this paper, I show how semantic factors constrain the understanding of the computational phenomena to be explained so that they help build better mechanistic models. In particular, understanding what cognitive systems may refer to is important in building better models of cognitive processes. For that purpose, a recent study of some phenomena in rats that are capable of ‘entertaining’ future paths (Pfeiffer and Foster 2013) is analyzed. The case shows that the mechanistic account of physical computation may (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. The Semantics and Pragmatics of Complex Demonstratives.Ernest Lepore & Kirk Ludwig - 2000 - Mind 109 (434):199-240.
    Complex demonstratives, expressions of the form 'That F', 'These Fs', etc., have traditionally been taken to be referring terms. Yet they exhibit many of the features of quantified noun phrases. This has led some philosophers to suggest that demonstrative determiners are a special kind of quantifier, which can be paraphrased using a context sensitive definite description. Both these views contain elements of the truth, though each is mistaken. We advance a novel account of the semantic form of complex demonstratives (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  41.  58
    Semantic Information and the Correctness Theory of Truth.Luciano Floridi - 2011 - Erkenntnis 74:147-175.
    Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  42.  63
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. The Semantics of Mass-Predicates.Kathrin Koslicki - 1999 - Noûs 33 (1):46-91.
    Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  44. The Semantics of Belief Ascriptions.Michael McKinsey - 1999 - Noûs 33 (4):519-557.
    nated discussion of the semantics of such verbs. I will call this view.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  45. Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Scientific Knowledge in the Age of Computation.Sophia Efstathiou, Rune Nydal, Astrid LÆgreid & Martin Kuiper - 2019 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 34 (2):213-236.
    With increasing publication and data production, scientific knowledge presents not simply an achievement but also a challenge. Scientific publications and data are increasingly treated as resources that need to be digitally ‘managed.’ This gives rise to scientific Knowledge Management : second-order scientific work aiming to systematically collect, take care of and mobilise first-hand disciplinary knowledge and data in order to provide new first-order scientific knowledge. We follow the work of Leonelli, Efstathiou and Hislop in our analysis of the use of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  63
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  52
    Observability of Turing Machines: A Refinement of the Theory of Computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
    The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  49. Chains of Reference in Computer Simulations.Franck Varenne - 2013 - FMSH Working Papers 51:1-32.
    This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Understanding Understanding: Syntactic Semantics and Computational Cognition.William J. Rapaport - 1995 - Philosophical Perspectives 9:49-88.
    John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
1 — 50 / 998