Results for 'Ina C. Otte'

1000+ found
Order:
  1. Carnap and Quine: First Encounters (1932-1936).Sander Verhaegh - 2022 - In Sean Morris (ed.), The Philosophical Project of Carnap and Quine. New York, NY, USA: Cambridge University Press. pp. 11-31.
    Carnap and Quine first met in the 1932-33 academic year, when the latter, fresh out of graduate school, visited the key centers of mathematical logic in Europe. In the months that Carnap was finishing his Logische Syntax der Sprache, Quine spent five weeks in Prague, where they discussed the manuscript “as it issued from Ina Carnap’s typewriter”. The philosophical friendship that emerged in these weeks would have a tremendous impact on the course of analytic philosophy. Not only did the meetings (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. The Antinomy of Teleological Judgment.Ina Goy - 2015 - Studi Kantiani 28:65-88.
    The antinomy of teleological judgment is one of the most controversial passages of Kant’s "Critique of the Power of Judgment". Having developed the idea of an explanation of organized beings by mechanical and teleological natural laws in §§ 61-68, in §§ 69-78 Kant raises the question of whether higher order mechanical and teleological natural laws, which unify the particular empirical laws of organized beings, might pose an antinomy of conflicting principles within the power of judgment. I will argue against alternative (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
    Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Intuitions and Assumptions in the Debate over Laws of Nature.Walter Ott & Lydia Patton - 2018 - In Walter R. Ott & Lydia Patton (eds.), Laws of Nature. Oxford, UK: Oxford University Press. pp. 1-17.
    The conception of a ‘law of nature’ is a human product. It was created to play a role in natural philosophy, in the Cartesian tradition. In light of this, philosophers and scientists must sort out what they mean by a law of nature before evaluating rival theories and approaches. If one’s conception of the laws of nature is yoked to metaphysical notions of truth and explanation, that connection must be made explicit and defended. If, on the other hand, one’s aim (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Getting over Atomism: Functional Decomposition in Complex Neural Systems.Daniel C. Burnston - 2021 - British Journal for the Philosophy of Science 72 (3):743-772.
    Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  6. Causation, intentionality, and the case for occasionalism.Walter Ott - 2008 - Archiv für Geschichte der Philosophie 90 (2):165-187.
    Despite their influence on later philosophers such as Hume, Malebranche's central arguments for occasionalism remain deeply puzzling. Both the famous ‘no necessary connection’ argument and what I call the epistemic argument include assumptions – e.g., that a true cause is logically necessarily connected to its effect – that seem unmotivated, even in their context. I argue that a proper understanding of late scholastic views lets us see why Malebranche would make this assumption. Both arguments turn on the claim that a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. Moving ego versus moving time: investigating the shared source of future-bias and near-bias.Sam Baron, Brigitte C. Everett, Andrew J. Latham, Kristie Miller, Hannah Tierney & Jordan Veng Thang Oh - 2023 - Synthese 202 (3):1-33.
    It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Modular Learning Efficiency: Learner’s Attitude and Performance Towards Self-Learning Modules.April Clarice C. Bacomo, Lucy P. Daculap, Mary Grace O. Ocampo, Crystalyn D. Paguia, Jupeth Pentang & Ronalyn M. Bautista - 2022 - IOER International Multidisciplinary Research Journal 4 (2):60-72.
    Learner’s attitude towards modular distance learning catches uncertainties as a world crisis occurs up to this point. As self-learning modules (SLMs) become a supplemental means of learning in new normal education, this study investigated efficiency towards the learners’ attitude and performance. Specifically, the study described the learners’ profile and their attitude and performance towards SLMs. It also ascertained the relationship between the learner’s profile with their attitude and performance, as well as the relationship between attitude and performance relevant to SLMs. (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  9. How to think about higher‐level perceptual contents.Daniel C. Burnston - 2023 - Mind and Language 38 (5):1166-1186.
    The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. The Case Against Powers.Walter Ott - 2021 - In Stathis Psillos, Benjamin Hill & Henrik Lagerlund (eds.), Causal Powers in Science: Blending Historical and Conceptual Perspectives. Oxford University Press. pp. 149-167.
    Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Integrated Information Theory, Intrinsicality, and Overlapping Conscious Systems.James C. Blackmon - 2021 - Journal of Consciousness Studies 28 (11-12):31-53.
    Integrated Information Theory (IIT) identifies consciousness with having a maximum amount of integrated information. But a thing’s having the maximum amount of anything cannot be intrinsic to it, for that depends on how that thing compares to certain other things. IIT’s consciousness, then, is not intrinsic. A mereological argument elaborates this consequence: IIT implies that one physical system can be conscious while a physical duplicate of it is not conscious. Thus, by a common and reasonable conception of intrinsicality, IIT’s consciousness (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Knowing and Not‐knowing For Your Own Good: The Limits of Epistemic Paternalism.Emma C. Bullock - 2016 - Journal of Applied Philosophy:433-447.
    Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  13. Counterfactual Similarity, Nomic Indiscernibility, and the Paradox of Quidditism.Andrew D. Bassford & C. Daniel Dolson - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (1):230-261.
    Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Kritik der praktischen Vernunft.Ina Goy - 2015 - In Marcus Willaschek, Jürgen Stolzenberg, Georg Mohr & Stefano Bacin (eds.), Kant-Lexikon. Berlin: De Gruyter. pp. 1315–1323.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. A Plague on Both your Statist Houses: Why Libertarian Restitution Beats State-Retribution and State-Leniency.J. C. Lester - 2005 - In Simple justice / Charles Murray ; commentaries, Rob Allen ; edited by David Conway.
    Charles Murray describes himself as a libertarian, most notably in his short book, What it Means to be a Libertarian. He might more accurately have described himself as having libertarian tendencies. My reading of Simple Justice is that the views it espouses are far more traditionalist than libertarian. Neither traditionalist state-retribution nor modernist state-leniency is libertarian. Nor does either provide as just or efficient a response to crime as does libertarian restitution, including restitutive retribution. Here, I shall respond directly only (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Perceptual Integration, Modularity, and Cognitive Penetration.Daniel C. Burnston & Jonathan Cohen - 2015 - In A. Raftopoulos & J. Zeimbekis (eds.), The Cognitive Penetrability of Perception: New Philosophical Perspectives. Oxford: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  17. Leges sive natura: Bacon, Spinoza, and a Forgotten Concept of Law.Walter Ott - 2018 - In Walter R. Ott & Lydia Patton (eds.), Laws of Nature. Oxford, UK: Oxford University Press. pp. 62-79.
    The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from his, one that is entirely disconnected from God or God’s will. I argue that Francis Bacon and Baruch Spinoza treat laws as dispositions that derive from a thing’s nature. This reading upends the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Virtue and Sensibility (6:399–409).Ina Goy - 2013 - In Andreas Trampota, Oliver Sensen & Jens Timmermann (eds.), Kant’s “Tugendlehre”. A Comprehensive Commentary. Boston: Walter de Gruyter. pp. 183–206.
    A commentary on Sections XII–XVI of the “Introduction to the Doctrine of Virtue”.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  38
    Kymlicka on Libertarianism: a Critical Response.J. C. Lester - 2014 - In Jan Lester (ed.), _Explaining Libertarianism: Some Philosophical Arguments_. Buckingham: The University of Buckingham Press. pp. 7-30.
    This essay examines sections relevant to libertarianism in Will Kymlicka’s Contemporary Political Philosophy: An Introduction (2nd ed.), making and explaining the following criticisms. Kymlicka’s “preface” misconstrues political philosophy’s progress, purpose, and its relation to libertarianism. In his “introduction”, his “project” mistakes libertarianism as “right-wing”, justice as compromise among “existing theories”, and equality as the “ultimate value.” His “a note on method” in effect takes as axioms, beyond philosophical examination, various alleged desiderata and the necessary moral role of the state. Moreover, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The Moral Self and Moral Duties.Jim A. C. Everett, Joshua August Skorburg & Julian Savulescu - 2020 - Philosophical Psychology (7):1-22.
    Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Are the open-ended rules for negation categorical?Constantin C. Brîncuș - 2019 - Synthese 198 (8):7249-7256.
    Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Propositional Attitudes in Modern Philosophy.Walter Ott - 2002 - Dialogue 41 (3):551-568.
    Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  23. Locke's Exclusion Argument.Walter Ott - 2010 - History of Philosophy Quarterly 27 (2):181-196.
    In this paper, I argue that Locke is not in fact agnostic about the ultimate nature of the mind. In particular, he produces an argument, much like Jaegwon Kim's exclusion argument, to show that any materialist view that takes mental states to supervene on physical states is committed to epiphenomenalism. This result helps illuminate Locke's otherwise puzzling notion of 'superaddition.'.
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Relatively Infinite Value of the Environment.Paul Bartha & C. Tyler DesRoches - 2017 - Australasian Journal of Philosophy 95 (2):328-353.
    Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. A Probabilistic Defense of Proper De Jure Objections to Theism.Brian C. Barnett - 2019
    A common view among nontheists combines the de jure objection that theism is epistemically unacceptable with agnosticism about the de facto objection that theism is false. Following Plantinga, we can call this a “proper” de jure objection—a de jure objection that does not depend on any de facto objection. In his Warranted Christian Belief, Plantinga has produced a general argument against all proper de jure objections. Here I first show that this argument is logically fallacious (it makes subtle probabilistic fallacies (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Nisza.Achille C. Varzi & Barry Smith - 2000 - Filozofia Nauki 3:5–30.
    Pojęcie niszy (otoczenia, kontekstu, siedliska, środowiska) nie cieszy się specjalnym zainteresowaniem ontologów, mimo że ma szerokie zastosowanie w rozmaitych dyscyplinach, od biologii ewolucyjnej po ekonomię. Niniejszy artykuł zawiera pierwszą teorię formalną tego pojęcia — teorię relacji pomiędzy przedmiotami a ich niszami. Teoria ta opiera się na istniejącym dorobku mereologii, topologii i teorii lokalizacji przestrzennej, które są narzędziami ontologii formalnej. Jest ona tutaj ilustrowana głównie za pomocą prostych przykładów z biologii, ale pojęcie niszy należy rozumieć — podobnie jak pojęcia części, granicy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The cartesian context of Berkeley's attack on abstraction.Walter R. Ott - 2004 - Pacific Philosophical Quarterly 85 (4):407–424.
    I claim that Berkeley's main argument against abstraction comes into focus only when we see Descartes as one of its targets. Berkeley does not deploy Winkler's impossibility argument but instead argues that what is impossible is inconceivable. Since Descartes conceives of extension as a determinable, and since determinables cannot exist as such, he falls within the scope of Berkeley's argument.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  28. The Role of Starting Points to Order Investigation: Why and How to Enrich the Logic of Research Questions.William C. Bausman - 2022 - Philosophy, Theory, and Practice in Biology 6 (14).
    What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors Proposal extends (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2023 - Review of Symbolic Logic 16 (3):862-899.
    The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Socrates on the Emotions.Thomas C. Brickhouse & Nicholas D. Smith - 2015 - Plato Journal 15:9-28.
    In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  31. Contents, vehicles, and complex data analysis in neuroscience.Daniel C. Burnston - 2020 - Synthese 199 (1-2):1617-1639.
    The notion of representation in neuroscience has largely been predicated on localizing the components of computational processes that explain cognitive function. On this view, which I call “algorithmic homuncularism,” individual, spatially and temporally distinct parts of the brain serve as vehicles for distinct contents, and the causal relationships between them implement the transformations specified by an algorithm. This view has a widespread influence in philosophy and cognitive neuroscience, and has recently been ably articulated and defended by Shea. Still, I am (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Hume on Meaning.Walter Ott - 2006 - Hume Studies 32 (2):233-252.
    Hume's views on language have been widely misunderstood. Typical discussions cast Hume as either a linguistic idealist who holds that words refer to ideas or a proto-verificationist. I argue that both readings are wide of the mark and develop my own positive account. Humean signification emerges as a relation whereby a word can both indicate ideas in the mind of the speaker and cause us to have those ideas. If I am right, Hume offers a consistent view on meaning that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Inexplicit information.Robert C. Cummins - 1986 - In Myles Brand (ed.), The Representation Of Knowledge And Belief. Tucson: University Of Arizona Press.
    A discussion of a number of ways that information can be present in a computer program without being explicitly represented.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  34. Locke's Argument from Signification.W. Ott - 2002 - Locke Studies 2:145-76.
    Locke clearly intends what I call his 'linguistic thesis,' the claim that words signify nothing but ideas, to tell against Aristotelian essentialism. I argue that current interpretations of Locke's anti-essentialist arguments have not accorded the linguistic thesis its proper role. This is largely due to the prevalent misreadings of that thesis. Locke's view is that words reliably indicate ideas in the mind of the speaker. It is only once we see this that we can understand how the thesis functions in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. What Is Epistemology?Brian C. Barnett - 2021 - In Introduction to Philosophy: Epistemology. Rebus Community.
    This chapter defines "epistemology," introduces the key epistemological questions, and briefly outlines how the field has evolved over time. It serves as the introduction to the edited collection, Introduction to Philosophy: Epistemology (a volume in the Introduction to Philosophy open textbook series edited by Christina Hendricks).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Leibniz on Sensation and the Limits of Reason.Walter Ott - 2016 - History of Philosophy Quarterly 33 (2):135-153.
    I argue that Leibniz’s doctrine of sensory representation is intended in part to close an explanatory gap in his philosophical system. Unlike the twentieth century explanatory gap, which stretches between neural states on one side and phenomenal character on the other, Leibniz’s gap lies between experiences of secondary qualities like color and taste and the objects that cause them. The problem is that the precise arrangement and distribution of such experiences can never be given a full explanation. In response, Leibniz (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Motor Imagery and Merleau-Pontyian Accounts of Skilled Action.J. C. Berendzen - 2014 - Ergo: An Open Access Journal of Philosophy 1:169-198.
    Maurice Merleau-Ponty is often interpreted as claiming that opportunities for action are directly present in perceptual experience. However, he does not provide much evidence for how or why this would occur, and one can doubt that this is an appropriate interpretation of his phenomenological descriptions. In particular, it could be argued the Merleau-Pontyian descriptions mistakenly attribute pre-perceptual or post-perceptual elements such as allocation of attention or judgment to the perceptual experience itself. This paper argues for the Merleau-Pontyian idea that opportunities (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. What Makes Logical Truths True?Constantin C. Brîncuș - 2016 - Logos and Episteme 7 (3): 249-272.
    The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. The Space Domain Ontologies.Alexander P. Cox, C. K. Nebelecky, R. Rudnicki, W. A. Tagliaferri, J. L. Crassidis & B. Smith - 2021 - In Alexander P. Cox, C. K. Nebelecky, R. Rudnicki, W. A. Tagliaferri, J. L. Crassidis & B. Smith (eds.), National Symposium on Sensor & Data Fusion Committee.
    Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Régis's scholastic mechanism.Walter Ott - 2008 - Studies in History and Philosophy of Science Part A 39 (1):2-14.
    Unlike many of Descartes’s other followers, Pierre-Sylvain Re´gis resists the temptations of occasionalism. By marrying the ontology of mechanism with the causal structure of concurrentism, Re´gis arrives at a novel view that both acknowledges God’s role in natural events and preserves the causal powers of bodies. I set out Re´gis’s position, focusing on his arguments against occasionalism and his responses to Malebranche’s ‘no necessary connection’ and divine concursus arguments.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  98
    The Non-Categoricity of Logic (II). Multiple-Conclusions and Bilateralist Logics (In Romanian).Constantin C. Brîncuș - 2023 - Probleme de Logică (Problems of Logic) (1):139-162.
    The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 57-66.
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Kritik der reinen Vernunft.Ina Goy - 2015 - In Marcus Willaschek, Jürgen Stolzenberg, Georg Mohr & Stefano Bacin (eds.), Kant-Lexikon. Berlin: De Gruyter. pp. 1323–1340.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Locke on language.Walter Ott - 2008 - Philosophy Compass 3 (2):291–300.
    This article canvases the main areas of controversy: the nature of Lockean signification and his position on propositions and particles.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
    Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Inferential Quantification and the ω-rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372.
    Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Will AI Achieve Consciousness? Wrong Question.Daniel C. Dennett - 2019 - Wired 1 (19.02.2019).
    We should not be creating conscious, humanoid agents but an entirely new sort of entity, rather like oracles, with no conscience, no fear of death, no distracting loves and hates.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.
    Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. ARGO: Arguments Ontology.John Beverley, Neil Otte, Francesco Franda, Brian Donohue, Alan Ruttenberg, Jean-Baptiste Guillion & Yonatan Schreiber - manuscript
    Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Is there a future for AI without representation?Vincent C. Müller - 2007 - Minds and Machines 17 (1):101-115.
    This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 1000