13 found
Order:
  1.  44
    The Correctness of Reasoning, Logical Models, and the Faithfulness Problem.Mario Bacelar Valente - manuscript
    When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  49
    Are Virtual Quanta Nothing but Formal Tools?Mario Bacelar Valente - 2011 - International Studies in the Philosophy of Science 25 (1):39 - 53.
    The received view in philosophical studies of quantum field theory is that Feynman diagrams are simply calculational devices. Alongside this view we have the one that takes virtual quanta to be also simply formal tools. This received view was developed and consolidated in philosophy of physics by Mario Bunge, Paul Teller, Michael Redhead, Robert Weingard, Brigitte Falkenburg, and others. In this article I present an alternative to the received view.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  19
    Einstein’s Physical Chronogeometry.Mario Bacelar Valente - 2017 - Manuscrito 40 (1):241-278.
    ABSTRACT In Einstein’s physical geometry, the geometry of space and the uniformity of time are taken to be non-conventional. However, due to the stipulation of the isotropy of the one-way speed of light in the synchronization of clocks, as it stands, Einstein’s views do not seem to apply to the whole of the Minkowski space-time. In this work we will see how Einstein’s views can be applied to the Minkowski space-time. In this way, when adopting Einstein’s views, chronogeometry is a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. The Relation Between Classical and Quantum Electrodynamics.Mario Bacelar Valente - 2011 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 26 (1):51-68.
    Quantum electrodynamics presents intrinsic limitations in the description of physical processes that make it impossible to recover from it the type of description we have in classical electrodynamics. Hence one cannot consider classical electrodynamics as reducing to quantum electrodynamics and being recovered from it by some sort of limiting procedure. Quantum electrodynamics has to be seen not as a more fundamental theory, but as an upgrade of classical electrodynamics, which permits an extension of classical theory to the description of phenomena (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    The Conventionality of Simultaneity in Einstein’s Practical Chrono-Geometry.Mario Bacelar Valente - 2017 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 32 (2):177-190.
    While Einstein considered that sub specie astern the correct philosophical position regarding geometry was that of the conventionality of geometry, he felt that provisionally it was necessary to adopt a non-conventional stance that he called practical geometry. here we will make the case that even when adopting Einstein’s views we must conclude that practical geometry is conventional after all. Einstein missed the fact that the conventionality of simultaneity leads to a conventional element in the chrono-geometry, since it corresponds to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. A Case for an Empirically Demonstrable Notion of the Vacuum in Quantum Electrodynamics Independent of Dynamical Fluctuations.Mario Bacelar Valente - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):241-261.
    A re-evaluation of the notion of vacuum in quantum electrodynamics is presented, focusing on the vacuum of the quantized electromagnetic field. In contrast to the ‘nothingness’ associated to the idea of classical vacuum, subtle aspects are found in relation to the vacuum of the quantized electromagnetic field both at theoretical and experimental levels. These are not the usually called vacuum effects. The view defended here is that the so-called vacuum effects are not due to the ground state of the quantized (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  46
    Geometrical Objects and Figures in Practical, Pure, and Applied Geometry.Mario Bacelar Valente - forthcoming - Disputatio. Philosophical Research Bulletin.
    The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  38
    Informal and Formal Proofs, Metalogic, and the Groundedness Problem.Mario Bacelar Valente - manuscript
    When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are rigorous (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  2
    On the Correctness of Problem Solving in Ancient Mathematical Procedure Texts.Mario Bacelar Valente - 2020 - Humanities Journal of Valparaiso 16:169-189.
    It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian mathematical procedure texts – (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  36
    Philosophy of Physics.Mario Bacelar Valente - 2012 - History and Philosophy of Science and Technology - EOLSS.
    Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  19
    The Gauge Interpretation of the Conventionality of Simultaneity.Mario Bacelar Valente - 2018 - Lato Sensu, Revue de la Société de Philosophie des Sciences 5 (2):1-13.
    In this work we will consider gauge interpretations of the conventionality of simultaneity as developed initially by Anderson and Stedman, and later by Rynasiewicz. We will make a critical reassessment of these interpretations in relation to the “tradition” as developed in particular by Reichenbach, Grünbaum, and Edwards. This paper will address different issues, including: the relation between these two gauge interpretations; what advantages or defects these gauge approaches might have; how “new” Rynasiewicz’s approach in relation to the previous ones is; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  20
    Time in the Theory of Relativity: Inertial Time, Light Clocks, and Proper Time.Mario Bacelar Valente - 2019 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 50 (1):13-27.
    In a way similar to classical mechanics where we have the concept of inertial time as expressed in the motions of bodies, in the theory of relativity we can regard the inertial time as the only notion of time at play. The inertial time is expressed also in the propagation of light. This gives rise to a notion of clock—the light clock, which we can regard as a notion derived from the inertial time. The light clock can be seen as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  34
    What Do Light Clocks Say to Us Regarding the so-Called Clock Hypothesis?Mario Bacelar Valente - 2018 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 33 (3):435-446.
    The clock hypothesis is taken to be an assumption independent of special relativity necessary to describe accelerated clocks. This enables to equate the time read off by a clock to the proper time. Here, it is considered a physical system–the light clock–proposed by Marzke and Wheeler. Recently, Fletcher proved a theorem that shows that a sufficiently small light clock has a time reading that approximates to an arbitrary degree the proper time. The clock hypothesis is not necessary to arrive at (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark