We present a formal analysis of the Cosmological Argument in its two main forms: that due to Aquinas, and the revised version of the Kalam Cosmological Argument more recently advocated by William Lane Craig. We formulate these two arguments in such a way that each conclusion follows in first-order logic from the corresponding assumptions. Our analysis shows that the conclusion which follows for Aquinas is considerably weaker than what his aims demand. With formalizations that are logically valid in hand, we (...) reinterpret the natural language versions of the premises and conclusions in terms of concepts of causality consistent with (and used in) recent work in cosmology done by physicists. In brief: the Kalam argument commits the fallacy of equivocation in a way that seems beyond repair; two of the premises adopted by Aquinas seem dubious when the terms ‘cause’ and ‘causality’ are interpreted in the context of contemporary empirical science. Thus, while there are no problems with whether the conclusions follow logically from their assumptions, the Kalam argument is not viable, and the Aquinas argument does not imply a caused origination of the universe. The assumptions of the latter are at best less than obvious relative to recent work in the sciences. We conclude with mention of a new argument that makes some positive modifications to an alternative variation on Aquinas by Le Poidevin, which nonetheless seems rather weak. (shrink)

We discuss three problems concerning the use of formal languages in theoretical physics: (i) the definability of time and spacetime in classical physical theories; (ii) how to cope with indistinguishable elementary particles in quantum mechanics without labeling them; and (iii) how to get a formal picture of quantum states jumping.

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

The book is divided into twenty chapters, divided in turn into six parts. Parts I-III contain the main positive account of metarepresentations. The main semantic thesis of parts I-III is that metarepresentational sentences are not relational, but involve a metarepresentational operator applied to a sentence which functions in its usual way, but which is evaluated relative to a “shifted circumstance” in use. This is supposed to represent a novel account of the semantics of attitude sentences that preserves “semantic innocence” and (...) the principle of iconicity, that a metarepresentation “contains” its object representation. Parts IV-VI are concerned with a perceived threat to this picture from examples that are to suggest that metarepresentational operators shift context as well as circumstances. In the end, the response to the examples is that they involve pragmatic phenomena. This discussion could have been significantly compressed. (shrink)

Scientific anti-realists who appeal to the pessimistic induction (PI) claim that the theoretical terms of past scientific theories often fail to refer to anything. But on standard views in philosophy of language, such reference failures prima facie lead to certain sentences being neither true nor false. Thus, if these standard views are correct, then the conclusion of the PI should be that significant chunks of current theories are truth-valueless. But that is semantic anti-realism about scientific discourse—a position most philosophers of (...) science, anti-realists included, consider anathema today. Therefore, proponents of the PI confront a dilemma: either accept semantic anti-realism or reject common semantic views. I examine strategies (with particular emphasis on supervaluations) for the PI proponent to either lessen the sting of this argument, or learn to live with it. 1 Introduction2 Designation Failure 2.1 Designation failure leads to truth-valueless sentences2.1.1 Direct reference theory2.1.2 Fregeanism2.1.3 Accounts of reference-fixing: why ‘phlogiston’ fails to designate 2.2 Objection: sentences exhibiting designation failure are false not truth-valueless 2.3 Avoiding truth-valuelessness via controversial semantic positions3 What to do? Closing the Gaps4 Conclusion. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

The aim of this essay is to emphasize a number of important points that will provide a better understanding of the history of philosophical thought concerning scientific knowledge. The main points made are: (a) that the principal way of viewing abstraction which has dominated the history of thought and epistemology up to the present is influenced by the original Aristotelian position; (b) that with the birth of modern science a new way of conceiving abstraction came into being which is better (...) characterized by the term idealization, the name that was later, in fact, to be used by scientists to describe their scientific activity; (c) that, however, on account of the influence of empirical and inductive philosophy, scientists have often not had sufficient methodological awareness of this new way of viewing abstraction; (d) that this new concept of abstraction has frequently been expressed in the framework of philosophies that lie outside the mainstream of contemporary epistemology or even exhibit marked anti-scientific tendencies; (e) that the theme of idealization has been taken up again in the last few decades and a great contribution in this direction has been made by the so-called Pozna school of methodology. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)