Results for ' lambda-term'

951 found
Order:
  1. Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), resource sensitivity, binding, and anaphora. kluwer. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.
    In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
    The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
    This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation,
    The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  7. On The Sense and Reference of A Logical Constant.Harold Hodes - 2004 - Philosophical Quarterly 54 (214):134-165.
    Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  8. Generality.Nathan Salmon - 2012 - Philosophical Studies 161 (3):471-481.
    A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Transparent quantification into hyperpropositional contexts de re.Duží Marie & Bjørn Jespersen - 2012 - Logique & Analyse 55 (220):513-554.
    This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Aristotle, Metaphysics Λ Introduction, Translation, Commentary A Speculative Sketch devoid God.Erwin Sonderegger - manuscript
    The present text is the revised and corrected English translation of the book published in German by the Lang Verlag, Bern 2008. Unfortunately the text still has some minor flaws (especially in the Index Locorum) but they do not concern the main thesis or the arguments. It will still be the final version, especially considering my age. It is among the most widespread and the least questioned convictions that in Metaphysics Lambda Aristotle presents a theology which has its basis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Environmental History and Disaster Readings. [REVIEW]Ehdr First Term - 2022
    Environmental History and Disaster Readings. EHDR 2022, First Term 2022.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.
    In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. ""Lambda theory: Introduction of a constant for" nothing" into set theory, a model of consistency and most noticeable conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Context Update for Lambdas and Vectors.Reinhard Muskens & Mehrnoosh Sadrzadeh - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Rétoré (eds.), Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Berlin, Germany: Springer. pp. 247--254.
    Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Lambda in Sentences with Designators.Nathan Salmon - 2010 - Journal of Philosophy 107 (9):445–468.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  16. (1 other version)L'esordio del libro Lambda della Metafisica.Silvia Fazzo - 2008 - Rivista di Filosofia Neo-Scolastica 100 (2):159-181.
    The particular subject of this article is the very first sentence of Aristotle’s Metaphysics book Lambda: what does it really mean? I would stick to the most generous sense: (Aristotelian) theoria is about substance. Indeed, it has been often held that Lambda ignores the so-called focal meaning, and shows a remarkably rough stage of Aristotle’s conception of prime philosophy. By contrast, in this light, the very incipit of Lambda appears to testify Aristotle’s concern in an ontological foundation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
    It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. Aristotle, Term Logic, and QUARC.Jonas Raab - 2024 - In George Englebretsen (ed.), New Directions in Term Logic. London: College Publications. pp. 427-503.
    Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, and that a logic closer to Aristotle's is better suited (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Lambda 7. 1072 b 2-3.Silvia Fazzo - 2002 - Elenchos: Rivista di Studi Sul Pensiero Antico 23 (2):357-376.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Static and dynamic vector semantics for lambda calculus models of natural language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  51
    Modeling Term Structure of Cross-Currency Interest Rates.Tim Xiao - manuscript
    This article proposes a term structure model for dual-currency interest rate markets. The model assumes that volatility is a deterministic function of time alone. This volatility structure can reduce the dimension of the required state variables. An important special case is presented, which corresponds essentially to a Vasicek/Hull-White yield curve model in each currency. The model is very useful for pricing cross-currency derivatives.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
    We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Long-Term Trajectories of Human Civilization.Seth D. Baum, Stuart Armstrong, Timoteus Ekenstedt, Olle Häggström, Robin Hanson, Karin Kuhlemann, Matthijs M. Maas, James D. Miller, Markus Salmela, Anders Sandberg, Kaj Sotala, Phil Torres, Alexey Turchin & Roman V. Yampolskiy - 2019 - Foresight 21 (1):53-83.
    Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Kind terms and semantic uniformity.Andrea Bianchi - 2022 - Philosophia 50 (1):7-17.
    Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. (3 other versions)Derogatory Terms: Racism, Sexism and the Inferential Role Theory of Meaning.Lynne Tirrell - 1999 - In Kelly Oliver & Christina Hendricks (eds.), Language and Liberation: Feminism, Philosophy, and Language. SUNY Press.
    Derogatory terms (racist, sexist, ethnic, and homophobic epithets) are bully words with ontological force: they serve to establish and maintain a corrupt social system fuelled by distinctions designed to justify relations of dominance and subordination. No wonder they have occasioned public outcry and legal response. The inferential role analysis developed here helps move us away from thinking of the harms as being located in connotation (representing mere speaker bias) or denotation (holding that the terms fail to refer due to inaccurate (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  26. Eliminating Terms of Confusion: Resolving the Liberal–Republican Dispute.Lars J. K. Moen - 2022 - The Journal of Ethics 26 (2):247–271.
    John Rawls thinks republicanism is compatible with his political liberalism. Philip Pettit insists that the two conflict in important ways. In this paper, I make sense of this dispute by employing David Chalmers’s method of elimination to reveal the meaning underlying key terms in Rawls’s political liberalism and Pettit’s republicanism. This procedure of disambiguating terms will show how the two theories defend the same institutional arrangement on the same grounds. The procedure thus vindicates Rawls’s view of the two theories being (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. How Are Thick Terms Evaluative?Brent G. Kyle - 2013 - Philosophers' Imprint 13:1-20.
    Ethicists are typically willing to grant that thick terms (e.g. ‘courageous’ and ‘murder’) are somehow associated with evaluations. But they tend to disagree about what exactly this relationship is. Does a thick term’s evaluation come by way of its semantic content? Or is the evaluation pragmatically associated with the thick term (e.g. via conversational implicature)? In this paper, I argue that thick terms are semantically associated with evaluations. In particular, I argue that many thick concepts (if not all) (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  28. (1 other version)Long-Term Potentiation: One Kind or Many?Jacqueline Sullivan - 2017 - In Marcus P. Adams, Zvi Biener, Uljana Feest & Jacqueline Anne Sullivan (eds.), Eppur Si Muove: Doing History and Philosophy of Science with Peter Machamer: A Collection of Essays in Honor of Peter Machamer. Dordrecht: Springer. pp. 127-140.
    Do neurobiologists aim to discover natural kinds? I address this question in this chapter via a critical analysis of classification practices operative across the 43-year history of research on long-term potentiation (LTP). I argue that this 43-year history supports the idea that the structure of scientific practice surrounding LTP research has remained an obstacle to the discovery of natural kinds.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Fair Terms of Social Cooperation Among Equals.Michael Otsuka - forthcoming - Journal of Practical Ethics.
    Rawlsian justice as fairness is neither fundamentally luck egalitarian nor relational egalitarian. Rather, the most fundamental idea is that of society as a fair system of cooperation. Collective pensions provide a case study which illustrates the fruitfulness of conceiving justice in these latter terms. Those who have recently reached the age of majority do not now know how long they will live in retirement or how well any investments they try to save up for their retirement would fare. From the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. “The term ‘function’ has no place outside mathematics”: is this even coherent?Terence Rajivan Edward - manuscript
    This paper argues that a criticism attributed to Gregory Bateson – that the term ‘function’ is from mathematics and has no place in social science – looks incoherent, when subject to clarification.
    Download  
     
    Export citation  
     
    Bookmark  
  31. Confused Terms in Ordinary Language.Greg Frost-Arnold & James R. Beebe - 2020 - Journal of Logic, Language and Information 29 (2):197-219.
    Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. The Classes of Moral Terms.Peter Glassen - 1959 - Methodos 11:223-244.
    Glassen distinguishes various categories of moral terms that are nowadays often confused, conflated, or neglected.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Color Terms and Semantic Externalism.Åsa Wikforss - 2012 - Croatian Journal of Philosophy 12 (3):399-420.
    The paper discusses whether the color terms should be given an externalist semantics. In the literature on the semantics of color terms externalism is standardly taken for granted, and Twin Earth style arguments play a central role. This is notable given that few people would claim that semantic externalism applies across the board, to all types of terms. Why, then, should the color terms belong with this group of terms? I argue that the standard externalist strategies, introduced by Tyler Burge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Empty natural kind terms and dry earth.Corine Besson - 2012 - Erkenntnis 76 (3):403-425.
    This paper considers the problem of assigning meanings to empty natural kind terms. It does so in the context of the Twin-Earth externalist-internalist debate about whether the meanings of natural kind terms are individuated by the external physical environment of the speakers using these terms. The paper clarifies and outlines the different ways in which meanings could be assigned to empty natural kind terms. And it argues that externalists do not have the semantic resources to assign them meanings. The paper (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  35. Thick Terms and Secondary Contents.Felka Katharina & Franzén Nils - 2024 - Festschrift for Matti Eklund.
    In recent literature many theorists, including Eklund (2011), endorse or express sympathy towards the view that the evaluative content of thick terms is not asserted with utterances of sentences containing them but rather part of their secondary content. In this article we discuss a number of features of thick terms which speak against this view. We further argue that these features are not shared by another, recently much-discussed, class of hybrid evaluative terms, so-called slurs, and that the evaluative contents of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Is Long-Term Thinking a Trap?: Chronowashing, Temporal Narcissism, and the Time Machines of Racism.Michelle Bastian - 2024 - Environmental Humanities 16 (2):403–421.
    This provocation critiques the notion of long-term thinking and the claims of its proponents that it will help address failures in dominant conceptions of time, particularly in regard to environmental crises. Drawing on analyses of the Clock of the Long Now and Kim Stanley Robinson’s The Ministry for the Future, the article suggests that we be more wary of the concept’s use in what we might call chronowashing. Like the more familiar greenwashing, where environmental issues are hidden by claims (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Technical Terms Used in General English Textbooks Across Disciplines.Sammy Q. Dolba - 2022 - Universal Journal of Educational Research 1 (3):164-170.
    The study aimed to analyze lexical items underpinned in the textbooks used in the current teaching of ESP and GE. Using content analysis, a systematic evaluation of texts to examine nuances to bridge the gap between quantitative and qualitative data. This was such of importance, however, difficult to study due to issues of interest like in the study, frequency of lexical items in ESP, and GE textbooks. Results found 13,713 lexical items in Hospitality Management, 17,561 in Criminology, 4576 in Tourism, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Terms in Bondage.Nathan Salmon - 2006 - Philosophical Issues 16 (1):263–274.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  39. A Prioridade Ontológica das Substâncias Imóveis segundo o livro Lambda da Metafísica de Aristóteles.Meline Costa Souza - 2018 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 22:65-97.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Rigid general terms and essential predicates.Ilhan Inan - 2008 - Philosophical Studies 140 (2):213 - 228.
    What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Mixtures and Mass Terms.David Nicolas - 2021 - Dialectica 75 (1).
    In this article, I show that the semantics one adopts for mass terms constrains the metaphysical claims one can make about mixtures. I first expose why mixtures challenge a singularist approach based on mereological sums. After discussing an alternative, non-singularist approach, I take chemistry into account and explain how it changes our perspective on these issues.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Rigidity, natural kind terms and metasemantics.Corine Besson - 2010 - In Helen Beebee & Nigel Sabbarton-Leary (eds.), The Semantics and Metaphysics of Natural Kinds. New York: Routledge. pp. 25--44.
    A paradigmatic case of rigidity for singular terms is that of proper names. And it would seem that a paradigmatic case of rigidity for general terms is that of natural kind terms. However, many philosophers think that rigidity cannot be extended from singular terms to general terms. The reason for this is that rigidity appears to become trivial when such terms are considered: natural kind terms come out as rigid, but so do all other general terms, and in particular all (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44. Mereological Sums and Singular Terms.Kathrin Koslicki - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford: Oxford University Press. pp. 209-235.
    The relative merits of standard mereology have received quite a bit of attention in recent years from metaphysicians concerned with the part/whole properties of material objects. A question that has not been pursued to the same degree, however, is what sort of semantic repercussions a commitment to mereological sums in the standard sense might have in particular on the predicted behavior of singular terms and our practices of using such terms to refer to objects. The apparent mismatch between our actual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  64
    Consciousness thought experiments with Non-Referential Terms.Paul Merriam & M. A. Z. Habeeb - manuscript
    This note (it is not a full-fledged academic paper) introduces a novel approach to classic thought experiments in consciousness studies through the incorporation of non-referential terms—symbols that present experiences directly rather than referring to them. By analyzing the Hard Problem, Knowledge Argument, Philosophical Zombies, and Spectrum Inversion thought experiments using both referential terms (like "blackness") and non-referential terms (like █), the paper reveals that many apparent philosophical puzzles arise from conflating referential descriptions with direct presentational experiences. The analysis shows that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  62
    The Semi-Future Democracy. A Liberal Theory of the Long-term View.Andre Santos Campos - 2024 - Edinburgh: Edinburgh University Press.
    Traditional institutions are often considered inadequate to govern for the long term as their politicians promote short-term thinking which can harm the future. This book proposes a novel theory of social time perception to address the short-term thinking of traditional institutions which threaten to stifle liberal democracies. The semi-future reconfigures liberal democracies’ franchises, representative instruments, deliberative practices, accountability mechanisms, and policymaking to include in the demos all citizens, regardless of age, and holders of representable objective interests in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Managing Dialogue in terms of Belief and Acceptance.Louis Caruana - manuscript
    This paper was presented at the 26th International Wittgenstein Symposium on “Knowledge and Belief”, Kirchberg am Wechsel, Austria (3rd - 10th August 2003). The focus of study is a dialogue situation in which one party holds that P while the other holds that ~P. A simple way to establish harmony between the parties in dialogue is to insist that each should include the other’s point of view. This is unsatisfactory because it results in an inconsistent set of beliefs. Clarity is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Terms of Endearment: The Displacement of Inday (20th edition).Ruel Nalam & Hazel Biana - 2020 - Asia-Pacific Social Science Review 20 (3):102-110.
    The term inday implies two possible meanings depending on where one is in the Philippines. In the Luzon group of islands, more specifically in Metro Manila, inday refers to the female help, usually of Visayan descent. On the other hand, in the Visayas and Mindanao group of islands, inday is a term used for endearment and respect for female family members, friends, and women of influence. What this paper aims to do is to provide a theoretical grounding, through (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Natural phenomenon terms.Richard Gray - 2006 - Analysis 66 (2):141-148.
    In lecture III of Naming and Necessity, Kripke extends his claim that names are non-descriptive to natural kind terms, and in so doing includes a brief supporting discussion of terms for natural phenomena, in particular the terms ‘light’ and ‘heat’. Whilst natural kind terms continue to feature centrally in the recent literature, natural phenomenon terms have barely figured. The purpose of the present paper is to show how the apparent similarities between natural kind terms and the natural phenomenon terms on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Causation in terms of production.Holger Andreas & Mario Günther - 2020 - Philosophical Studies 177 (6):1565-1591.
    In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 951