Results for 'two-vector formalism'

982 found
Order:
  1. The Two-State Vector Formalism of Quantum Mechanics: an Updated Review.Y. Aharonov & L. Vaidman - 2008 - In J. G. Muga, R. Sala Mayato & I. L. Egusquiza (eds.), \em Time in Quantum Mechanics. Springer. pp. 397-447.
     
    Export citation  
     
    Bookmark  
  2.  70
    Complex Vector Formalism of Harmonic Oscillator in Geometric Algebra: Particle Mass, Spin and Dynamics in Complex Vector Space.K. Muralidhar - 2014 - Foundations of Physics 44 (3):266-295.
    Elementary particles are considered as local oscillators under the influence of zeropoint fields. Such oscillatory behavior of the particles leads to the deviations in their path of motion. The oscillations of the particle in general may be considered as complex rotations in complex vector space. The local particle harmonic oscillator is analyzed in the complex vector formalism considering the algebra of complex vectors. The particle spin is viewed as zeropoint angular momentum represented by a bivector. It has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  15
    Vector logic allows counterfactual virtualization by the square root of NOT.Eduardo Mizraji - 2021 - Logic Journal of the IGPL 29 (5):859-870.
    In this work, we investigate the representation of counterfactual conditionals using the vector logic, a matrix-vector formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Past of a quantum particle: old problem with recent controversies.Jerzy Dajka - 2022 - Zagadnienia Filozoficzne W Nauce 72:7-36.
    Time-symmetric formulation of quantum mechanics—the two-state vector formalism—is presented as a tool for studying past behaviour of quantum systems. A role of weak measurement and weak values in the Cheshire Cat effect and a nested (Vaidman) three-path interferometer are discussed. Interpretation of a particle’s faint trace indicating possibility of discontinuous paths of particles passing the Vaidman interferometer is given. Consistent histories are presented as one of alternative approaches. Multitude of controversial issues is briefly reviewed and discussed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. An Analysis of Ensembles that are Both Pre- and Post-Selected.Abner Shimony - 2005 - Foundations of Physics 35 (2):215-232.
    The idea of ensembles which are both pre- and post-selected was introduced by Aharonov, Bergmann, and Lebowitz and developed by Aharonov and his school. To derive formulae for the probabilities of outcomes of a measurement performed on such an ensemble at a time intermediate between pre-selection and post-selection, the latter group introduces a two-vector formulation of quantum mechanics, one vector propagating in the forward direction in time and one in the backward direction. The formulae which they obtain by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    Complex-Valued Classical Behavior from the Correspondence Limit of Quantum Mechanics with Two Boundary Conditions.Yakir Aharonov & Tomer Shushi - 2022 - Foundations of Physics 52 (3):1-7.
    The two-state-vector formalism presents a time-symmetric approach to the standard quantum mechanics, with particular importance in the description of experiments having pre- and post-selected ensembles. In this paper, using the correspondence limit of the quantum harmonic oscillator in the two-state-vector formalism, we produce harmonic oscillators that possess a classical behavior while having a complex-valued position and momentum. This allows us to discover novel effects that cannot be achieved otherwise. The proposed classical behavior does not describe the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  28
    What Weak Measurements and Weak Values Really Mean: Reply to Kastner.Eliahu Cohen - 2017 - Foundations of Physics 47 (10):1261-1266.
    Despite their important applications in metrology and in spite of numerous experimental demonstrations, weak measurements are still confusing for part of the community. This sometimes leads to unjustified criticism. Recent papers have experimentally clarified the meaning and practical significance of weak measurements, yet in Kastner, Kastner seems to take us many years backwards in the the debate, casting doubt on the very term “weak value” and the meaning of weak measurements. Kastner appears to ignore both the basics and frontiers of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  25
    Interpretation of the curious results of the new quantum formalism of pre- and post-selected systems.Oron Zachar & Orly Alter - 1991 - Foundations of Physics 21 (7):803-820.
    The analysis, with the use of two state vectors, of a quantum system, during the time interval between two measurements, leads to some amazing results, which seem to contradict our usual “quantum common sense.” We explore the questions of compatibility with the conventional quantum theory, uniqueness of pre- and post-selected ensembles, commutativity, simultaneity and reality of strong and weak values in the intermediate time, and the meaning of the weak value. Common criticisms are shown to be unfounded.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  37
    (1 other version)Probability, arrow of time and decoherence.Guido Bacciagaluppi - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (2):439-456.
    This paper relates both to the metaphysics of probability and to the physics of time asymmetry. Using the formalism of decoherent histories, it investigates whether intuitions about intrinsic time directedness that are often associated with probability can be justified in the context of no-collapse approaches to quantum mechanics. The standard approach to time symmetry in the decoherent histories literature is criticised, and an alternative approach is proposed, based on two decoherence conditions within the one-vector formalism. In turn, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  68
    A new look at electromagnetic field theory.Mendel Sachs - 1980 - Foundations of Physics 10 (11-12):921-936.
    The most general expression of electromagnetic theory is examined in the light of (1) Faraday's interpretation of the field as a potentiality for the force of charged matter to act upon a test body, and (2) Einstein's view of the field equations as an example of a covariant expression of special relativity. Faraday's original interpretation, in which all physical variables must be expressible as nonsingular fields, implies a particular generalization of the standard forms of the conservation equations and leads to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  36
    Interaction-Free Effects Between Distant Atoms.Yakir Aharonov, Eliahu Cohen, Avshalom C. Elitzur & Lee Smolin - 2018 - Foundations of Physics 48 (1):1-16.
    A Gedanken experiment is presented where an excited and a ground-state atom are positioned such that, within the former’s half-life time, they exchange a photon with 50% probability. A measurement of their energy state will therefore indicate in 50% of the cases that no photon was exchanged. Yet other measurements would reveal that, by the mere possibility of exchange, the two atoms have become entangled. Consequently, the “no exchange” result, apparently precluding entanglement, is non-locally established between the atoms by this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  98
    A Tale of Two Vectors.Marc Lange - 2009 - Dialectica 63 (4):397-431.
    Why do forces compose according to the parallelogram of forces? This question has been controversial; it is one episode in a longstanding, fundamental dispute regarding which facts are not to be explained dynamically. If the parallelogram law is explained statically, then the laws of statics are separate from and “transcend” the laws of dynamics. Alternatively, if the parallelogram law is explained dynamically, then statical laws become mere corollaries to the dynamical laws. I shall attempt to trace the history of this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13. A Symmetrical Interpretation of the Klein-Gordon Equation.Michael B. Heaney - 2013 - Foundations of Physics 43 (6):733-746.
    This paper presents a new Symmetrical Interpretation (SI) of relativistic quantum mechanics which postulates: quantum mechanics is a theory about complete experiments, not particles; a complete experiment is maximally described by a complex transition amplitude density; and this transition amplitude density never collapses. This SI is compared to the Copenhagen Interpretation (CI) for the analysis of Einstein’s bubble experiment. This SI makes several experimentally testable predictions that differ from the CI, solves one part of the measurement problem, resolves some inconsistencies (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  54
    How to Choose a Gauge? The Case of Hamiltonian Electromagnetism.Henrique Gomes & Jeremy Butterfield - 2024 - Erkenntnis 89 (4):1581-1615.
    We develop some ideas about gauge symmetry in the context of Maxwell’s theory of electromagnetism in the Hamiltonian formalism. One great benefit of this formalism is that it pairs momentum and configurational degrees of freedom, so that a decomposition of one side into subsets can be translated into a decomposition of the other. In the case of electromagnetism, this enables us to pair degrees of freedom of the electric field with degrees of freedom of the vector potential. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  12
    An Estimate for the Dimension of the Product of Two Vector Spaces.I. Connell - 1977 - History and Philosophy of Logic 4 (4):273-275.
  16.  38
    Geometrical concepts at the interface of formal and cognitive models: Aktionsart, aspect, and the English progressive.Paul Chilton - 2007 - Pragmatics and Cognition 15 (1):91-114.
    The paper has two related aims. One is to outline a proposal for a spatially motivated model of discourse, called Discourse Space Theory. The other is to use this framework to explore, in a relatively formalised way, the spatial basis of the conceptual complexities arising in the uses of the English progressive verb form. The theory utilises an abstract space in three dimensions. Verb stems are associated with Aktionsart schemas; aspectual forms like the progressive are viewed as operations on these (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Indeterminism in Quantum Mechanics: Beyond and/or Within.Vasil Penchev - 2020 - Development of Innovation eJournal (Elsevier: SSRN) 8 (68):1-5.
    The problem of indeterminism in quantum mechanics usually being considered as a generalization determinism of classical mechanics and physics for the case of discrete (quantum) changes is interpreted as an only mathematical problem referring to the relation of a set of independent choices to a well-ordered series therefore regulated by the equivalence of the axiom of choice and the well-ordering “theorem”. The former corresponds to quantum indeterminism, and the latter, to classical determinism. No other premises (besides the above only mathematical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  41
    Quantum States of Indefinite Spins: From Baryons to Massive Gravitino. [REVIEW]M. Kirchbach - 2003 - Foundations of Physics 33 (5):781-812.
    One of the long-standing problems in particle physics is the covariant description of higher spin states. The standard formalism is based upon totally symmetric Lorentz invariant tensors of rank-K with Dirac spinor components, $\psi _{\mu _1 \cdots \mu _K } $ , which satisfy the Dirac equation for each space time index. In addition, one requires $\partial ^{\mu _1 } \psi _{\mu _1 \cdots \mu _K } = 0{\text{ }}and{\text{ }}\gamma ^{\mu _1 } \psi _{\mu _1 \cdots \mu _K (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  27
    An empirical, purely spatial criterion for the planes ofF-simultaneity.Robert Alan Coleman & Herbert Korte - 1991 - Foundations of Physics 21 (4):417-437.
    The claim that distant simultaneity with respect to an inertial observer is conventional arose in the context of a space-and-time rather than a spacetime ontology. Reformulating this problem in terms of a spacetime ontology merely trivializes it. In the context of flat space, flat time, and a linear inertial structure (a purely space-and-time formalism), we prove that the hyperplanes of space for a given inertial observer are determined by a purely spatial criterion that depends for its validity only on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  34
    Two notes on vector spaces with recursive operations.J. C. E. Dekker - 1971 - Notre Dame Journal of Formal Logic 12 (3):329-334.
  21. Political Poetry: A Few Notes. Poetics for N30.Jeroen Mettes - 2012 - Continent 2 (1):29-35.
    continent. 2.1 (2012): 29–35. Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "Politieke Poëzie: Enige aantekeningen, Poëtica bij N30 (versie 2006)." In Weerstandbeleid: Nieuwe kritiek . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. L’égalité veut d’autres lois . —Eugène Pottier The modern poem does not have form but consistency (that is sensed), no content but a problem (that is developed). Consistency + problem = composition. The problem of modern poetry is capitalism. Capitalism—which has no (...)
     
    Export citation  
     
    Bookmark  
  22.  98
    From Pythagoras To Einstein: The Hyperbolic Pythagorean Theorem. [REVIEW]Abraham A. Ungar - 1998 - Foundations of Physics 28 (8):1283-1321.
    A new form of the Hyperbolic Pythagorean Theorem, which has a striking intuitive appeal and offers a strong contrast to its standard form, is presented. It expresses the square of the hyperbolic length of the hypotenuse of a hyperbolic right-angled triangle as the “Einstein sum” of the squares of the hyperbolic lengths of the other two sides, Fig. 1, thus completing the long path from Pythagoras to Einstein. Following the pioneering work of Varičak it is well known that relativistic velocities (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  15
    Two-Stage Hybrid Machine Learning Model for High-Frequency Intraday Bitcoin Price Prediction Based on Technical Indicators, Variational Mode Decomposition, and Support Vector Regression.Samuel Asante Gyamerah - 2021 - Complexity 2021:1-15.
    Due to the inherent chaotic and fractal dynamics in the price series of Bitcoin, this paper proposes a two-stage Bitcoin price prediction model by combining the advantage of variational mode decomposition and technical analysis. VMD eliminates the noise signals and stochastic volatility in the price data by decomposing the data into variational mode functions, while technical analysis uses statistical trends obtained from past trading activity and price changes to construct technical indicators. The support vector regression accepts input from a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  26
    A two-dimensional analytical method for the transformation crystallography based on vector analysis.X. -F. Gu & W. -Z. Zhang - 2010 - Philosophical Magazine 90 (24):3281-3292.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  58
    Do Formalist Judges Abide By Their Abstract Principles? A Two-Country Study in Adjudication.Piotr Bystranowski, Bartosz Janik, Maciej Próchnicki, Ivar Rodriguez Hannikainen, Guilherme da Franca Couto Fernandes de Almeida & Noel Struchiner - 2022 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 35 (5):1903-1935.
    Recent literature in experimental philosophy has postulated the existence of the abstract/concrete paradox : the tendency to activate inconsistent intuitions depending on whether a problem to be analyzed is framed in abstract terms or is described as a concrete case. One recent study supports the thesis that this effect influences judicial decision-making, including decision-making by professional judges, in areas such as interpretation of constitutional principles and application of clear-cut rules. Here, following the existing literature in legal theory, we argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  29
    The two faces of morphology: functionalism and formalism.Felipe Faria - 2015 - Scientiae Studia 13 (3):679-684.
    RESUMOA climatologia está no centro de um dos debates mais polarizados da atualidade, apresentado como confronto entre os defensores da existência de um aquecimento global antropogênico e aqueles que rejeitam sua existência. A instituição chave para esse tema é o Painel Intergovernamental sobre Mudanças Climáticas, um corpo simultaneamente científico e político. O debate surge aí mesclado com a discussão política sobre as respostas adequadas ao aquecimento global. Mas, rechaçados nesse terreno, os negacionistas transpõem o debate para a mídia, onde mobilizam (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  38
    A two-patch model of gambian sleeping sickness: Application to vector control strategies in a village and plantations.Karine Chalvet-Monfray, Marc Artzrouni, Jean-Paul Gouteux, Pierre Auger & Philippe Sabatier - 1998 - Acta Biotheoretica 46 (3):207-222.
    A compartmental model is described for the spread of Gambian sleeping sickness in a spatially heterogeneous environment in which vector and human populations migrate between two "patches": the village and the plantations. The number of equilibrium points depends on two "summary parameters": gr the proportion removed among human infectives, and R0, the basic reproduction number. The origin is stable for R0 1. Control strategies are assessed by studying the mix of vector control between the two patches that bring (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  23
    Carnap and Goodman: Two Formalists.Alan Hausman & Fred Wilson - 1969 - Philosophy of Science 36 (3):327-330.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  29.  19
    Two notes on recursively enumerable vector spaces.Richard Guhl - 1977 - Notre Dame Journal of Formal Logic 18 (2):295-298.
  30.  51
    Vector potential and Riemannian space.C. Lanczos - 1974 - Foundations of Physics 4 (1):137-147.
    This paper uncovers the basic reason for the mysterious change of sign from plus to minus in the fourth coordinate of nature's Pythagorean law, usually accepted on empirical grounds, although it destroys the rational basis of a Riemannian geometry. Here we assume a genuine, positive-definite Riemannian space and an action principle which is quadratic in the curvature quantities (and thus scale invariant). The constant σ between the two basic invariants is equated to1/2. Then the matter tensor has the trace zero. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Static and dynamic vector semantics for lambda calculus models of natural language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  19
    A Bi-directional Big Bang/Crunch Universe within a Two-State-Vector Quantum Mechanics?Fritz W. Bopp - 2019 - Foundations of Physics 49 (1):53-62.
    A two boundary quantum mechanics incorporating a big bang/big crunch universe is carefully considered. After a short motivation of the concept we address the central question how a proposed a-causal quantum universe can be consistent with what is known about macroscopia and how it might find experimental support.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  40
    State vector reduction and photon coincidences.A. Szczepański - 1976 - Foundations of Physics 6 (4):427-433.
    The paper contains a discussion on two kinds of coincidence experiments. First, a standard two-photon coincidence experiment is considered and it is shown that its outcomes are incompatible with any classical radiation theory because of the role of the state vector reduction phenomenon in such an experiment. In the second part of the paper a proposed new kind of photon coincidence experiment is discussed. The classical and quantum predictions for the outcomes of this experiment differ dramatically and therefore the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  40
    Formalism to deal with Reichenbach's special theory of relativity.Abraham A. Ungar - 1991 - Foundations of Physics 21 (6):691-726.
    The objective of this article is to provide a formalism to deal with the special theory of relativity (STR, in short) as riewed by Reichenbach, according to which STR involves an ineradicableconventionality of simultaneity. One of the two postulates of STR asserts that, in empty space, the one-way speed of light relative to inertial frames is constant. Experimental evidence, however, is related to the constancy of the round-trip speed of light and has no bearing on one-way speeds. Following Reichenbach's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  48
    Vectors on Curved Space.Peter Forrest - 2009 - Dialectica 63 (4):491-501.
    In this paper I provide an ontology for the co‐variant vectors, contra‐variant vectors and tensors that are familiar from General Relativity. This ontology is developed in response to a problem that Timothy Maudlin uses to argue against universals in the interpretation of physics. The problem is that if vector quantities are universals then there should be a way of identifying the same vector quantity at two different places, but there is no absolute identification of vector quantities, merely (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  68
    Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
    We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
    Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  38.  74
    Formalism, Hamilton and Complex Numbers.John O'Neill - 1986 - Studies in History and Philosophy of Science Part A 17 (3):351.
    The development and applicability of complex numbers is often cited in defence of the formalist philosophy of mathematics. This view is rejected through an examination of hamilton's development of the notion of complex numbers as ordered pairs of reals, And his later development of the quaternion theory, Which subsequently formed the basis of vector analysis. Formalism, By protecting informal assumptions from critical scrutiny, Constrained rather than encouraged the development of mathematics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39. Legal formalism and legal realism: What is the issue?: Brian Leiter.Brian Leiter - 2010 - Legal Theory 16 (2):111-133.
    In teaching jurisprudence, I typically distinguish between two different families of theories of adjudication—theories of how judges do or should decide cases. “Formalist” theories claim that the law is “rationally” determinate, that is, the class of legitimate legal reasons available for a judge to offer in support of his or her decision justifies one and only one outcome either in all cases or in some significant and contested range of cases ; and adjudication is thus “autonomous” from other kinds of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Formalism, Foundations, and Forecast.John Collier - unknown
    Goodman’s account of the ‘grue’ paradox stands at a crossroads in the history of twentieth century epistemology. Published in 1954, Fact, Fiction, and Forecast is a reaction to the logical empiricist views that held sway in the first half of the last century and anticipates many of the conventionalist and/or relativist moves popular throughout the second half. Through his evaluation of Hume’s problem of induction, as well as his own novel reformulation of it, Goodman comes to reject a number of (...)
     
    Export citation  
     
    Bookmark  
  41. Heisenberg’s Uncertainty Relation and Bell Inequalities in High Energy Physics: An effective formalism for unstable two-state systems.Antonio Di Domenico, Andreas Gabriel, Beatrix C. Hiesmayr, Florian Hipp, Marcus Huber, Gerd Krizek, Karoline Mühlbacher, Sasa Radic, Christoph Spengler & Lukas Theussl - 2012 - Foundations of Physics 42 (6):778-802.
    An effective formalism is developed to handle decaying two-state systems. Herewith, observables of such systems can be described by a single operator in the Heisenberg picture. This allows for using the usual framework in quantum information theory and, hence, to enlighten the quantum features of such systems compared to non-decaying systems. We apply it to systems in high energy physics, i.e. to oscillating meson–antimeson systems. In particular, we discuss the entropic Heisenberg uncertainty relation for observables measured at different times (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  48
    Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
    In 1939, Curry proposed a philosophy of mathematics he called formalism. He made this proposal in two works originally written then, although one of them was not published until 1951. These are the two philosophical works for which Curry is known, and they have left a false impression of his views. In this article, I propose to clarify Curry’s views by referring to some of his later writings on the subject. I claim that Curry’s philosophy was not what is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  20
    Aesthetic Formalism in the View of Contemporary Art.Edvardas Rimkus - 2022 - Filosofija. Sociologija 33 (3).
    In a narrow sense, the formalistic conception of art cannot range and explain a wide variety of contemporary art phenomena. In a wide sense, formalism – rejecting the reductionist definition of the essence of art, involving the conceptual dimension of the artwork, and expanding the dimension of sensibility – becomes a productive philosophical art theory allowing one to explain and investigate some part of the contemporary art (modern and postmodern) phenomena. In the expanded conception, the basic principles of aesthetic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. (1 other version)Word vector embeddings hold social ontological relations capable of reflecting meaningful fairness assessments.Ahmed Izzidien - 2021 - AI and Society (March 2021):1-20.
    Programming artificial intelligence to make fairness assessments of texts through top-down rules, bottom-up training, or hybrid approaches, has presented the challenge of defining cross-cultural fairness. In this paper a simple method is presented which uses vectors to discover if a verb is unfair or fair. It uses already existing relational social ontologies inherent in Word Embeddings and thus requires no training. The plausibility of the approach rests on two premises. That individuals consider fair acts those that they would be willing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  51
    Carnap and Goodman: Two Formalists. Alan Hausman, Fred Wilson. [REVIEW]M. S. Gram - 1969 - Philosophy of Science 36 (3):327-330.
  46.  44
    An Open Formalism against Incompleteness.Francesc Tomàs - 1999 - Notre Dame Journal of Formal Logic 40 (2):207-226.
    An open formalism for arithmetic is presented based on first-order logic supplemented by a very strictly controlled constructive form of the omega-rule. This formalism (which contains Peano Arithmetic) is proved (nonconstructively, of course) to be complete. Besides this main formalism, two other complete open formalisms are presented, in which the only inference rule is modus ponens. Any closure of any theorem of the main formalism is a theorem of each of these other two. This fact is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47.  36
    Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
    Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48. A Formalism for Nonmonotonic Reasoning Encoded Generics.Yi Mao - 2003 - Dissertation, The University of Texas at Austin
    This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In (...)
     
    Export citation  
     
    Bookmark   3 citations  
  49.  36
    Why Legal Formalism Is Not a Stupid Thing.Paul Troop - 2018 - Ratio Juris 31 (4):428-443.
    Legal formalism is the foil for many theories of law. Yet formalism remains controversial, meaning that its critics focus on claims that are not central. This paper sets out a view of formalism using a methodology that embraces one of formalism’s most distinct claims, that formalism is a scientific theory of law. This naturalistic view of formalism helps to distinguish two distinct types of formalism, “doctrinal formalism,” the view that judicial behaviour can (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  48
    (1 other version)Bisimulations and Boolean Vectors.Melvin Fitting - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 97-125.
    A modal accessibility relation is just a transition relation, and so can be represented by a {0, 1} valued transition matrix. Starting from this observation, I first show that the machinery of matrices, over Boolean algebras more general than the two-valued one, is appropriate for investigating multi-modal semantics. Then I show that bisimulations have a rather elegant theory, when expressed in terms of transformations on Boolean vector spaces. The resulting theory is a curious hybrid, fitting between conventional modal semantics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 982