According to ontological reductionism, molecular chemistry refers, at last, to the quantum ontology; therefore, the ontological commitments of chemistry turn out to be finally grounded on quantum mechanics. The main problem of this position is that nobody really knows what quantum ontology is. The purpose of this work is to argue that the confidence in the existence of the physical entities described by quantum mechanics does not take into account the interpretative problems of the theory: in the discussions about the (...) relationship between chemistry and physics, difficulties are seen only on the side of chemistry, whereas matters highly controversial on the side of physics are taken for granted. For instance, it is usually supposed that the infinite mass limit in the Born-Oppenheimer approximation leads by itself to the concept of molecular framework used in molecular chemistry. We will argue that this assumption is implicitly based on an interpretative postulate for quantum mechanics, which, in turn, runs into difficulties when applied to the explanation of the simplest model of the hydrogen atom. (shrink)

The aim of this paper is to analyze time-asymmetric quantum mechanics with respect to the problems of irreversibility and of time's arrow. We begin with arguing that both problems are conceptually different. Then, we show that, contrary to a common opinion, the theory's ability to describe irreversible quantum processes is not a consequence of the semigroup evolution laws expressing the non-time-reversal invariance of the theory. Finally, we argue that time-asymmetric quantum mechanics, either in Prigogine's version or in Bohm's version, does (...) not solve the problem of the arrow of time because it does not supply a substantial and theoretically founded criterion for distinguishing between the two directions of time. (shrink)

One of the most difficult and interesting problems of rational decision is the choice among possible diverging paths in theory construction and among competing scientific theories—i.e., systems of accurate testable hypotheses. This task involves many beliefs—some warranted and others not as warranted—and marks decisive crossroads. Suffice to recall the current conflict between the general theory of relativity and alternative theories of gravitation that account for the same empirical evidence, the rivalry among different interpretations of quantum mechanics, and the variety of (...) cosmological theories. They all account for the same observed facts although they may predict different kinds of as yet unknown facts; they are consequently, up to now, empirically equivalent theories even though they are conceptually different and may even involve different philosophical views—i.e., they are conceptually inequivalent. (shrink)

Let R be an o-minimal expansion of an ordered group R has no poles, R cannot define a real closed field with domain R and order R is eventually linear and every R -definable set is a finite union of cones. As a corollary we get that Th has quantifier elimination and universal axiomatization in the language with symbols for the ordered group operations, bounded R -definable sets and a symbol for each definable endomorphism of the group.

An objective and relational theory of local time is expounded and its philosophical implications are discussed in Sect. 2. In Sect. 3 certain physical and metaphysical questions concerning time are taken up in the light of that theory. The basic concepts of the theory are those of event, reference frame, chronometric scale, and time function. These are subject to four axioms: existence of events, frames and scales; time is a real valued function; the set of events is compact; and any (...) duration can be subdivided into two contiguous durations. Several theorems are derived, among them the one of the asymmetry of time. And a number of concepts are defined, such as those of time order, instant, and time coordinate. It is argued that the theory, though untestable, belongs to the background of a number of scientific theories. It is also shown that it includes all relational theories of time. The usual confusion between the asymmetry of time and the direction of irreversible processes is clarified. Time reversal is interpreted either as a purely formal operation or as a convenient way of describing motion reversed processes. Time orders are shown to be both relative and objective, apart from the choice of the positive direction, which is conventional. The various attempts to define the direction of time in terms of irreversible processes are shown to be logically untenable and methodologically undesirable. A number of metaphysical questions, such as the one of the reality and the fundamental character of time, are tackled. Finally the occasion is seized to extoll the advantages of systematization over both ordinary language discussions and open context analyses. (shrink)

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 (...) that, while being related to the conceptual framework of the classical theory, cannot be addressed from the classical theory. (shrink)

We investigate the possibility to characterize (multi) functions that are Σ b i -definable with small i (i = 1, 2, 3) in fragments of bounded arithmetic T 2 in terms of natural search problems defined over polynomial-time structures. We obtain the following results: (1) A reformulation of known characterizations of (multi)functions that are Σ b 1 - and Σ b 2 -definable in the theories S 1 2 and T 1 2 . (2) New characterizations of (multi)functions that are (...) Σ b 2 - and Σ b 3 -definable in the theory T 2 2 . (3) A new non-conservation result: the theory T 2 2 (α) is not ∀Σ b 1 (α)-conservative over the theory S 2 2 (α). To prove that the theory T 2 2 (α) is not ∀Σ b 1 (α)-conservative over the theory S 2 2 (α), we present two examples of a Σ b 1 (α)-principle separating the two theories: (a) the weak pigeonhole principle WPHP (a 2 , f, g) formalizing that no function f is a bijection between a 2 and a with the inverse g, (b) the iteration principle Iter (a, R, f) formalizing that no function f defined on a strict partial order ( $\{0,\dots,a\}$ , R) can have increasing iterates. (shrink)

