Results for 'bounded formulas'

895 found
Order:
  1. Strategic Reasoning: Building Cognitive Models from Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
    This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
    We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
    In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi - 2020 - Reports on Mathematical Logic 55:73–85.
    It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  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 specific sequence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  7. (1 other version)Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Kant's Universal Law and Humanity Formulae.Damian Williams - forthcoming - Forthcoming.
    Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Physics without Formulae.Rowan Grigg - unknown
    A scheme to help merge the ideas of quantum gravity.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Why bounded rationality (in epistemology)?David Thorstad - 2024 - Philosophy and Phenomenological Research 108 (2):396-413.
    Bounded rationality gets a bad rap in epistemology. It is argued that theories of bounded rationality are overly context‐sensitive; conventionalist; or dependent on ordinary language (Carr, 2022; Pasnau, 2013). In this paper, I have three aims. The first is to set out and motivate an approach to bounded rationality in epistemology inspired by traditional theories of bounded rationality in cognitive science. My second aim is to show how this approach can answer recent challenges raised for theories (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.
    The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  13. Bounded Reflectivism and Epistemic Identity.Nick Byrd - 2021 - Metaphilosophy 53 (1):53-69.
    Reflectivists consider reflective reasoning crucial for good judgment and action. Anti-reflectivists deny that reflection delivers what reflectivists seek. Alas, the evidence is mixed. So, does reflection confer normative value or not? This paper argues for a middle way: reflection can confer normative value, but its ability to do this is bound by such factors as what we might call epistemic identity: an identity that involves particular beliefs—for example, religious and political identities. We may reflectively defend our identities’ beliefs rather than (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Binding bound variables in epistemic contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.
    ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. Human bounds: rationality for our species.Adam Morton - 2010 - Synthese 176 (1):5 - 21.
    Is there such a thing as bounded rationality? I first try to make sense of the question, and then to suggest which of the disambiguated versions might have answers. We need an account of bounded rationality that takes account of detailed contingent facts about the ways in which human beings fail to perform as we might ideally want to. But we should not think in terms of rules or norms which define good responses to an individual's limitations, but (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Two paradoxes of bounded rationality.David Thorstad - 2022 - Philosophers' Imprint 22.
    My aim in this paper is to develop a unified solution to two paradoxes of bounded rationality. The first is the regress problem that incorporating cognitive bounds into models of rational decisionmaking generates a regress of higher-order decision problems. The second is the problem of rational irrationality: it sometimes seems rational for bounded agents to act irrationally on the basis of rational deliberation. I review two strategies which have been brought to bear on these problems: the way of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. (1 other version)The Bounds of Sense.Adrian W. Moore - 2006 - Philosophical Topics 34 (1-2):327-344.
    This essay was written for a special issue of Philosophical Topics on the links between Kant and analytic philosophy. It explores these links through consideration of: Wittgenstein’s Tractatus; the logical positivism endorsed by Ayer; and the (very different) variation on that theme endorsed by Quine. It is argued that in all three cases we see analytic philosophers trying to attain and express a general philosophical understanding of why the bounds of sense should be drawn where they should—but thereby confronting the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.
    By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. (1 other version)Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Bounded Modality.Matthew Mandelkern - 2019 - Philosophical Review 128 (1):1-61.
    What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  21. Negativity Bounds for Weyl–Heisenberg Quasiprobability Representations.John B. DeBrota & Christopher A. Fuchs - 2017 - Foundations of Physics 47 (8):1009-1030.
    The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Formulas for Computable and Non-Computable Functions.Samuel Alexander - 2006 - Rose-Hulman Undergraduate Mathematics Journal 7 (2).
    Download  
     
    Export citation  
     
    Bookmark  
  23. Maxim Consequentialism for Bounded Agents.Mayank Agrawal & David Danks - manuscript
    Normative moral theories are frequently invoked to serve one of two distinct purposes: (1) explicate a criterion of rightness, or (2) provide an ethical decision-making procedure. Although a criterion of rightness provides a valuable theoretical ideal, proposed criteria rarely can be (nor are they intended to be) directly translated into a feasible decision-making procedure. This paper applies the computational framework of bounded rationality to moral decision-making to ask: how ought a bounded human agent make ethical decisions? We suggest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  75
    Tractable depth-bounded approximations to some propositional logics. Towards more realistic models of logical agents.A. Solares-Rojas - 2022 - Dissertation, University of Milan
    The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Lower Bounds of Ambiguity and Redundancy.Steven James Bartlett - 1978 - Poznań Studies in the Philosophy of Science 4 (1-4):37-48.
    The elimination of ambiguity and redundancy are unquestioned goals in the exact sciences, and yet, as this paper shows, there are inescapable lower bounds that constrain our wish to eliminate them. The author discusses contributions by Richard Hamming (inventor of the Hamming code) and Satosi Watanabe (originator of the Theorems of the Ugly Duckling). Utilizing certain of their results, the author leads readers to recognize the unavoidable, central roles in effective communication, of redundancy, and of ambiguity of meaning, reference, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. The Bounds of freedom.Galen Strawson - 2001 - In Robert Kane (ed.), The Oxford Handbook of Free Will. New York: Oxford University Press. pp. 441-460.
    The shortest form of the Basic Argument against free will and moral responsibility runs as follows: [1] When you act, you do what you do—in the situation in which you find yourself—because of the way you are. [2] If you do what you do because of the way you are, then in order to be fully and ultimately responsible for what you do you must be fully and ultimately responsible for the way you are. But [3] You cannot be fully (...)
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  27. Bound variables in syntax (Are there any?).Anna Szabolcsi - 1987 - In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amserdam.
    Current theories of grammar handle both extraction and anaphorization by introducing variables into syntactic representations. Combinatory categorial grammar eliminates variables corresponding to gaps. Using the combinator W, the paper extends this approach to anaphors, which appear to act as overt bound variables. [Slightly extended version in Bartsch et al 1989.].
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  28. Representing Concepts by Weighted Formulas.Daniele Porello & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. IOS Press. pp. 55--68.
    A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy.Harold T. Hodes - 1981 - Journal of Symbolic Logic 46 (4):753-760.
    Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. The Bounds of Possibility: Puzzles of Modal Variation. Cian Dorr and John Hawthorne, with Juhani Yli-Vakkuri.Phillip Bricker - 2023 - Journal of Philosophy 120 (9):511-520.
    Download  
     
    Export citation  
     
    Bookmark  
  31. Pushing the bounds of rationality: Argumentation and extended cognition.David Godden - 2016 - In Paglieri Fabio, Bonelli Laura & Felletti Silvia (eds.), The psychology of argument: Cognitive approaches to argumentation and persuasion. College Publications. pp. 67-83.
    One of the central tasks of a theory of argumentation is to supply a theory of appraisal: a set of standards and norms according to which argumentation, and the reasoning involved in it, is properly evaluated. In their most general form, these can be understood as rational norms, where the core idea of rationality is that we rightly respond to reasons by according the credence we attach to our doxastic and conversational commitments with the probative strength of the reasons we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Visual Memory and the Bounds of Authenticity.Sven Bernecker - 2015 - In Danièle Moyal-Sharrock, Volker Munz & Annalisa Coliva (eds.), Mind, Language and Action: Proceedings of the 36th International Wittgenstein Symposium. Boston: De Gruyter. pp. 445-464.
    It has long been known that memory need not be a literal reproduction of the past but may be a constructive process. To say that memory is a constructive process is to say that the encoded content may differ from the retrieved content. At the same time, memory is bound by the authenticity constraint which states that the memory content must be true to the subject's original perception of reality. This paper addresses the question of how the constructive nature of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  33. The Bounded Body. On the Sense of Bodily Ownership and the Experience of Space.Carlota Serrahima - 2023 - In M. Guillot & M. Garcia-Carpintero (eds.), Self-Experience: Essays on Inner Awareness. Oxford, GB: Oxford University Press.
    Bodily sensations are mental states typically suitable to be reported in judgments in which a first-person indexical is used to qualify the felt body. In other words, subjects typically have a sense of bodily ownership for the body that they feel in bodily sensations. This paper puts forward, firstly, three desiderata that theories on the sense of bodily ownership should meet. Secondly, it assesses two views that account for the sense of bodily ownership in terms of the spatial content of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Skull-bound perception and precision optimization through culture.Bryan Paton, Josh Skewes, Chris Frith & Jakob Hohwy - 2013 - Behavioral and Brain Sciences 36 (3):222-222.
    Clark acknowledges but resists the indirect mind–world relation inherent in prediction error minimization (PEM). But directness should also be resisted. This creates a puzzle, which calls for reconceptualization of the relation. We suggest that a causal conception captures both aspects. With this conception, aspects of situated cognition, social interaction and culture can be understood as emerging through precision optimization.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Games, goals, and bounded rationality.Leigh Tesfatsion - 1984 - Theory and Decision 17 (2):149-175.
    A generalization of the standard n-person game is presented, with flexible information requirements suitable for players constrained by bounded rationality. Strategies (complete contingency plans) are replaced by "policies," i. e., end-mean pairs of candidate goals and "controls" (partial contingency plans). The existence of individual objective functions over the joint policy choice set is axiomatized in terms of primitive preference and probability orders. Conditions are given for the existence of pure policy Nash equilibrium points in n-person games, and pure policy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Bohmian Classical Limit in Bounded Regions.Davide Romano - 2016 - In Felline Laura & L. Felline A. Paoli F. Ledda E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science (SILFS proceedings, vol. 3). College Publications. pp. 303-317.
    Bohmian mechanics is a realistic interpretation of quantum theory. It shares the same ontology of classical mechanics: particles following continuous trajectories in space through time. For this ontological continuity, it seems to be a good candidate for recovering the classical limit of quantum theory. Indeed, in a Bohmian framework, the issue of the classical limit reduces to showing how classical trajectories can emerge from Bohmian ones, under specific classicality assumptions. In this paper, we shall focus on a technical problem that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Bounded Mirroring. Joint action and group membership in political theory and cognitive neuroscience.Machiel Keestra - 2012 - In Frank Vandervalk (ed.), Thinking about the Body Politic: Essays on Neuroscience and Political Theory. Routledge. pp. 222--249.
    A crucial socio-political challenge for our age is how to rede!ne or extend group membership in such a way that it adequately responds to phenomena related to globalization like the prevalence of migration, the transformation of family and social networks, and changes in the position of the nation state. Two centuries ago Immanuel Kant assumed that international connectedness between humans would inevitably lead to the realization of world citizen rights. Nonetheless, globalization does not just foster cosmopolitanism but simultaneously yields the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Outrage and the Bounds of Empathy.Sukaina Hirji - 2022 - Philosophers' Imprint 22 (16).
    Often, when we are angry, we are angry at someone who has hurt us, and our anger is a protest against our perceived mistreatment. In these cases, its function is to hold the abuser accountable for their offense. The anger involves a demand for some sort of change or response: that the hurt be acknowledged, that the relationship be repaired, that the offending party reform in some way. In this paper, I develop and defend an account of a different form (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39. Circulation Bound: Hegel and Heidegger on the State.David Kolb - 1996 - In Kolb David (ed.), Phenomenology, Interpretation, and Community. SUNY Press.
    Download  
     
    Export citation  
     
    Bookmark  
  40. (1 other version)Pythagoras bound: Limit and unlimited in Plato's.David Kolb - 1983 - Journal of the History of Philosophy 21 (4):497-511.
    Studying Plato's "unwritten doctrines" in the light of his discussion of limit and unlimited in his dialogue Philebus. The essay raises also the question whether there is too much "atomism" in the usual presentation of Plato's Forms as individual absolute entities, rather than as themselves derived from a more fundamental limit/unlimited ontology.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. (1 other version)Universal hinges and the bounds of sense.Mark Fortney - 2019 - Philosophia:1-13.
    According to Danièle Moyal-Sharrock, Wittgenstein’s On Certainty presents a theory of hinges, and hinges have a role to play in a foundationalist epistemology (2013). Michael Williams (2005) and Annalisa Coliva (2013 ) have claimed that the hinges are not suitable to play such a role as they are not shared universally. Moyal-Sharrock has replied that a subset of the hinges is suitable to play such a role: the “universal” hinges. I argue that for Moyal-Sharrock’s reply to be sustained, she must (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. A Layered, Bounded, Integrated Approach to Research on the Arts Across Disciplines.Dominic McIver Lopes - 2020 - Leonardo 53 (5):537-541.
    Cooperation among arts scholars is thought to be hampered by the division of research on the arts into two cultures, one scientific, one humanistic. This paper proposes an alternative model for research into the arts wherein multiple levels of explanation focussed on well-bounded phenomena integrate research across academic disciplines. Two case studies of research that fits the model are presented.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Banbury Bound, or Can a machine be conscious?Eric Dietrich - 2001 - J. Of Experimental and Theoretical AI 13 (2):177-180.
    In mid-May of 2001, I attended a fascinating workshop at Cold Spring Harbor Labs. The conference was held at the lab's Banbury Center, an elegant mansion and its beautiful surrounding estate, located on Banbury Lane, in the outskirts of Lloyd Harbor, overlooking the north shore of Long Island in New York. The estate was formerly owned by Charles Sammis Robertson. In 1976, Robertson donated his estate, and an endowment for its upkeep, to the Lab. The donation included the Robertson's mansion, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Proportionality’s Lower Bound.James Manwaring - 2021 - Criminal Law and Philosophy 15 (3):393-405.
    Many philosophers have raised difficulties for any attempt to proportion punishment severity to crime seriousness. One reason for this may be that offering a full theory of proportionality is simply too ambitious. I suggest a more modest project: setting a lower bound on proportionate punishment. That is, I suggest a metric to measure when punishment is not disproportionately severe. I claim that punishment is not disproportionately severe if it imposes costs on a criminal wrongdoer which are no greater than the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Bound Variables and Schematic Letters.Philip Hugly & Charles Sayward - 1981 - Logique Et Analyse 95 (95):425-429.
    The paper purports to show, against Quine, that one can construct a language , which results from the extension of the theory of truth functions by introducing sentence letter quantification. Next a semantics is provided for this language. It is argued that the quantification is neither substitutional nor requires one to consider the sentence letters as taking entities as values.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Individual Climate Risks at the Bounds of Rationality.Avram Hiller - 2023 - In Adriana Placani & Stearns Broadhead (eds.), _Risk and Responsibility in Context_. New York: Routledge. pp. 249-271.
    All ordinary decisions involve some risk. If I go outside for a walk, I may trip and injure myself. But if I don’t go for a walk, I slightly increase my chances of cardiovascular disease. Typically, we disregard most small risks. When, for practical purposes, is it appropriate for one to ignore risk? This issue looms large because many activities performed by those in wealthy societies, such as driving a car, in some way risk contributing to climate harms. Are these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Culture in Anger Disorder as Culture-Bound Syndrome.Keunchang Oh - 2023 - Journal of Confucian Philosophy and Culture 40:133-155.
    For many, anger has been seen as irrationality, even as illness. But it seems that anger-related disorder and its culture-relatedness have not receive much attention in psychiatry. Like backward-looking ressentiment, hwabyeong 火病can be literally translated into anger disorder. In this paper, I examine the notion of anger and culture with the help of considering the case of hwabyeong as a Korean culture-bound syndrome (hereafter, CBS). Drawing on historical changes in the DSM (Diagnostic and Statistical Manual of Mental Disorders) and cases (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Defending the bounds of cognition.Frederick R. Adams & Kenneth Aizawa - 2010 - In Richard Menary (ed.), The Extended Mind. Cambridge, MA, USA: MIT Press.
    That about sums up what is wrong with Clark's view.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  49. Consistency proof of a fragment of pv with substitution in bounded arithmetic.Yoriyuki Yamagata - 2018 - Journal of Symbolic Logic 83 (3):1063-1090.
    This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. More about uniform upper Bounds on ideals of Turing degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
    Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 895