Results for 'forcing axioms'

939 found
Order:
  1. Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications.
    In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
    We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the ‘core hypothesis’. In the first part, we examine the evidential framework for MV, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of ZFC. In the second part, we address the existence and the possible features of the core of MV_T (where T is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Homeomorphism of Minkowski Space and the Separable Complex Hilbert Space: The physical, Mathematical and Philosophical Interpretations.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (3):1-22.
    A homeomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That homeomorphism can be interpreted physically as the invariance to a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting at another way for proving it, more concise and meaningful physically. Furthermore, the conjecture can be generalized (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 2).Vasil Penchev - 2013 - Philosophical Alternatives 22 (3):74-83.
    The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Problem of the Direct Quantum-Information Transformation of Chemical Substance.Vasil Penchev - 2020 - Computational and Theoretical Chemistry eJournal (Elsevier: SSRN) 3 (26):1-15.
    Arthur Clark and Michael Kube–McDowell (“The Triger”, 2000) suggested the sci-fi idea about the direct transformation from a chemical substance to another by the action of a newly physical, “Trigger” field. Karl Brohier, a Nobel Prize winner, who is a dramatic persona in the novel, elaborates a new theory, re-reading and re-writing Pauling’s “The Nature of the Chemical Bond”; according to Brohier: “Information organizes and differentiates energy. It regularizes and stabilizes matter. Information propagates through matter-energy and mediates the interactions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Gradational accuracy and nonclassical semantics.J. Robert G. Williams - 2012 - Review of Symbolic Logic 5 (4):513-537.
    Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  7. (1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. A Libertarian Perspective on Peace Enforcement by the United Nations.Sukrit Sabhlok - 2020 - Studia Humana 9 (2):75-82.
    Most analysts view the United Nations as a positive stabilising force in international affairs. In this paper, I critically assess this opinion of the UN’s peace enforcement actions using the case studies of the Korean War and the Gulf War while relying on the non-aggression axiom of libertarian philosophy. In the process, I shed light on some of the moral considerations at play when deciding on UN-sanctioned military intervention.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Two Strategies to Infinity: Completeness and Incompleteness. The Completeness of Quantum Mechanics.Vasil Penchev - 2020 - High Performance Computing eJournal 12 (11):1-8.
    Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Relation between Conception and Causation in Spinoza's Metaphysics.John Morrison - 2013 - Philosophers' Imprint 13:1-17.
    Conception and causation are fundamental notions in Spinoza's metaphysics. I argue against the orthodox view that, due to the causal axiom, if one thing is conceived through another thing, then the second thing causes the first thing. My conclusion forces us to rethink Spinoza's entitlement to some of his core commitments, including the principle of sufficient reason, the parallelism doctrine and the conatus doctrine.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  11. What makes a `good' modal theory of sets?Neil Barton - manuscript
    I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 1).Vasil Penchev - 2013 - Philosophical Alternatives 22 (1):67-77.
    Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Álgebras booleanas, órdenes parciales y axioma de elección.Franklin Galindo - 2017 - Divulgaciones Matematicas 18 ( 1):34-54.
    El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Some Consequences of the Academicization of Design Practice.Michael Biggs & Daniela Büchler - 2011 - Design Philosophy Papers 9 (1):41-55.
    This paper aims to contribute a design-focused perspective on the ‘alternative paradigm research’ discussion. To clarify the aspect of ‘design-focus’ that we wish to refer to, we will use the term ‘areas of design practice’ to cover those activities that focus on the conception and production of artefacts, in contrast to the activities of theorizing and writing histories. The literature on academic research in areas of design practice encompasses a board range of subjects and terminology -- it refers to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers.Lorna Green - manuscript
    June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. (1 other version)Beyond the Fregean myth: the value of logical values.Fabien Schang - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Ontos Verlag. pp. 245--260.
    One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of any sentence (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Some Libertarian Ideas about Human Social Life.Gheorghe-Ilie Farte - 2012 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 10 (2):07-19.
    The central thesis of my article is that people live a life worthy of a human being only as self-ruling members of some autarchic (or self-governing) communities. On the one hand, nobody is born as a self-ruling individual, and on the other hand, everybody can become such a person by observing progressively the non-aggression principle and, ipso facto, by behaving as a moral being. A self-ruling person has no interest in controlling her neighbors, but in mastering his own impulses, needs, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Spinoza and the Cunning of Imagination by Eugene Garver. [REVIEW]Kristin Primus - 2020 - Journal of the History of Philosophy 58 (3):613-614.
    How the arguments of Spinoza's Ethics work might seem obvious. Even if Spinoza's exposition is not perfect, and some suppressed premises might have to be recovered, it seems clear enough that the demonstrations are supposed to show, in Euclidian fashion, how truths about the basic structure of nature—as well as truths about how to live—follow from axioms and uncontroversial definitions. If readers keep their imagination and emotions from sullying their reasoning, they will see the force of the demonstrations and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Information Relativity Theory and its Application to Time and Space.Ramzi Suleiman - manuscript
    In a recent paper I proposed a novel relativity theory termed Information Relativity (IR). Unlike Einstein's relativity which dictates as force majeure that relativity is a true state of nature, Information Relativity assumes that relativity results from difference in information about nature between observers who are in motion relative to each other. The theory is based on two axioms: 1. the laws of physics are the same in all inertial frames of reference (Special relativity's first axiom); 2. All translations (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. A very large fly in the ointment: Davidsonian truth theory contextualized.Mark Sainsbury - 2012 - In Richard Schantz (ed.), Prospects for Meaning. Walter de Gruyter.
    one hand, it raises fundamental doubts about the Davidsonian project, which seems to involve isolating specifically semantic knowledge from any other knowledge or skill in a way reflected by the ideal of homophony. Indexicality forces a departure from this ideal, and so from the aspiration of deriving the truth conditions of an arbitrary utterance on the basis simply of axioms which could hope to represent purely semantic knowledge. In defence of Davidson, I argue that once his original idea for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Qualitative Axioms of Uncertainty as a Foundation for Probability and Decision-Making.Patrick Suppes - 2016 - Minds and Machines 26 (2):185-202.
    Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles.Boris Čulina - 2018 - Axiomathes 28 (2):155-180.
    In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  25. Force, content and the varieties of subject.Michael Schmitz - 2019 - Language and Communication 69:115-129.
    This paper argues that to account for group speech acts, we should adopt a representationalist account of mode / force. Individual and collective subjects do not only represent what they e.g. assert or order. By asserting or ordering they also indicate their theoretical or practical positions towards what they assert or order. The ‘Frege point’ cannot establish the received dichotomy of force and propositional content. On the contrary, only the representationalist account allows a satisfactory response to it. It also allows (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Grip force as a functional window to somatosensory cognition.Birgitta Dresp-Langley - 2022 - Frontiers in Psychology 13:1026439.
    Analysis of grip force signals tailored to hand and finger movement evolution and changes in grip force control during task execution provide unprecedented functional insight into somatosensory cognition. Somatosensory cognition is a basis of our ability to manipulate, move, and transform objects of the physical world around us, to recognize them on the basis of touch alone, and to grasp them with the right amount of force for lifting and manipulating them. Recent technology has permitted the wireless monitoring of grip (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. (1 other version)Force, content and the varieties of unity.Michael Schmitz - 2021 - In Gabriele Mras & Michael Schmitz (eds.), Force, Content and the Unity of the Proposition. New York: Routledge. pp. 71-90.
    In this paper I propose three steps to overcome the force-content dichotomy and dispel the Frege point. First, we should ascribe content to force indicators. Through basic assertoric and directive force indicators such as intonation, word order and mood, a subject presents its position of theoretical or practical knowledge of a state of affairs as a fact, as something that is the case, or as a goal, as something to do. Force indicators do not operate on truth- or satisfaction evaluable (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Towards Even More Irresistible Axiom Weakening.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard - 2020 - In Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard (eds.), Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece.
    Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Restricting Spinoza's Causal Axiom.John Morrison - 2015 - Philosophical Quarterly 65 (258):40-63.
    Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Force, content and logic.Michael Schmitz - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics, Contributions to the 41st International Wittgenstein Symposium. Berlin: Austrian Ludwig Wittgenstein Society. pp. 221-223.
    The Frege point to the effect that e.g. the clauses of conditionals are not asserted and therefore cannot be assertions is often taken to establish a dichotomy between the content of a speech act, which is propositional and belongs to logic and semantics, and its force, which belongs to pragmatics. Recently this dichotomy has been questioned by philosophers such as Peter Hanks and Francois Recanati, who propose act-theoretic accounts of propositions, argue that we can’t account for propositional unity independently of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The force and fairness of blame.Pamela Hieronymi - 2004 - Philosophical Perspectives 18 (1):115–148.
    In this paper I consider fairness of blaming a wrongdoer. In particular, I consider the claim that blaming a wrongdoer can be unfair because blame has a certain characteristic force, a force which is not fairly imposed upon the wrongdoer unless certain conditions are met--unless, e.g., the wrongdoer could have done otherwise, or unless she is someone capable of having done right, or unless she is able to control her behavior by the light of moral reasons. While agreeing that blame (...)
    Download  
     
    Export citation  
     
    Bookmark   144 citations  
  32.  74
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in Maudlin and Malament. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of Tarski : a predicate of betwenness and a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Repairing Ontologies via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello - 2018 - In Daniele Porello & Roberto Confalonieri Nicolas Troquard (eds.), Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18). pp. 1981--1988.
    Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Diagonalization & Forcing FLEX: From Cantor to Cohen and Beyond. Learning from Leibniz, Cantor, Turing, Gödel, and Cohen; crawling towards AGI.Elan Moritz - manuscript
    The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Forced Changes Only: A New Take on the Law of Inertia.Daniel Hoek - 2023 - Philosophy of Science 90 (1):60-76.
    Newton’s First Law of Motion is typically understood to govern only the motion of force-free bodies. This paper argues on textual and conceptual grounds that it is in fact a stronger, more general principle. The First Law limits the extent to which any body can change its state of motion –– even if that body is subject to impressed forces. The misunderstanding can be traced back to an error in the first English translation of Newton’s Principia, which was published a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Forced Labour and Access to Education of Rohingya Refugee Children in Bangladesh: Beyond a Humanitarian Crisis.Md Mahmudul Hoque - 2021 - Journal of Modern Slavery 6 (3):19-33.
    Rohingya refugee children in Bangladesh are forced into labour both inside and outside the camps for a wide range of reasons. This article examines this situation in relation to the access to education for those children living in the camps in Cox’s Bazar. Being informed by several perspectives concerning child labour and access to schooling in developing country contexts, this research work has adopted a qualitative approach to study various factors working behind this pressing issue. After collecting data by means (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. The Axiom of Infinity.Cassius Jackson Keyser - 1904 - Hibbert Journal 3:380-383.
    Download  
     
    Export citation  
     
    Bookmark  
  38. (2 other versions)The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Axioms, Definitions, and the Pragmatic a priori: Peirce and Dewey on the “Foundations” of Mathematical Science.Bradley C. Dart - 2024 - European Journal of Pragmatism and American Philosophy 16 (1).
    Peirce and Dewey were generally more concerned with the process of scientific activity than purely mathematical work. However, their accounts of knowledge production afford some insights into the epistemology of mathematical postulates, especially definition and axioms. Their rejection of rationalist metaphysics and their emphasis on continuity in inquiry provides the pretext for the pragmatic a priori – hypothetical and operational assumptions whose justification relies on their fruitfulness in the long run. This paper focuses on the application of this idea (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Sensory Force, Sublime Impact, and Beautiful Form.Eli I. Lichtenstein - 2019 - British Journal of Aesthetics 59 (4):449-464.
    Can a basic sensory property like a bare colour or tone be beautiful? Some, like Kant, say no. But Heidegger suggests, plausibly, that colours ‘glow’ and tones ‘sing’ in artworks. These claims can be productively synthesized: ‘glowing’ colours are not beautiful; but they are sensory forces—not mere ‘matter’, contra Kant—with real aesthetic impact. To the extent that it inheres in sensible properties, beauty is plausibly restricted to structures of sensory force. Kant correspondingly misrepresents the relation of beautiful wholes to their (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Maximality and ontology: how axiom content varies across philosophical frameworks.Sy-David Friedman & Neil Barton - 2017 - Synthese 197 (2):623-649.
    Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Forces in a true and physical sense: from mathematical models to metaphysical conclusions.Corey Dethier - 2019 - Synthese 198 (2):1109-1122.
    Wilson [Dialectica 63:525–554, 2009], Moore [Int Stud Philos Sci 26:359–380, 2012], and Massin [Br J Philos Sci 68:805–846, 2017] identify an overdetermination problem arising from the principle of composition in Newtonian physics. I argue that the principle of composition is a red herring: what’s really at issue are contrasting metaphysical views about how to interpret the science. One of these views—that real forces are to be tied to physical interactions like pushes and pulls—is a superior guide to real forces than (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Sixth Force and Photonic Overman.Hermes Varini - 2020 - Society. Communication. Education Peter the Great St. Petersburg Polytechnic University 2020 (1):29.
    In contrast to the Nietzschean conception of Übermensch as signifying, hitherto, a supermanhood in moral terms alone, the principle of the latter lies in its being antithetical to the present human status, and in its thus proving altogether superior both ontologically and physically. With this premise the notions of Sixth Force and Photonic Frame are now associated. Set forth after a qualitative fashion, while the former is related to the thus far known elemental constituents of matter, as well as to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Force of Consciousness in Mass Charge Interactions.Wolfgang Baer - 2014 - Cosmos and History 10 (1):170-182.
    Primitive awareness leading to consciousness can be explained as a manifestation of internal forces between charge and mass. These internal forces, related to the weak and strong forces, balance the external forces of gravity-inertia and electricity-magnetism and thereby accommodate outside influences by adjusting the internal structure of material from which we are composed. Such accommodation is the physical implementation of a model of the external physical world and qualifies as Vitiello's double held inside ourselves. We experience this accommodation as the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Force and the Nature of Body in Discourse on Metaphysics §§17-18.Paul Lodge - 1997 - The Leibniz Review 7:116-124.
    According to Robert Sleigh Jr., “The opening remarks of DM.18 make it clear that Leibniz took the results of DM.17 as either establishing, or at least going a long way toward establishing, that force is not identifiable with any mode characterizable terms of size, shape, and motion.” Sleigh finds this puzzling and suggests that other commentators have generally been insufficiently perplexed by the bearing that the DM.17 has on the metaphysical issue. In this brief paper, I examine the solution that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Forced‐March Sorites Arguments and Linguistic Competence.Jonas Åkerman - 2013 - Dialectica 67 (4):403-426.
    Agent relativists about vagueness (henceforth ‘agent relativists’) hold that whether or not an object x falls in the extension of a vague predicate ‘P’ at a time t depends on the judgemental dispositions of a particular competent agent at t. My aim in this paper is to critically examine arguments that purport to support agent relativism by appealing to data from forced-march Sorites experiments. The most simple and direct versions of such forced-march Sorites arguments rest on the following (implicit) premise: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. The Axiom of choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  50.  54
    Atomic Force Nano Microscope (AFM) is One of the Optical Devices.Afshin Rashid - 2025 - Elsevier Bv 71.
    The recent advent of high-resolution imaging and force spectroscopy using atomic force mi- croscopy (AFM) in organic and inorganic solutions opens the way to imaging a wide variety of surfaces and their solvent structure. However, to take full advantage of the high resolution and provide signicant new analytical capability, a detailed understanding of the background contrast mechanisms that lead to atomic and molecular resolution is critical. Without a theory that connects the measured force to atomic models of the surface and (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 939