Factual statements that might qualify for the status of law statements are classed from various philosophically relevant standpoints (referents, precision, structure of predicates, extension, systemicity, inferential power, inception, ostensiveness, testability, levels, and determination categories). More than seven dozen of not mutually exclusive kinds of lawlike statements emerge. Strictly universal and counterfactually powerful statements are seen to constitute just one kind of lawlike statements; classificatory and some statistical laws, e.g., are shown not to comply with the requirements of universality and counterfactual (...) force. Conditions for lawlike statements to be called laws are then examined, and a liberal criterion of lawfulness is finally proposed, which reads thus: A proposition is a law statement if and only if it is a posteriori (not logically true), general in some respect (does not refer to unique objects), has been satisfactorily corroborated for the time being in some domain, and belongs to a theory (whether adult or embryonic). It is claimed that criteria of laws change alongside with the emergence of new usages of the term 'law', and that by adopting a liberal criterion of lawfulness we would conform to contemporary usage and would cease inhibiting the search for regularities in the sciences of man. (shrink)

A mathematical theory is proposed and exemplified, which covers an extended class of black boxes. Every kind of stimulus and response is pictured by a channel connecting the box with its environment. The input-output relation is given by a postulate schema according to which the response is, in general, a nonlinear functional of the input. Several examples are worked out: the perfectly transmitting box, the damping box, and the amplifying box. The theory is shown to be (a) an extension of (...) the S-matrix theory and the accompanying channel picture as developed in microphysics; (b) abstract and applicable to any problem involving the transactions of a system (physical, biological, social, etc.) with its milieu; (c) superficial, because unconcerned with either the structure of the box or the nature of the stimuli and responses. The motive for building the theory was to show the capabilities and limitations of the phenomenological approach. (shrink)

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 (...) electromagnetic field. Nevertheless it is possible to maintain an empirically demonstrable notion of vacuum state that is consistent with the interpretation of the formalism of the theory. (shrink)

Our program is ambitious, as is any attempt to match life (in our case real science) with virtue (e.g., exactness). We want our semantics to be not only simia mathematicae but also ancilla scientiae: built more geometrico and at the same time relevant, nay useful, to live science. The goal of exactness may sound arrogant but is actually modest, for the more we rigorize the more we are forced to leave out of consideration, at least for the time being. As (...) to the service intention: we should try to be of some help to science because the latter faces semantic problems but has no tools of its own for solving them. If it had such tools scientists would not engage in spirited polemics over matters of sense and reference, as they often do. Witness the debates on whether the relativistic and quantum theories are concerned with sentient observers, whether population genetics refers to populations taken as wholes, whether psychology is actually concerned with the brain, and whether the sense of a theory is excreted by its mathematical formalism or is determined by the way the theory is tested.A semantics of science should help settle these and similar issues. Moreover it should give sound advice as to how to formulate scientific theories so as to avoid such imprecisions and ambiguities as may give rise to debates of the kind. Constructing such a semantics, both exact and relevant to science, should be more rewarding than either manufacturing neat but irrelevant theories or pursuing erratic polemics on meaning and meaning changes. Research supported by a Killam grant awarded by the Canada Council. (shrink)

ABSTRACTAlthough the importance of contextual factors is often recognised, research on emotion regulation strategies has mainly focused so far on the effectiveness of ERS across situations. I...

Mindfulness is associated with a wide range of beneficial outcomes such as well-being. However, less is known about the mechanisms underlying these benefits. Some researchers suggest that the benef...

