Results for 'One-step'

999 found
Order:
  1. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.
    Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Social Clause of the U.S.-Jordan Free Trade Agreement: One Step Forward, Two Steps Back?Bashar H. Malkawi - 2008 - Journal of Law (Kuwait) 32:11-42.
    The purpose of this paper is to examine the labor and environment provisions of the US-Jordan FTA.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Small Steps and Great Leaps in Thought: The Epistemology of Basic Deductive Rules.Joshua Schechter - 2019 - In Magdalena Balcerak Jackson & Brendan Balcerak Jackson (eds.), Reasoning: New Essays on Theoretical and Practical Thinking. Oxford: Oxford University Press.
    We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science.Plamen L. Simeonov, Edwin Brezina, Ron Cottam, Andreé C. Ehresmann, Arran Gare, Ted Goranson, Jaime Gomez‐Ramirez, Brian D. Josephson, Bruno Marchal, Koichiro Matsuno, Robert S. Root-­Bernstein, Otto E. Rössler, Stanley N. Salthe, Marcin Schroeder, Bill Seaman & Pridi Siregar - 2012 - In Plamen L. Simeonov, Leslie S. Smith & Andreé C. Ehresmann (eds.), Integral Biomathics: Tracing the Road to Reality. Springer. pp. 328-427.
    The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. From “Is” to “Ought” in one easy step.Jude Arnout Durieux - manuscript
    The grounding of absolute morality requires surmounting some hurdles, including Euthyphro’s dilemma, Hume’s guillotine, and Moore’s naturalistic fallacy. This paper shows how those hurdles don’t prevent moral absolutes in a transcendent idealist setting. (Incomplete draft.).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Steps towards a semantics of dance.Pritty Patel Grosz, Patrick Georg Grosz, Tejaswinee Kelkar & Alexander Refsum Jensenius - 2022 - Journal of Semantics 39 (4).
    As formal theoretical linguistic methodology has matured, recent years have seen the advent of applying it to objects of study that transcend language, e.g., to the syntax and semantics of music (Lerdahl & Jackendoff 1983, Schlenker 2017a; see also Rebuschat et al. 2011). One of the aims of such extensions is to shed new light on how meaning is construed in a range of communicative systems. In this paper, we approach this goal by looking at narrative dance in the form (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Steps to Designing AI-Empowered Nanotechnology: A Value Sensitive Design Approach.Steven Umbrello - 2019 - Delphi - Interdisciplinary Review of Emerging Technologies 2 (2):79-83.
    Advanced nanotechnology promises to be one of the fundamental transformational emerging technologies alongside others such as artificial intelligence, biotechnology, and other informational and cognitive technologies. Although scholarship on nanotechnology, particularly advanced nanotechnology such as molecular manufacturing has nearly ceased in the last decade, normal nanotechnology that is building the foundations for more advanced versions has permeated many industries and commercial products and has become a billion dollar industry. This paper acknowledges the socialtechnicity of advanced nanotechnology and proposes how its convergence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):863-891.
    This paper outlines an account of numbers based on the numerical equivalence schema, which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly parallels (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10.  62
    Five Steps to Understand the Mental State: A Contribution from the Economics of Emotions to the Theory of Mind.Kazuo Kadokawa - manuscript
    In recent years, the economics of emotions (EoE) field, which aims to create models of the human mind, has grown quickly. EoE models work well with simulation theory (ST), which is one of the main theories of mind. EoE models show how people's behavior and emotions change based on their knowledge and perception of others. It is hoped that by developing this model, it will be possible to quantitatively analyze not only the mental states of real others, but also the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. "Acting on" instead of" stepping back": Hegel's conception of the relation between motivations and the free will.Christopher Yeomans - 2010 - Contrastes: Revista Internacional de Filosofía 15 (cialidad y subjetividad humanas):377-387.
    One of the most important elements of Hegel’s philosophical anthropology is his moral psychology. In particular, his understanding of the relation between motivations and reason plays a crucial intermediate role in connecting his anthropological meditations on the complete nature of the human being with his political theory of actualized freedom. Whereas recent important work on Hegel’s moral psychology has detected a Kantian distinction between natural desires and the rational perspective, the activity of practical reason actually takes place within motivations themselves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Six Steps towards an Object-oriented Social Theory (O.O.S.T).Thiago Pinho - 2023 - Conatus 8 (1):263-283.
    In the approach that sustains this entire essay, besides my own trajectory as a researcher, the path moves away from the orthodox tradition, the more Kantian one, incorporating in Social Theory a philosophical line for a long time forgotten, by including figures such as Baruch Spinoza (1632-1677), the founding father, Friedrich Nietzsche (1844-1900), Alfred North Whitehead (1861-1947), Henri Bergson (1859-1941), Gilbert Simondon (1924-1989), Gilles Deleuze (1925-1995) and many others. They would be the famous authors of vitalism, also known as philosophers (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Crucial steps to life: From chemical reactions to code using agents.Witzany Guenther - 2016 - Biosystems 140:49-57.
    The concepts of the origin of the genetic code and the definitions of life changed dramatically after the RNA world hypothesis. Main narratives in molecular biology and genetics such as the “central dogma,” “one gene one protein” and “non-coding DNA is junk” were falsified meanwhile. RNA moved from the transition intermediate molecule into centre stage. Additionally the abundance of empirical data concerning nonrandom genetic change operators such as the variety of mobile genetic elements, persistent viruses and defectives do not fit (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. One self: The logic of experience.Arnold Zuboff - 1990 - Inquiry: An Interdisciplinary Journal of Philosophy 33 (1):39-68.
    Imagine that you and a duplicate of yourself are lying unconscious, next to each other, about to undergo a complete step-by-step exchange of bits of your bodies. It certainly seems that at no stage in this exchange of bits will you have thereby switched places with your duplicate. Yet it also seems that the end-result, with all the bits exchanged, will be essentially that of the two of you having switched places. Where will you awaken? I claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  15. Don’t Step on the Foul Line: On the (Ir)rationality of Superstition in Baseball.Amber Griffioen - 2013 - Logique Et Analyse 56 (223):319-32.
    Baseball is an exceptionally superstitious sport. But what are we to say about the rationality of such superstitious behavior? On the one hand, we can trace much of the superstitious behavior we see in baseball to a type of irrational belief. But how deep does this supposed irrationality run? It appears that superstitions may occupy various places on the spectrum of irrationality — from motivated ignorance to self-deception to psychological compulsion —depending on the type of superstitious belief at work and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Special Relativity as a Step in the Development of the Quantum Programme: Revolution in a Revolution.R. M. Nugayev - 1986 - Centaurus 29 (2):100-109.
    To make out in what way Einstein’s 1905 ‘annus mirabilis’ writings hang together one has to hang on Einstein’s strive for unity evinced in his stubborn attempts to coordinate with one another the basic research traditions of classical physics. Light quanta hypothesis and special theory of relativity turn out to be mere milestones of maxwellian electrodynamics and statistical thermodynamics reconciliation programme. The conception of luminiferous ether was an insurmountable stumbling block for Einstein’s statistical thermodynamics programme in which the leading role (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Setting up an academic journal: Some essential steps.Adebayo Afolaranmi - 2024 - Jozac Academic Voice 3:28-32.
    It has been the expressed desire of many educational or research organizations/institutions to create and have a functional and recognized indexed academic journal. This short academic opinion gives an introduction to what an academic journal is and is not, and some essential steps to take to create and maintain a functional and recognized indexed academic journal. It is concluded that every educational or research organization/institution that has not had a functional and recognized indexed academic journal should not only crave but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Analogy and Conceptual Change, or You can't step into the same mind twice.Eric Dietrich - 2000 - In Eric Dietrich Art Markman (ed.), Cognitive Dynamics: Conceptual change in humans and machines. Lawrence Erlbaum. pp. 265--294.
    Sometimes analogy researchers talk as if the freshness of an experience of analogy resides solely in seeing that something is like something else -- seeing that the atom is like a solar system, that heat is like flowing water, that paint brushes work like pumps, or that electricity is like a teeming crowd. But analogy is more than this. Analogy isn't just seeing that the atom is like a solar system; rather, it is seeing something new about the atom, an (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  19. Comment on Sabine Hohl and Dominic Roser: Stepping in for the Polluters? Climate Justice under Partial Compliance.Thomas Pölzler - 2011 - Analyse & Kritik 33 (2):501-508.
    Sabine Hohl and Dominic Roser argue that states that emit their fair share of greenhouse gases have a duty to step in for states that emit more than their fair share. In this comment I ask two questions: First, given that Hohl and Roser are right, how relevant is the duty to step in for the polluters in practice? Second, is there such a duty on more non-ideal approaches than the one taken by Hohl and Roser as well? (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Aesthetics and Morality in Kant and Confucius. A Second Step.Christian Helmut Wenzel - 2010 - In Stephen Palmquist (ed.), Cultivating Personhood. Kant and Asian Philosophy. Walter de Gruyter. pp. 321-332.
    In the framework of his transcendental philosophy, Kant strictly separates morality from aesthetics. The pleasure in the good and the pleasure in the beautiful are two different kinds of pleasure (Arten des Wohlgefallens). As a consequence, a moral act as such cannot be beautiful. It is only in a second step that Kant indicates possible connections, in his comments on aesthetic ideas, symbolism, the sensus communis, and education in general. In Confucius on the other hand we do not find (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Oppositions in a point.Alexandre Costa-Leite - 2020 - Perspectiva Filosófica 47 (2):113-119.
    Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Compulsory moral bioenhancement should be covert.Parker Crutchfield - 2018 - Bioethics 33 (1):112-121.
    Some theorists argue that moral bioenhancement ought to be compulsory. I take this argument one step further, arguing that if moral bioenhancement ought to be compulsory, then its administration ought to be covert rather than overt. This is to say that it is morally preferable for compulsory moral bioenhancement to be administered without the recipients knowing that they are receiving the enhancement. My argument for this is that if moral bioenhancement ought to be compulsory, then its administration is a (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Beyond Witches, Angels and Unicorns. The Possibility of Expanding Russell´s Existential Analysis.Olga Ramirez - 2018 - E-Logos Electronic Journal for Philosophy 25 (1):4-15.
    This paper attempts to be a contribution to the epistemological project of explaining complex conceptual structures departing from more basic ones. The central thesis of the paper is that there are what I call “functionally structured concepts”, these are non-harmonic concepts in Dummett’s sense that might be legitimized if there is a function that justifies the tie between the inferential connection the concept allows us to trace. Proving this requires enhancing the russellian existential analysis of definite descriptions to apply to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Algorithmic Structuring of Cut-free Proofs.Matthias Baaz & Richard Zach - 1993 - In Börger Egon, Kleine Büning Hans, Jäger Gerhard, Martini Simone & Richter Michael M. (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Springer. pp. 29–42.
    The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The epistemic superiority of experiment to simulation.Sherrilyn Roush - 2018 - Synthese 195 (11):4883-4906.
    This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  26. The epistemic superiority of experiment to simulation.Sherrilyn Roush - 2018 - Synthese 195 (11):4883-4906.
    This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Ranking Multidimensional Alternatives and Uncertain Prospects.Philippe Mongin - 2015 - Journal of Economic Theory 157:146-171.
    We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Reasons to Genome Edit and Metaphysical Essentialism about Human Identity.Tomasz Żuradzki & Vilius Dranseika - 2022 - American Journal of Bioethics 22 (9):34-36.
    In this commentary paper, we are taking one step further in questioning the central assumptions in the bioethical debates about reproductive technologies. We argue that the very distinction between “person affecting” and “identity affecting” interventions is based on a questionable form of material-origin essentialism. Questioning of this form of essentialist approach to human identity allows treating genome editing and genetic selection as more similar than they are taken to be in the standard approaches. It would also challenge the idea (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Gerda Walther on the Reality of Communities.Hamid Taieb - forthcoming - New Yearbook for Phenomenology and Phenomenological Philosophy.
    This paper focuses on a crucial question of social ontology addressed by Gerda Walther, namely, whether a social community has its own reality over and above that of its members and its cultural “products”, such as language, religion, infrastructure, and works of art. Walther has a nuanced answer which combines elements of phenomenology and Marxism. She praises Marxists for drawing our attention to the “community as such”, taken as an object distinct from its members and their relations. She maintains the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. The Ethics of Doping: Between Paternalism and Duty.Evangelos D. Protopapadakis - 2020 - Pannoniana: Journal of Humanities 4 (1):35-49.
    The most plausible line of anti-doping argumentation starts with the fact that performance enhancing substances are harmful and put at considerable risk the health and the life of those who indulge in the overwhelming promises these substances hold. From a liberal point of view, however, this is not a strong reason neither to morally reject doping altogether, nor to put a blanket ban on it; on the contrary, allowing adult, competent and informed athletes to have access to performance enhancement drugs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Maximally Consistent Sets of Instances of Naive Comprehension.Luca Incurvati & Julien Murzi - 2017 - Mind 126 (502).
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Why AI will never rule the world (interview).Luke Dormehl, Jobst Landgrebe & Barry Smith - 2022 - Digital Trends.
    Call it the Skynet hypothesis, Artificial General Intelligence, or the advent of the Singularity — for years, AI experts and non-experts alike have fretted (and, for a small group, celebrated) the idea that artificial intelligence may one day become smarter than humans. -/- According to the theory, advances in AI — specifically of the machine learning type that’s able to take on new information and rewrite its code accordingly — will eventually catch up with the wetware of the biological brain. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The outlier paradox: The role of iterative ensemble coding in discounting outliers.Michael Epstein, Jake Quilty-Dunn, Eric Mandelbaum & Tatiana Emmanouil - forthcoming - Journal of Experimental Psychology: Human Perception and Performance 1.
    Ensemble perception—the encoding of objects by their group properties—is known to be resistant to outlier noise. However, this resistance is somewhat paradoxical: how can the visual system determine which stimuli are outliers without already having derived statistical properties of the ensemble? A simple solution would be that ensemble perception is not a simple, one-step process; instead, outliers are detected through iterative computations that identify items with high deviance from the mean and reduce their weight in the representation over time. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  95
    L’abolition des passeports : une revendication de gauche ou de droite ?Speranta Dumitru - 2023 - Hommes and Migrations 2 (1341):168-176.
    This paper analyses the demands for abolishing passports after WWI. The international regime of obligatory passports, as it exists today, is a legacy of the Great War. After the Armistice, two Passport Conferences organized by the League of Nations considered its abolition. Before the second conference, a resolution of the Sixth Assembly of the League of Nations stated that "public opinion is certainly waiting for at least one step towards the most generalized abolition of the passport system ". Was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Enkinaesthesia: the fundamental challenge for machine consciousness.Susan A. J. Stuart - 2011 - International Journal of Machine Consciousness 3 (1):145-162.
    In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Mad Speculation and Absolute Inhumanism: Lovecraft, Ligotti, and the Weirding of Philosophy.Ben Woodard - 2011 - Continent 1 (1):3-13.
    continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Laws, Exceptions, Norms: Kierkegaard, Schmitt, and Benjamin on the Exception.Rebecca Gould - 2013 - Telos: Critical Theory of the Contemporary 2013 (162):77-96.
    The concept of the exception has heavily shaped modern political theory. In modernity, Kierkegaard was one of the first philosophers to propound the exception as a facilitator of metaphysical transcendence. Merging Kierkegaard’s metaphysical exception with early modern political theorist Jean Bodin’s theory of sovereignty, Carl Schmitt introduced sovereignty to metaphysics. He thereby made an early modern concept usable in a post-metaphysical world. This essay carries Schmitt’s appropriation one step further. Drawing on Walter Benjamin’s replacement of transcendental metaphysics with contingent (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Candrakīrti on Deflated Episodic Memory: Response to Endel Tulving's Challenge.Sonam Thakchoe - 2017 - Australasian Philosophical Review 1 (4):432-438.
    ABSTRACTIn my response to Ganeri's [2018] paper, I take Buddhagosha's deflationary account of episodic memory one step further through the analysis of the Madhyamaka philosopher Candrakīrti who, like Buddhagosha, explicitly defends episodic memory as a recollection of the objects experienced in the past, rather than subjective experience. However, unlike Buddhagosha, Candrakīrti deflates episodic memory by showing the incoherence of the Sautrāntika-Yogācāra's thesis that episodic memory requires the admission of reflexive awareness. Also unlike Buddhagosha, Candrakīrti shows the incoherence of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Deepening the Automated Search for Gödel's Proofs.Adam Conkey - unknown
    Gödel's incompleteness theorems establish the stunning result that mathematics cannot be fully formalized and, further, that any formal system containing a modicum of number or set theory cannot establish its own consistency. Wilfried Sieg and Clinton Field, in their paper Automated Search for Gödel's Proofs, presented automated proofs of Gödel's theorems at an abstract axiomatic level; they used an appropriate expansion of the strategic considerations that guide the search of the automated theorem prover AProS. The representability conditions that allow the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Concern Across Scales: a biologically inspired embodied artificial intelligence.Matthew Sims - 2022 - Frontiers in Neurorobotics 1 (Bio A.I. - From Embodied Cogniti).
    Intelligence in current AI research is measured according to designer-assigned tasks that lack any relevance for an agent itself. As such, tasks and their evaluation reveal a lot more about our intelligence than the possible intelligence of agents that we design and evaluate. As a possible first step in remedying this, this article introduces the notion of “self-concern,” a property of a complex system that describes its tendency to bring about states that are compatible with its continued self-maintenance. Self-concern, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Pratityasamutpada in Eastern and Western Modes of Thought.Christian Thomas Kohl - 2012 - International Association of Buddhist Universities 4 (2012):68-80.
    Nagarjuna and Quantum physics. Eastern and Western Modes of Thought. Summary. The key terms. 1. Key term: ‘Emptiness’. The Indian philosopher Nagarjuna is known in the history of Buddhism mainly by his keyword ‘sunyata’. This word is translated into English by the word ‘emptiness’. The translation and the traditional interpretations create the impression that Nagarjuna declares the objects as empty or illusionary or not real or not existing. What is the assertion and concrete statement made by this interpretation? That nothing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Reading Rage: Theorising the Epistemic Value of Feminist Anger.Sigrid Wallaert - 2023 - DiGeSt 10 (1):53-67.
    With the #MeToo movement and the Women’s Marches behind us, it has become clear that women are angry. This anger is often criticised for being disruptive or uncommunicative, with calm rationality being praised as a superior alternative. In this article, I use the framework of Fricker’s (2007) Epistemic Injustice to examine the communicative disadvantages and merits of what I call feminist anger. I explain how feminist anger can be subject to both testimonial and hermeneutical injustices, but that this does not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The Threat of Algocracy: Reality, Resistance and Accommodation.John Danaher - 2016 - Philosophy and Technology 29 (3):245-268.
    One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  44. Buddhismus und Quantenphysik: die Wirklichkeitsbegriffe Nāgārjunas und der Quantenphsyik [i.e. Quantenphysik].Christian Thomas Kohl - 2005 - Aitrang: Windpferd.
    1.Summary The key terms. 1. Key term: ‘Sunyata’. Nagarjuna is known in the history of Buddhism mainly by his keyword ‘sunyata’. This word is translated into English by the word ‘emptiness’. The translation and the traditional interpretations create the impression that Nagarjuna declares the objects as empty or illusionary or not real or not existing. What is the assertion and concrete statement made by this interpretation? That nothing can be found, that there is nothing, that nothing exists? Was Nagarjuna denying (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Active biological mechanisms: transforming energy into motion in molecular motors.William Bechtel & Andrew Bollhagen - 2021 - Synthese 199 (5-6):12705-12729.
    Unless one embraces activities as foundational, understanding activities in mechanisms requires an account of the means by which entities in biological mechanisms engage in their activities—an account that does not merely explain activities in terms of more basic entities and activities. Recent biological research on molecular motors exemplifies such an account, one that explains activities in terms of free energy and constraints. After describing the characteristic “stepping” activities of these molecules and mapping the stages of those steps onto the stages (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  98
    Ancient Greek Mathematical Proofs and Metareasoning.Mario Bacelar Valente - 2024 - In Maria Zack (ed.), Research in History and Philosophy of Mathematics. Annals of the Canadian Society for History and Philosophy of Mathematics. pp. 15-33.
    We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Refiguring Odysseus'apologue in Plato's Protagoras.Àngel Pascual - 2021 - Hypothekai. Journal on the History of Ancient Pedagogical Culture 5:43-63.
    The common 4th century B.C. view according to which Homer was regarded as a poet and a wise man, the leading and most honorable, to the point of being considered “the educator of Greece” (Pl. Resp. 606e-607a), is strongly supported by the Platonic dialogues. The works of Plato are the main available source to get to know not only the great pedagogical esteem for Homer, but also the several educational traditions that used or relied on Homeric poetry in Classical Athens. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Nagarjuna and Quantum Physics. Eastern and Western Modes of Thought.Christian Thomas Kohl - 2014 - Chinese Buddhist Encyclopedia.
    1.Summary The key terms. 1. Key term: ‘Sunyata’. Nagarjuna (Kumarajiva) is known in the history of Buddhism mainly by his keyword ‘sunyata’. This word is translated into English by the word ‘emptiness’. The translation and the traditional interpretations create the impression that Nagarjuna (Kumarajiva) declares the objects as empty or illusionary or not real or not existing. What is the assertion and concrete statement made by this interpretation? That nothing can be found, that there is nothing, that nothing exists? Was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Ethics, Law and Social Justice.Kiyoung Kim - 2015 - SSRN.
    Ethics and responsibility would be a vexing or awesome topic that the contemporary citizen more likely wishes to avoid giving his or her views or opinions. That is perhaps because the society transforms rapidly and turns to become more diverse from the past decades. These concepts, on the other, comes not in the ancient or middle era classics, but from the near modern context in 18th England and French land. In dealing with the nature and relationship between the two concepts, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. The Ethics of Data Privacy.Jeroen Seynhaeve - 2022 - Dissertation, University of Stellenbosch
    All societies have to balance privacy claims with other moral concerns. However, while some concern for privacy appears to be a common feature of social life, the definition, extent and moral justifications for privacy differ widely. Are there better and worse ways of conceptualising, justifying, and managing privacy? These are the questions that lie in the background of this thesis. -/- My particular concern is with the ethical issues around privacy that are tied to the rise of new information and (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999