Results for 'Recursion'

98 found
Order:
  1. Recursive Predicates and Quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  2. Consciousness as Recursive, Spatiotemporal Self Location.Frederic Peters - 2010 - Psychological Research.
    At the phenomenal level, consciousness can be described as a singular, unified field of recursive self-awareness, consistently coherent in a particualr way; that of a subject located both spatially and temporally in an egocentrically-extended domain, such that conscious self-awareness is explicitly characterized by I-ness, now-ness and here-ness. The psychological mechanism underwriting this spatiotemporal self-locatedness and its recursive processing style involves an evolutionary elaboration of the basic orientative reference frame which consistently structures ongoing spatiotemporal self-location computations as i-here-now. Cognition computes action-output (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  24
    Natural Recursion Doesn’T Work That Way: Automata in Planning and Syntax.Cem Bozsahin - 2016 - In Vincent Müller (ed.), Fundamental Issues of Artificial Intelligence. Wil, Switzerland: Springer. pp. 95-112.
    Natural recursion in syntax is recursion by linguistic value, which is not syntactic in nature but semantic. Syntax-specific recursion is not recursion by name as the term is understood in theoretical computer science. Recursion by name is probably not natural because of its infinite typeability. Natural recursion, or recursion by value, is not species-specific. Human recursion is not syntax-specific. The values on which it operates are most likely domain-specific, including those for syntax. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Philosophy and Science, the Darwinian-Evolved Computational Brain, a Non-Recursive Super-Turing Machine & Our Inner-World-Producing Organ.Hermann G. W. Burchard - 2016 - Open Journal of Philosophy 6 (1):13-28.
    Recent advances in neuroscience lead to a wider realm for philosophy to include the science of the Darwinian-evolved computational brain, our inner world producing organ, a non-recursive super- Turing machine combining 100B synapsing-neuron DNA-computers based on the genetic code. The whole system is a logos machine offering a world map for global context, essential for our intentional grasp of opportunities. We start from the observable contrast between the chaotic universe vs. our orderly inner world, the noumenal cosmos. So far, philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  30
    Puzzles for Recursive Reliabilism.Iizuka Shun - 2022 - Review of Analytic Philosophy 2 (1):55-73.
    The recursive aspect of process reliabilism has rarely been examined. The regress puzzle, which illustrates infinite regress arising from the combination of the recursive structure and the no-defeater condition incorporated into it, is a valuable exception. However, this puzzle can be dealt with in the framework of process reliabilism by reconsidering the relationship between the recursion and the no-defeater condition based on the distinction between prima facie and ultima facie justification. Thus, the regress puzzle is not a basis for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  78
    Responsibility and the Recursion Problem.Ben Davies - 2022 - Ratio 35 (2):112-122.
    A considerable literature has emerged around the idea of using ‘personal responsibility’ as an allocation criterion in healthcare distribution, where a person's being suitably responsible for their health needs may justify additional conditions on receiving healthcare, and perhaps even limiting access entirely, sometimes known as ‘responsibilisation’. This discussion focuses most prominently, but not exclusively, on ‘luck egalitarianism’, the view that deviations from equality are justified only by suitably free choices. A superficially separate issue in distributive justice concerns the two–way relationship (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
    Recursion or self-reference is a key feature of contemporary research and writing in semiotics. The paper begins by focusing on the role of recursion in poststructuralism. It is suggested that much of what passes for recursion in this field is in fact not recursive all the way down. After the paradoxical meaning of radical recursion is adumbrated, topology is employed to provide some examples. The properties of the Moebius strip prove helpful in bringing out the dialectical (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Eliminating the Ordinals From Proofs. An Analysis of Transfinite Recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
    Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  54
    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 possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. A Sharper Image: The Quest of Science and Recursive Production of Objective Realities.Julio Michael Stern - 2020 - Principia: An International Journal of Epistemology 24 (2):255-297.
    This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Contradiction and Recursion in Buddhist Philosophy.Adrian Kreutz - 2019 - In Takeshi Morisato & Roman Pașca (eds.), Asian Philosophical Texts Vol. 1. Milano: Mimesis International. pp. 133-162.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  84
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. "The Choreography of the Soul": Recursive Patterns in Psychology, Political Anthropology and Cosmology.Edward D'angelo - 1988 - Dissertation, State University of New York at Stony Brook
    The component structures of two distinct neuropsychological systems are described. "System-Y" depends upon "system-X" which, on the other hand, can operate independently of system-Y. System-X provides a matrix upon which system-Y must operate, and, system-Y is transformed by the operations of system-X. In addition these neuropsychological structures reverberate in political history and in the cosmos. The most fundamental structure in the soul, in society, and in the cosmos, has the form of a conical spiral. It can be described mathematically as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  35
    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 provably ∆1-formulas.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Three Concepts of Decidability for General Subsets of Uncountable Spaces.Matthew W. Parker - 2003 - Theoretical Computer Science 351 (1):2-13.
    There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Mental Maps.Ben Blumson - 2012 - Philosophy and Phenomenological Research 85 (2):413-434.
    It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  18. The Good of Today Depends Not on the Good of Tomorrow: A Constraint on Theories of Well-Being.Owen C. King - 2020 - Philosophical Studies 177 (8):2365-2380.
    This article addresses three questions about well-being. First, is well-being future-sensitive? I.e., can present well-being depend on future events? Second, is well-being recursively dependent? I.e., can present well-being depend on itself? Third, can present and future well-being be interdependent? The third question combines the first two, in the sense that a yes to it is equivalent to yeses to both the first and second. To do justice to the diverse ways we contemplate well-being, I consider our thought and discourse about (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  66
    Brain Electrical Traits of Logical Validity.F. Salto - 2021 - Scientific Reports 11 (7892).
    Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Levels of Self-Improvement in AI and Their Implications for AI Safety.Alexey Turchin - manuscript
    Abstract: This article presents a model of self-improving AI in which improvement could happen on several levels: hardware, learning, code and goals system, each of which has several sublevels. We demonstrate that despite diminishing returns at each level and some intrinsic difficulties of recursive self-improvement—like the intelligence-measuring problem, testing problem, parent-child problem and halting risks—even non-recursive self-improvement could produce a mild form of superintelligence by combining small optimizations on different levels and the power of learning. Based on this, we analyze (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. No Successfull Infinite Regress.Laureano Luna - 2014 - Logic and Logical Philosophy 23 (2):189-201.
    We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.
    Download  
     
    Export citation  
     
    Bookmark  
  23.  38
    Actuarial Analysis Via Branching Processes.Julio Michael Stern & Carlos Alberto de Braganca Pereira - 2000 - Annals of the 6th ISAS-SCI 8:353-358.
    We describe a software system for the analysis of defined benefit actuarial plans. The system uses a recursive formulation of the actuarial stochastic processes to implement precise and efficient computations of individual and group cash flows.
    Download  
     
    Export citation  
     
    Bookmark  
  24. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   27 citations  
  25.  48
    Říká Logicismus Něco, Co Se Říkat Nemá?Vojtěch Kolman - 2010 - Teorie Vědy / Theory of Science 32 (1):37-57.
    The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Genetics of Language.Ningombam Bupenda Meitei - 2013 - viXra.Org:7.
    The paper intends to zoom in and find a uniqueness in human language by narrowing down the range of cognitive domains to human computational mind having a property of recursion which is exclusively unique to human and not in any other species in animalia kingdom.This notion of recursion is the centrality of the paper. There has been an opposition to the notion of recursion being only unique to human and the paper makes an attempt to reply to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Hilbert's 10th Problem for Solutions in a Subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
    Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Diagnostic : différends ? Ciel !Jean-Jacques Pinto - 2014 - Ouvertures 2 (octobre 2014):05-40.
    (English then french abstract) -/- This article, which can be read by non-psychoanalysts, intends to browse in four stages through the issue offered to our thinking : two (odd-numbered) stages analyzing the argument that provides its context, and two (even-numbered) of propositions presenting our views on what could be the content of the analytic discourse in the coming years. After this introduction, a first reading will point by point but informally review the argument of J.-P. Journet by showing that each (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Rightness as Fairness: A Moral and Political Theory.Marcus Arvan - 2016 - Palgrave MacMillan.
    This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  30. Yuk Hui’s Axio-Cosmology of the Unknown: Genesis and the Inhuman. [REVIEW]Ekin Erkan - 2020 - New Formations 100:209-213.
    In Recursivity and Contingency, Yuk Hui prompts a rigorous historical and philosophical analysis of today’s algorithmic culture. As evidenced by highspeed AI trading, predictive processing algorithms, elastic graph-bunching biometrics, Hebbian machine learning and thermographic drone warfare, we are privy to an epochal technological transition. As these technologies, stilted on inductive learning, demonstrate, we no longer occupy the moment of the ‘storage-and-retrieval’ static database but are increasingly engaged with technologies that are involved in the ‘manipulable arrangement’ (p204) of the indeterminable. It (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Disconnection Thesis.David Roden - 2012 - In A. Eden, J. H. Søraker, E. Steinhart & A. H. Moore (eds.), The Singularity Hypothesis: A Scientific and Philosophical Assessment. Springer.
    In his 1993 article ‘The Coming Technological Singularity: How to survive in the posthuman era’ the computer scientist Virnor Vinge speculated that developments in artificial intelligence might reach a point where improvements in machine intelligence result in smart AI’s producing ever-smarter AI’s. According to Vinge the ‘singularity’, as he called this threshold of recursive self-improvement, would be a ‘transcendental event’ transforming life on Earth in ways that unaugmented humans are not equipped to envisage. In this paper I argue Vinge’s idea (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  76
    Conceptual Fingerprints: Lexical Decomposition by Means of Frames – a Neuro-Cognitive Model.Wiebke Petersen & Markus Werning - 2007 - In U. Priss, S. Polovina & R. Hill (eds.), Conceptual structures: Knowledge architectures for smart applications. Heidelberg: pp. 415-428.
    Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeley
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  24
    On the Notions of Rulegenerating & Anticipatory Systems.Niels Ole Finnemann - 1997 - Online Publication on Conference Site - Which Does Not Exist Any More.
    Until the late 19th century scientists almost always assumed that the world could be described as a rule-based and hence deterministic system or as a set of such systems. The assumption is maintained in many 20th century theories although it has also been doubted because of the breakthrough of statistical theories in thermodynamics (Boltzmann and Gibbs) and other fields, unsolved questions in quantum mechanics as well as several theories forwarded within the social sciences. Until recently it has furthermore been assumed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Revisiting Turing and His Test: Comprehensiveness, Qualia, and the Real World.Vincent C. Müller & Aladdin Ayesh (eds.) - 2012 - AISB.
    Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Cognition, Modules, and Modes of Perception.Tista Bagchi - manuscript
    Perceptual and recursion-based faculties have long been recognized to be vital constituents of human (and, in general, animal) cognition. However, certain faculties such as the visual and the linguistic faculty have come to receive far more academic and experimental attention, in recent decades, than other recognized categories of faculties. This paper seeks to highlight the imbalance in these studies and bring into sharper focus the need for further in-depth philosophical treatments of faculties such as especially hearing, touch, and proprioception, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Language as an Instrument of Thought.Eran Asoulin - 2016 - Glossa: A Journal of General Linguistics 1 (1):1-23.
    I show that there are good arguments and evidence to boot that support the language as an instrument of thought hypothesis. The underlying mechanisms of language, comprising of expressions structured hierarchically and recursively, provide a perspective (in the form of a conceptual structure) on the world, for it is only via language that certain perspectives are avail- able to us and to our thought processes. These mechanisms provide us with a uniquely human way of thinking and talking about the world (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  39. Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  40.  62
    Abolish! Against the Use of Risk Assessment Algorithms at Sentencing in the US Criminal Justice System.Katia Schwerzmann - 2021 - Philosophy and Technology 1:1-22.
    In this article, I show why it is necessary to abolish the use of predictive algorithms in the US criminal justice system at sentencing. After presenting the functioning of these algorithms in their context of emergence, I offer three arguments to demonstrate why their abolition is imperative. First, I show that sentencing based on predictive algorithms induces a process of rewriting the temporality of the judged individual, flattening their life into a present inescapably doomed by its past. Second, I demonstrate (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Self-Reference and the Languages of Arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
    I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  42. The Individuality Thesis (3 Ways).Matthew H. Haber - 2016 - Biology and Philosophy 31 (6):913-930.
    I spell out and update the individuality thesis, that species are individuals, and not classes, sets, or kinds. I offer three complementary presentations of this thesis. First, as a way of resolving an inconsistent triad about natural kinds; second, as a phylogenetic systematics theoretical perspective; and, finally, as a novel recursive account of an evolved character. These approaches do different sorts of work, serving different interests. Presenting them together produces a taxonomy of the debates over the thesis, and isolates ways (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Self-Graphing Equations.Samuel Alexander - manuscript
    Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Husserl on Meaning, Grammar, and the Structure of Content.Matteo Bianchin - 2018 - Husserl Studies 34 (2):101-121.
    Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  99
    The Statistical Nature of Causation.David Papineau - 2022 - The Monist 105 (2):247-275.
    Causation is a macroscopic phenomenon. The temporal asymmetry displayed by causation must somehow emerge along with other asymmetric macroscopic phenomena like entropy increase and the arrow of radiation. I shall approach this issue by considering ‘causal inference’ techniques that allow causal relations to be inferred from sets of observed correlations. I shall show that these techniques are best explained by a reduction of causation to structures of equations with probabilistically independent exogenous terms. This exogenous probabilistic independence imposes a recursive order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The SNePS Family.Stuart C. Shapiro & William J. Rapaport - 1992 - Computers and Mathematics with Applications 23:243-275.
    SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   19 citations  
  47.  87
    A Naturalized Account of the Inside-Outside Dichotomy.Alvaro Moreno & Xabier Barandiaran - 2004 - Philosophica 73:11-26.
    The first form of the inside-outside dichotomy appears as a self-encapsulated system with an active border. These systems are based on two complementary but asymmetric processes: constructive and interactive. The former physically constitute the system as a recursive network of component production, defining an inside. The maintenance of the constructive processes implies that the internal organization also constrains certain flows of matter and energy across the border of the system, generating interactive processes. These interactive processes ensure the maintenance of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  64
    Classical AI Linguistic Understanding and the Insoluble Cartesian Problem.Rodrigo González - 2020 - AI and Society 35 (2):441-450.
    This paper examines an insoluble Cartesian problem for classical AI, namely, how linguistic understanding involves knowledge and awareness of u’s meaning, a cognitive process that is irreducible to algorithms. As analyzed, Descartes’ view about reason and intelligence has paradoxically encouraged certain classical AI researchers to suppose that linguistic understanding suffices for machine intelligence. Several advocates of the Turing Test, for example, assume that linguistic understanding only comprises computational processes which can be recursively decomposed into algorithmic mechanisms. Against this background, in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. A Never-Ending Story.Ben Blumson - 2014 - Croatian Journal of Philosophy 14 (1):111-120.
    Take a strip of paper with 'once upon a time there'‚ written on one side and 'was a story that began'‚ on the other. Twisting the paper and joining the ends produces John Barth’s story Frame-Tale, which prefixes 'once upon a time there was a story that began'‚ to itself. I argue that the ability to understand this sentence cannot be explained by tacit knowledge of a recursive theory of truth in English.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Homunkulismus in den Kognitionswissenschaften.Geert Keil - 2003 - In Wolfgang R. Köhler & Hans-Dieter Mutschler (eds.), Ist der Geist berechenbar? Wissenschaftliche Buchgesellschaft. pp. 77-112.
    1. Was ist ein Homunkulus-Fehlschluß? 2. Analyse des Mentalen und Naturalisierung der Intentionalität 3. Homunkulismus in Theorien der visuellen Wahrnehmung 4. Homunkulismus und Repräsentationalismus 5. Der homunkulare Funktionalismus 6. Philosophische Sinnkritik und empirische Wissenschaft Literatur .
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 98