The place of induction in the framing and test of scientific hypotheses is investigated. The meaning of 'induction' is first equated with generalization on the basis of case examination. Two kinds of induction are then distinguished: the inference of generals from particulars (first degree induction), and the generalization of generalizations (second degree induction). Induction is claimed to play a role in the framing of modest empirical generalizations and in the extension of every sort of generalizations--not however in the invention of (...) high-level hypotheses containing theoretical predicates. It is maintained, on the other hand, that induction by enumeration is essential in the empirical test of the lowest-level consequences of scientific theories, since it occurs in the drawing of "conclusions" from the examination of empirical evidence. But it is also held that the empirical test is insufficient, and must be supplemented with theorification, or the expansion of isolated hypotheses into theories. Refutation is not viewed as a substitute for confirmation but as its complement, since the very notion of unfavorable case is meaningful only in connection with the concept of positive instance. Although the existence of an inductive method is disclaimed, it is maintained that the various patterns of plausible reasoning (inductive inference included) are worth being investigated. It is concluded that scientific research follows neither the advice of inductivism nor the injunction of deductivism, but takes a middle course in which induction is instrumental both heuristically and methodologically, although the over-all pattern of research is hypothetico-deductive. (shrink)

Dans l’histoire et le débat autour de l’anthropologie philosophique allemande du XXe siècle, l’œuvre et le destin du médecin juif-allemand Paul Alsberg (1883-1965) constituent un véritable cas qui permit d’interroger la genèse et la validité de l’anthropologie philosophique même. En suivant Joachim Fischer, on entend ici par « Philosophische Anthropologie » une orientation de la pensée du XXe siècle, dont le fil rouge offre une réponse originale à la « destruction de l’idéalisme pendant le XI...

Il problema apparentemente insolubile di una giustificazione non circolare dell’induzione diverrebbe più abbordabile se invece di chiederci solo cosa ci assicura che un fenomeno osservato si riprodurrà in modo uguale in un numero potenzialmente infinito di casi futuri, ci chiedessimo anche come si spiega che esso si sia manifestato fin qui in modo identico e senza eccezioni in un numero di casi finito ma assai alto. E’ questa l’idea della giustificazione abduttiva dell’induzione, avanzata in forme diverse da Armstrong, Foster e (...) BonJour: serie talmente regolari di fenomeni sono da un punto di vista logico talmente improbabili che se il mondo fosse puramente casuale (se cioè gli eventi si presentassero con frequenza proporzionale alla loro probabilità logica) esse non potrebbero verificarsi se non per una coincidenza miracolosa. Pertanto, tali regolarità si spiegano solo assumendo che siano prodotte da meccanismi o necessità nomiche; ma se questo è il caso, è corretto concludere che tali regolarità persisteranno anche in futuro senza eccezioni, e dunque le inferenze induttive su di esse sono giustificate. Anche Kornblith argomenta dall’effettivo successo delle inferenze induttive all’esistenza di regolarità oggettive in natura; mentre Sankey parte dall’ uniformità della natura per giustificare l’induzione. Congiungendo le due argomentazioni, dunque, si ottiene di nuovo una giustificazione dell’induzione in base all’argomento del “se non è un miracolo …”. Un ostacolo su questa via è specificare in che senso la natura sia uniforme (dato che ovviamente non lo è in ogni suo aspetto) e di quali regolarità possiamo aspettarci che persistano senza eccezione anche in futuro (dato che evidentemente non tutte lo fanno: l’acqua non bolle sempre a 100°, la pressione non è sempre funzione della temperatura, e così via). Entrano qui in gioco le conoscenze di sfondo e la ripetizione delle osservazioni in condizioni diverse, che ci mostrano quali circostanze siano rilevanti al verificarsi del fenomeno dato. In tal modo, le nostre descrizioni delle regolarità naturali convergono su descrizioni che specificano sia le condizioni individualmente necessarie e congiuntamente sufficienti, sia tutti gli argomenti delle funzioni che costituiscono tali regolarità. Ciò consente di formulare i principi di Uniformità della Natura e di Induzione in modo non generico (e dunque, a seconda della formulazione, vuoto o eccessivo), ma circostanziato: così essi asseriscono, rispettivamente, che la natura è uniforme negli aspetti evidenziati dalle descrizioni su cui convergiamo grazie alle osservazioni ripetute, e che solo queste descrizioni possono essere induttivamente generalizzate. Ciò consente anche di risolvere enigmi alla Goodman, quali: poiché le osservazioni ci hanno mostrato (solo) il verificarsi di una data regolarità fino al momento presente t, come possiamo presumere che essa si verificherà anche dopo t? La risposta è che osservazioni e conoscenza di sfondo non ci dicono che vi sia alcun limite temporale tra le condizioni necessarie della regolarità data. (shrink)