The paper discusses Peano's defense and application of permanence of forms as a principle of practice. Dedicated to the memory of Mic Detlefsen.

This paper provides an algebraic reconstruction of Einstein’s argument for the incompleteness of quantum mechanics, in order to clarify the assumptions that underlie an understanding of Einstein completeness as categoricity.

This unpublished paper, written in 2005 in the PhD philosophy program at Notre Dame, argues that algebraic structural realism faces a difficulty raised by the existence of inequivalent representations in quantum field theory.

The paper argues against an intuitive reading of the Stone-von Neumann theorem as a categoricity result, thereby pointing out that this theorem does not entail any model-theoretical difference between the theories that validate it and those that don't.

A new form of skepticism is described, which holds that objectivity and understanding are incompossible ideals of modern science. This is attributed to Weyl, hence its name: Weylean skepticism. Two general defeat strategies are then proposed, one of which is rejected.

This paper considers Weylean invariantism, i.e., the view that objectivity requires categoricity, and argues that if the Stone-von Neumann theorem can be naturally interpreted as a categoricity result, the view is falsified by quantum field theory.

No, but the paper argues that Bohr understood his correspondence principle, or at least an aspect of that principle expressed by the notion of rational generalization, as grounded in Hankel’s principle of permanence.

This entry reviews Rudolf Carnap's philosophical views on the quantum mechanics of his time. It also offers some thoughts on how Carnap might have reacted to some recent developments in the foundations of quantum mechanics.

This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical counterparts, thereby showing that the truth-functional status of classical and quantum connectives is not as different as usually thought. Then it points out that bivalent semantics for quantum logic - compatible with realism about quantum mechanics - can be maintained, albeit at the price (...) of truth-functionality. Finally, the paper improves on Hellman (1980)'s argument that this lack of truth-functionality entails a change of meaning between classical and quantum logical connectives. (shrink)

Timothy Williamson has maintained that the applicability of classical mathematics in science raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We show that this is false.

This paper argues that Weyl's view that scientific objectivity requires that concepts be freely created, i.e., introduced via Hilbert-style axiomatizations, led him to abandon the phenomenological view of objectivity.

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

This paper argues that Carnap's project in the Aufbau is best considered as an attempt to determine the conditions for both objectivity and understanding, thus aiming at refuting the skeptical contention that objectivity and understanding are incompossible ideals of science.

This paper argues that Weyl took formalism to prevail over intuitionism with respect to supporting scientific objectivity, rather than grounding classical mathematics, and that this was what he thought was enough for rejecting pure phenomenology as well.

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

This paper attempts to motivate the view that instead of rejecting modus ponens as invalid in certain situations, one could preserve its validity by associating such situations with non-normal interpretations of logical connectives.

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

This paper, written in Romanian, explains why the eutaxiological argument, endorsed by scientists like Newton, Einstein, and Weyl, and recently defended by Richard Swinburne, is not defensible.

This paper argues that Noether's axiomatic method in algebra cannot be assimilated to Weyl's late view on axiomatics, for his acquiescence to a phenomenological epistemology of correctness led Weyl to resist Noether's principle of detachment.

This paper, written in Romanian, compares fictionalism, nominalism, and neo-Meinongianism as responses to the problem of objectivity in mathematics, and then motivates a fictionalist view of objectivity as invariance.

An introduction to the Synthese topical collection "Humeanisms".

This paper rejects metaphysical realism about structural universals as a basis for mathematical realism about numbers, and argues that one construal of structural universals via non-well-founded sets should be resisted by the mathematical realist.

This paper argues that whereas Mach understood thought economy as a principle of practical rationality, Husserl rejected it as a principle of theoretical rationality. The distinction is further supported by their correspondingly different readings of the principle of permanence.

Dans les années 1900, la cérémonie du thé fut érigée en art total, comme la quintessence même de l’esprit japonais. Par-delà le biais des enjeux politiques de cette artification, le discours académique portant sur la cérémonie du thé a également été perméable à l’esprit contradictoire inhérent à cette pratique. Nous tentons de dépasser ces difficultés par une vision réticulaire de l’art telle que la défend Simondon dans sa techno-esthétique, tandis que la Glass Tea House Mondrian de Sugimoto Hiroshi offre une (...) métaphore permettant d’approfondir la place de l’abstraction dans la voie du thé. Dans cette réflexion, au détriment de l’objet réel conçu comme une entité isolée, le geste technique, outillé, s’avère jouer un rôle plus déterminant que ne lui accorde la tradition. (shrink)

This paper proposes a diagrammatic reconstruction of Carnap's formal method of quasianalysis in the Aufbau and then explains on that basis why Quine's criticism of Carnap's constitution of physical space fails.

This paper explains why spacetime singularities do not constitute a breakdown of physical laws, and points out that the difference between the metrics at singularities and those outside of singularities is factual, rather than nomological.

This paper argues that Weyl's criticism of Dedekind’s principle that "In science, what is provable ought not to be believed without proof." challenges not only a logicist norm of belief in mathematics, but also a realist view about whether there is a fact of the matter as to what norms of belief are correct.

Ethics is the science that studies the theoretical part of the human condition and its values. The individual has the responsibility to conduct ethic decisions and to have an ethical behavior. This article presents the ethics from the research and engineering perspective, its main characteristics; lack of honesty, confidentiality, conflict of interests and intellectual property. The engineering teaching is the act which includes multiple ethic subjects in order to educate the student about the importance of ethics and its repercussions. The (...) students have the right to benefit of ethical behavior from their teachers from the staff of the school. The ethic is essential in all the educational and working fields, but we insisted specially on the electrical engineering field. (shrink)

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...) real science, but also to those interested in Romanian philosophy. (shrink)

A one-page editorial including one-sentence summaries of papers authored by Carsten Held, Elise Crull, Johanna Wolff, Elay Shech, Richard Dawid, and Gábor Hofer-Szabó.

This a special issue collecting papers on the philosophy of logic, written by some young Romanian philosophers, on a variety of topics like the grammar of first-order logic and the axiomatization of evolutionary biology.

This paper analyzes some examples of diagrammatic proofs in elementary mathematics. It suggests that the cognitive features that allow us to understand such proofs are extensions of the cognitive features that allow us to navigate the physical world.

This special issue includes papers authored by Carsten Held, Elise Crull, Johanna Wolff, Elay Shech, Richard Dawid, and Gábor Hofer-Szabó.

This paper argues that a particular point raised by Schröder – that Frege's logical notation fails to be modelled on arithmetical notation – is based on a misunderstanding, for the modelling was meant as conceptual, rather than notational.

This book concerns the metasemantics of quantum mechanics (QM). Roughly, it pursues an investigation at an intersection of the philosophy of physics and the philosophy of semantics, and it offers a critical analysis of rival explanations of the semantic facts of standard QM. Two problems for such explanations are discussed: categoricity and permanence of rules. New results include 1) a reconstruction of Einstein's incompleteness argument, which concludes that a local, separable, and categorical QM cannot exist, 2) a reinterpretation of Bohr's (...) principle of correspondence, grounded in the principle of permanence, 3) a meaning-variance argument for quantum logic, which follows a line of critical reflections initiated by Weyl, and 4) an argument for semantic indeterminacy leveled against inferentialism about QM, inspired by Carnap's work in the philosophy of classical logic. (shrink)