Search results for 'Formalism' (try it on Scholar)

1000+ found
Sort by:
  1. Simon Fokt (2013). A Critique of Moderate Formalism. Estetika 50 (1):41-52.score: 24.0
    Moderate formalism is the view that all artworks which have aesthetic properties have formal aesthetic properties, and some but not all of those works also have non-formal aesthetic properties. Nick Zangwill develops this view in his Metaphysics of Beauty after having argued against its alternatives – extreme formalism and anti-formalism. This article reviews his arguments against the rivals of moderate formalism, and argues that the rejection of anti-formalism is unjustified. Zangwill does not succeed in proving (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Jonathan A. Neufeld (2009). Musical Formalism and Political Performances. Contemporary Aesthetics 7.score: 24.0
    Musical formalism, which strictly limits the type of thing any description of the music can tell us, is ill-equipped to account for contemporary performance practice. If performative interpretations are in a position to tell us something about musical works—that is if performance is a kind of description, as Peter Kivy argues—then we have to loosen the restrictions on notions of musical relevance to make sense of performance. I argue that musical formalism, which strictly limits the type of thing (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Gabbay (2010). A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96 (2):219-238.score: 24.0
    In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Hanne Appelqvist (2011). Form and Freedom: The Kantian Ethos of Musical Formalism. Nordic Journal of Aesthetics 40 (40-41):75-88.score: 24.0
    Musical formalism is often portrayed as the enemy of artistic freedom. Its main representative, Eduard Hanslick, is seen as a purist who, by emphasizing musical rules, aims at restricting music criticism and even musical practices themselves. It may also seem that formalism is depriving music of its ability to have moral significance, as the semantic connection to the extramusical is denied by the formalistic view. In my paper, I defend formalism by placing Hanslick’s argument in a Kantian (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Espen Dahl (2012). Receiving Newman. Formalism, Minimalism, and Their Philosophical Preconditions. Nordic Journal of Aesthetics 23 (42).score: 24.0
    Despite the divide between American formalism and theoreticians of minimalism, Barnett Newman’s art received great acclaim from both schools of thought. Attempting to unearth the philosophical preconditions of this strange constellation, this article argues that the closeness between minimalism and formalism is due to their mutual reliance upon phenomenology and ordinary language philosophy. However, their proximity also conveys their distance, since they imply different interpretations and applications of the philosophical schools in question. Such theoretical differences shed light on (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Iulian D. Toader (2014). Why Did Weyl Think That Formalism's Victory Against Intuitionism Entails a Defeat of Pure Phenomenology? History and Philosophy of Logic 35 (2):198-208.score: 24.0
    It has been contended that it is unjustified to believe, as Weyl did, that formalism's victory against intuitionism entails a defeat of the phenomenological approach to mathematics. The reason for this contention, recently put forth by Paolo Mancosu and Thomas Ryckman, is that, unlike intuitionistic Anschauung, phenomenological intuition could ground classical mathematics. I argue that this indicates a misinterpretation of Weyl's view, for he did not take formalism to prevail over intuitionism with respect to grounding classical mathematics. I (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Jonathan P. Seldin (2011). Curry's Formalism as Structuralism. Logica Universalis 5 (1):91-100.score: 24.0
    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 (4 more)  
     
    My bibliography  
     
    Export citation  
  8. D. Bar (2004). Internet Websites Statistics Expressed in the Framework of the Ursell—Mayer Cluster Formalism. Foundations of Physics 34 (8):1203-1223.score: 24.0
    We show that it is possible to generalize the Ursell–Mayer cluster formalism so that it may cover also the statistics of Internet websites. Our starting point is the introduction of an extra variable that is assumed to take account, as will be explained, of the nature of the Internet statistics. We then show, following the arguments in Mayer, that one may obtain a phase transition-like phenomena.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Kenneth R. Westphal (1997). ‘Hegel, Formalism, and Robert Turner’s Ceramic Art’. Jahrbuch für Hegelforschung 3:259–283.score: 24.0
    Hegel’s aesthetic ideal is the perfect integration of form and content within a work of art. This ideal is incompatible with the predominant 20th-century principle of formalist criticism, that form is the sole important factor in a work of art. Although the formalist dichotomy between form and content has been criticized on philosophical grounds, that does not suffice to justify Hegel’s ideal. Justifying Hegel’s ideal requires detailed art criticism that shows how form and content are, and why they should be, (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Paul Livingston (2012). Badiou and the Consequences of Formalism. Cosmos and History: The Journal of Natural and Social Philosophy 8 (1):131-150.score: 21.0
    I consider the relationship of Badiou’s schematism of the event to critical thought following the linguistic turn as well as to the mathematical formalisms of set theory. In Being and Event, Badiou uses formal argumentation to support his sweeping rejection of the linguistic turn as well as much of contemporary critical thought. This rejection stems from his interpretation of set theory as barring thought from the 'One-All' of totality; but I argue that, by interpreting it differently, we can understand this (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Alexander Wilce (2010). Formalism and Interpretation in Quantum Theory. Foundations of Physics 40 (4):434-462.score: 21.0
    Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework. These points of view are usually taken to be somewhat in tension with one another. The first has generated a vast literature aiming at a “realistic” and “collapse-free” interpretation of quantum mechanics that will account for its statistical predictions. The second has generated an at least equally (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Tony Bennett (1979). Formalism and Marxism. Methuen.score: 21.0
    Placing the work of key figures in context and addressing such issues as aesthetics, linguistics and the category of literature, form and function or literary ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. John Heil (1986). Formalism and Psychological Explanation. Journal of Mind and Behavior 7 (1):1-10.score: 21.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Ulrich Majer (2009). Husserl Between Frege's Logicism And Hilbert's Formalism. The Baltic International Yearbook of Cognition, Logic and Communication 4 (1):4.score: 21.0
  15. Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol & Alain Trognon (eds.) (forthcoming). Dialogue, Rationality, Formalism. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics. Springer.score: 21.0
  16. Gregory E. Kersten, Wojtek Michalowski, Stan Matwin & Stan Szpakowicz (1988). Representing the Negotiation Process with a Rule-Based Formalism. Theory and Decision 25 (3):225-257.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Arthur Jabs (1992). An Interpretation of the Formalism of Quantum Mechanics in Terms of Epistemological Realism. British Journal for the Philosophy of Science 43 (3):405-421.score: 18.0
    We present an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new interpretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. Elementary particles are considered as extended objects and nonlocal effects are included. The role of the new concepts in the problems of measurement and of the Einstein–Podolsky–Rosen correlations is described. Experiments to distinguish the proposed interpretation from the Copenhagen one (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  18. Jenny McMahon (2010). The Classical Trinity and Kant's Aesthetic Formalism. Critical Horizons 11 (3):419-441.score: 18.0
    I identify two mutually exclusive notions of formalism in Kant’s Critique of Aesthetic Judgement: a thin concept of aesthetic formalism and a thick concept of aesthetic formalism. Arguably there is textual support for both concepts in Kant’s third critique. I offer interpretations of three key elements in the Critique of Aesthetic Judgement which support a thick formalism. The three key elements are: Harmony of the Faculties, Aesthetic Ideas and Sensus Communis. I interpret these concepts in relation (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Jonathan Bain (2000). The Coordinate-Independent 2-Component Spinor Formalism and the Conventionality of Simultaneity. Studies in History and Philosophy of Science Part B 31 (2):201-226.score: 18.0
    In recent articles, Zangari (1994) and Karakostas (1997) observe that while an &unknown;-extended version of the proper orthochronous Lorentz group O + (1,3) exists for values of &unknown; not equal to zero, no similar &unknown;-extended version of its double covering group SL(2, C) exists (where &unknown;=1-2&unknown; R , with &unknown; R the non-standard simultaneity parameter of Reichenbach). Thus, they maintain, since SL(2, C) is essential in describing the rotational behaviour of half-integer spin fields, and since there is empirical evidence for (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Sheldon Goldstein, The Quantum Formalism and the Grw Formalism.score: 18.0
    The Ghirardi–Rimini–Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet be performed. While some testable deviations from quantum mechanics have long been known, we provide here something that has (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Alan Weir, A Neo-Formalist Approach to Mathematical Truth.score: 18.0
    I outline a variant on the formalist approach to mathematics which rejects textbook formalism's highly counterintuitive denial that mathematical theorems express truths while still avoiding ontological commitment to a realm of abstract objects. The key idea is to distinguish the sense of a sentence from its explanatory truth conditions. I then look at various problems with the neo-formalist approach, in particular at the status of the notion of proof in a formal calculus and at problems which Gödelian results seem (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. R. Eugene Collins (1977). Quantum Theory: A Hilbert Space Formalism for Probability Theory. [REVIEW] Foundations of Physics 7 (7-8):475-494.score: 18.0
    It is shown that the Hilbert space formalism of quantum mechanics can be derived as a corrected form of probability theory. These constructions yield the Schrödinger equation for a particle in an electromagnetic field and exhibit a relationship of this equation to Markov processes. The operator formalism for expectation values is shown to be related to anL 2 representation of marginal distributions and a relationship of the commutation rules for canonically conjugate observables to a topological relationship of two (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Alan Weir, Formalism in the Philosophy of Mathematics.score: 18.0
    The guiding idea behind formalism is that mathematics is not a body of propositions representing an abstract sector of reality but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess. This idea has some intuitive plausibility: consider the tyro toiling at multiplication tables or the student using a standard algorithm for differentiating or integrating a function. It also corresponds to some aspects of the practice (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Nick Zangwill (1999). Feasible Aesthetic Formalism. Noûs 33 (4):610-629.score: 18.0
    Aesthetic Formalism has fallen on hard times. At best it receives unsympathetic discussion and swift rejection. At worst it is the object of abuse and derision. But I think that there is something to be said for it. In this paper, I shall try to find and secure the truth in formalism. I shall not try to defend formalism against all of the objections to it.1 Instead I shall articulate a moderate formalist view that draws on aesthetic0nonaesthetic (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  25. Nino Zanghi, The Quantum Formalism and the GRW Formalism.score: 18.0
    The Ghirardi–Rimini–Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet be performed. While some testable deviations from quantum mechanics have long been known, we provide here something that has (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. T. Petrosky (1999). Transport Theory and Collective Modes II: Long-Time Tail and Green-Kubo Formalism. [REVIEW] Foundations of Physics 29 (10):1581-1605.score: 18.0
    The long-time tail effect (i.e., a non-Markovian effect) in a velocity autocorrelation function for moderately dense classical gases in d-dimensional space is estimated for arbitray n-mode coupling by superposition of the Markov equations for the collective modes which has been introduced through the complex spectral representation of the Liouville operator in the previous paper. Taking into account intermediate nonhydrodynamic modes in a transition between hydrodynamic states, we found slower decay processes in the long-time tail. These new processes lead to a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Nick Zangwill (2000). In Defence of Moderate Aesthetic Formalism. Philosophical Quarterly 50 (201):476-493.score: 18.0
    Most of the debate for and against aesthetic formalism in the twentieth century has been little more than a sequence of assertions, on both sides. But there is one discussion that stands out for its argumentative subtlety and depth, and that is Kendall Walton’s paper ‘Categories of Art’.1 In what follows I shall defend a certain version of formalism against the antiformalist arguments which Walton deploys. I want to show that while Walton’s arguments do indeed create insurmountable difficulties (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  28. Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.score: 18.0
    In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Glenn Parsons & Allen Carlson (2004). New Formalism and the Aesthetic Appreciation of Nature. Journal of Aesthetics and Art Criticism 62 (4):363–376.score: 18.0
    Recently, several authors have defended a new version of formalism in the aesthetics of nature and attempted to refute earlier arguments against the doctrine. In this essay, we assess this new formalism by reconsidering the force of antiformalist arguments against both traditional formalism and new formalism. While we find that these arguments remain effective against traditional formalism, new formalism falls largely beyond their scope. We therefore provide a novel line of argument for the insignificance (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Rocío Zambrana (2012). Kant's Hyperbolic Formalism. Idealistic Studies 42 (1):37-56.score: 18.0
    Hegel famously argued that Kantian Moralität is an empty formalism. This article offers a defense of Kant’s formalism and suggests that it is crucial to Hegel’s own idealism. My defense, however, depends on reading Kantian morality non-morally, as a theory of normative authority. Through a reading of the Grundlegung and Religion, the article delineates Kant’s hyperbolic formalism—the insistence on giving an account of the form of rational agency by isolating willing from all content. The article accordingly assesses (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. David Carrier (2002). Rosalind Krauss and American Philosophical Art Criticism: From Formalism to Beyond Postmodernism. Praeger.score: 18.0
    Machine generated contents note: Introduction: The Rise of Philosophical Art Criticism 1 -- Chapter 1. In the Beginning Was Formalism 17 -- Chapter 2. The Structuralist Adventure 33 -- Chapter 3. The Historicist, Antiessentialist Definition of Art 55 -- Chapter 4. Resentment and Its Discontents 71 -- Chapter 5. The Deconstruction of Structuralism 87 -- Afterword: The Fate of Philosophical Art Criticism 111.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. David Cole, Formalism, Realism, and the War on Drugs.score: 18.0
    One of the ways our legal system has avoided confronting this ugly reality is through a commitment to legal formalism. Legal formalism allows us to ignore the social determinants that my AUSA friend saw every day as he prosecuted federal drug cases. As my colleague Professor Michael Seidman has suggested, legal formalism, which has been effectively critiqued and displaced by legal realism in many other areas of law, continues to exercise considerable influence over the way we think (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Robert Oeckl (2013). A Positive Formalism for Quantum Theory in the General Boundary Formulation. Foundations of Physics 43 (10):1206-1232.score: 18.0
    We introduce a new “positive formalism” for encoding quantum theories in the general boundary formulation, somewhat analogous to the mixed state formalism of the standard formulation. This makes the probability interpretation more natural and elegant, eliminates operationally irrelevant structure and opens the general boundary formulation to quantum information theory.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. J. Azzouni (2005). How to Nominalize Formalism. Philosophia Mathematica 13 (2):135-159.score: 18.0
    Formalism shares with nominalism a distaste for abstracta. But an honest exposition of the former position risks introducing abstracta as the stuff of syntax. This article describes the dangers, and offers a new escape route from platonism for the formalist. It is explained how the needed role of derivations in mathematical practice can be explained, not by a commitment to the derivations themselves, but by the commitment of the mathematician to a practice which is in accord with a theory (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  35. K. Muralidhar (2014). Complex Vector Formalism of Harmonic Oscillator in Geometric Algebra: Particle Mass, Spin and Dynamics in Complex Vector Space. Foundations of Physics 44 (3):266-295.score: 18.0
    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 been shown (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Hasok Chang (1997). On the Applicability of the Quantum Measurement Formalism. Erkenntnis 46 (2):143-163.score: 18.0
    Customary discussions of quantum measurements are unrealistic, in the sense that they do not reflect what happens in most actual measurements even under ideal circumstances. Even theories of measurement which discard the projection postulate tend to retain two unrealistic assumptions of the von Neumann theory: that a measurement consists of a single physical interaction, and that the topic of every measurement is information wholly contained in the quantum state of the object of measurement. I suggest that these unrealistic assumptions originate (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. Nick Zangwill (2000). Defusing Anti-Formalist Arguments. British Journal of Aesthetics 40 (3):376-383.score: 18.0
    ANTI-FORMALISM has become the consensus in aesthetics. But in my view anti-formalism is not true to our aesthetic experience; it gives a revisionary account of the aesthetic properties that we think we find in works of art. The thesis I think we should hold is not extreme formalism—the view that all or almost all aesthetic properties are formal—but the moderate thesis that many are. This view has not been given its due because so many aestheticians have been (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  38. Alexey Kryukov (2003). Coordinate Formalism on Abstract Hilbert Space: Kinematics of a Quantum Measurement. [REVIEW] Foundations of Physics 33 (3):407-443.score: 18.0
    Coordinate form of tensor algebra on an abstract (infinite-dimensional) Hilbert space is presented. The developed formalism permits one to naturally include the improper states in the apparatus of quantum theory. In the formalism the observables are represented by the self-adjoint extensions of Hermitian operators. The unitary operators become linear isometries. The unitary evolution and the non-unitary collapse processes are interpreted as isometric functional transformations. Several experiments are analyzed in the new context.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Darrin W. Belousek (2003). Formalism, Ontology and Methodology in Bohmian Mechanics. Foundations of Science 8 (2):109-172.score: 18.0
    The relationship between mathematical formalism, physical interpretation and epistemological appraisal in the practice of physical theorizing is considered in the context of Bohmian mechanics. After laying outthe formal mathematical postulates of thetheory and recovering the historical roots ofthe present debate over the meaning of Bohmianmechanics from the early debate over themeaning of Schrödinger's wave mechanics,several contemporary interpretations of Bohmianmechanics in the literature are discussed andcritiqued with respect to the aim of causalexplanation and an alternative interpretationis proposed. Throughout, the over-arching (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Scott Tanona (2004). Idealization and Formalism in Bohr's Approach to Quantum Theory. Philosophy of Science 71 (5):683-695.score: 18.0
    I reinterpret Bohr's attitude towards quantum mechanical formalism and its empirical content, based on his understanding of the correspondence principle and its approximate applicability. I suggest that Bohr understood complementarity as a limitation imposed by the commutation relations upon the applicability of the idealizations which had grounded the use of the correspondence principle. By discussing this interpretation against the contemporary background of discussions regarding “naïve realism” about operators (as observables), I suggest that a Bohrian view on the empirical content (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. K. R. Greider (1984). A Unifying Clifford Algebra Formalism for Relativistic Fields. Foundations of Physics 14 (6):467-506.score: 18.0
    It is shown that a Clifford algebra formalism provides a unifying description of spin-0, -1/2, and-1 fields. Since the operators and operands are both expressed in terms of the same Clifford algebra, the formalism obtains some results which are considerably different from those of the standard formalisms for these fields. In particular, the conservation laws are obtained uniquely and unambiguously from the equations of motion in this formalism and do not suffer from the ambiguities and inconsistencies of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Robert J. Baum (1972). The Instrumentalist and Formalist Elements of Berkeley's Philosophy of Mathematics. Studies in History and Philosophy of Science Part A 3 (2):119-134.score: 18.0
    The main thesis of this paper is that, Contrary to general belief, George berkeley did in fact express a coherent philosophy of mathematics in his major published works. He treated arithmetic and geometry separately and differently, And this paper focuses on his philosophy of arithmetic, Which is shown to be strikingly similar to the 19th and 20th century philosophies of mathematics known as 'formalism' and 'instrumentalism'. A major portion of the paper is devoted to showing how this philosophy of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Bartosz Więckowski (2012). A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions. Studia Logica 100 (4):815-853.score: 18.0
    The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. D. Han, Y. S. Kim & Marilyn E. Noz (1981). Physical Principles in Quantum Field Theory and in Covariant Harmonic Oscillator Formalism. Foundations of Physics 11 (11-12):895-905.score: 18.0
    It is shown that both covariant harmonic oscillator formalism and quantum field theory are based on common physical principles which include Poincaré covariance, Heisenberg's space-momentum uncertainty relation, and Dirac's “C-number” time-energy uncertainty relation. It is shown in particular that the oscillator wave functions are derivable from the physical principles which are used in the derivation of the Klein-Nishina formula.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Nick Zangwill (2005). In Defence of Extreme Formalism About Inorganic Nature: Reply to Parsons. British Journal of Aesthetics 45 (2):185-191.score: 18.0
    I defend extreme formalism about inorganic nature against arguments put forward by Glenn Parsons. I begin by laying out the general issue over aesthetic formalism, and I describe the position of extreme formalism about inorganic nature. I then reconsider -Ronald Hepburn's beach/seabed example. Next I discuss the notions of function in play in our thinking about inorganic nature. And lastly I consider Parsons's flooding river example. I conclude that extreme formalism about inorganic nature is safe from (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  46. Liane Gabora & Diederik Aerts (2002). Contextualizing Concepts Using a Mathematical Generalization of the Quantum Formalism. Philosophical Explorations.score: 18.0
    We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe the contextual manner in which concepts are evoked, used, and combined to generate meaning. The quantum formalism was developed to cope with problems arising in the description of (1) the measurement process, and (2) the generation of new states with new properties when particles become entangled. Similar problems arising with concepts motivated the formal (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. George Svetlichny (1998). Quantum Formalism with State-Collapse and Superluminal Communication. Foundations of Physics 28 (2):131-155.score: 18.0
    Given the collapse hypothesis (CH) of quantum measurement, EPR-type correlations along with the hypothesis of the impossibility of superluminal communication (ISC) have the effect of globalizing gross features of the quantum formalism making them universally true. In particular, these hypotheses imply that state transformations of density matrices must be linear and that evolution which preserves purity of states must also be linear. A gedanken experiment shows that Lorentz covariance along with the second law of thermodynamics imply a nonentropic version (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Roderick I. Sutherland (1998). Density Formalism for Quantum Theory. Foundations of Physics 28 (7):1157-1190.score: 18.0
    A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a picture of an external reality. The new formalism, developed first for the single-particle case, has the advantage of generalizing immediately to quantum field theory and to the description of relativistic phenomena such as particle creation and annihilation.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Sorin Costreie (2013). Frege’s Puzzle and Arithmetical Formalism. Putting Things in Context. History and Philosophy of Logic 34 (3):207-224.score: 18.0
    The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000