Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

We emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedy’s notion of ‘formalism freeness’ in the context of various schools in model theory. Then we clarify some of the mathematical issues in recent discussions of purity in the proof of the Desargues proposition. We note that the conclusion of ‘spatial content’ from the Desargues proposition involves arguments which are (...) algebraic and even metamathematical. Hilbert showed that the Desargues proposition implies the coordinatizing ring is associative, which in turn implies the existence of a three-dimensional geometry in which the given plane can be embedded. With W. Howard we give a new proof, removing Hilbert’s ‘detour’ through algebra, of the ‘geometric’ embedding theorem. Finally, our investigation of purity leads to the conclusion that even the introduction of explicit definitions in a proof can violate purity. We argue that although both involve explicit definition, our proof of the embedding theorem is pure while Hilbert’s is not. Thus the determination of whether an argument is pure turns on the content of the particular proof. Moreover, formalizing the situation does not provide a tool for characterizing purity. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity and (...) precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...) spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research. (shrink)

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...) least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

The prevalence of optimality models in the literature of evolutionary biology is testimony to their popularity and importance. Evolutionary biologist R. C. Lewontin, whose criticisms of optimality models are considered here, reflects that "optimality arguments have become extremely popular in the last fifteen years, and at present represent the dominant mode of thought." Although optimality models have received little attention in the philosophical literature, these models are very interesting from a philosophical point of view. As will be argued, optimality models (...) are central to evolutionary thought, yet they are not readily accomodated by the traditional view of scientific theories. According to the traditional view, we would expect optimality models to employ general, empirical laws of nature, but they do not. Fortunately, the semantic view of scientific theories, a recent alternative to the traditional view, more readily accomodates optimality models. As we would expect on the semantic view, optimality models can be construed as specifications of ideal systems. These specifications may be used to describe empirical systems--that is, the specifications may have empirical instances. But the specifications are not empirical claims, much less general, empirical laws. Although philosophers have yet to discuss the general features and uses of optimality models, these topics have stimulated much recent discussion among evolutionary biologists. Their discussions raise a number of precautions concerning the proper use of optimality models. Moreover, many of their caveats can be interpreted as general reminders that 1) optimality models specify ideal systems whose empirical instantiations may be quite restricted, and that 2) optimality models should not be construed as general, empirical laws. As G. F. Oster and E. O. Wilson caution, "the prudent course is to regard optimality models as provisional guides to further empirical research and not necessarily as the key to deeper laws of nature." It seems, then, that the semantic view of theories is more sensitive to the nature and limitations of optimality models than is the more traditional view of theories. (shrink)

1. A Historical Look at Unity 2. Field Guide to Modern Concepts of Reduction and Unity 3. Kitcher's Revisionist Account of Unification 4. Critics of Unity 5. Integration Instead of Unity 6. Reduction via Mechanisms 7. Case Studies in Reduction and Unification across the Disciplines.

In his 1933 monograph on the concept of truth, Alfred Tarski claimed that his definition of truth satisfied “the usual conditions of methodological correctness”, which in a 1935 article he identified as consistency and back-translatability. Following the rules of defining for an axiomatized theory was supposed to ensure satisfaction of the two conditions. But Tarski neither explained the two conditions nor supplied rules of defining for any axiomatized theory. We can make explicit what Tarski understood by consistency and back-translatability, with (...) the help of (1) an account by Ajdukiewicz (1936) of the criteria underlying the practice of articulating rules of defining for axiomatized theories and (2) a critique by Frege (1903) of definitions that conjure an object into existence as that which satisfies a specified condition without first proving that exactly one object does so. I show that satisfaction of the conditions of consistency and back-translatability as thus explained is guaranteed by the rules of defining articulated by Leśniewski (1931) for an axiomatized system of propositional logic. I then construct analogous rules of defining for the theory within which Tarski developed his definition of truth. Tarski’s 32 definitions in this theory occasionally violate these rules, but the violations are easily repaired. I argue that the Leśniewski-Ajdukiewicz theory of formal correctness of definitions within which Tarski worked is superior in some respects to the widely accepted analogous theory articulated by Suppes (1957). (shrink)

The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed, in this paper the latter is adapted to Weir’s non-transitive trivalent logic \({\mathbf{NC}}_{\mathbf{3}}\). As a result, for each binary extension of \({\mathbf{NC}}_{\mathbf{3}}\), we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron and his co-authors’ general method of obtaining _n_-sequent proof systems for any _n_-valent logic (...) with deterministic or non-deterministic matrices is not applicable to \({\mathbf{NC}}_{\mathbf{3}}\) and its binary extensions. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

According to a widely held view, rationality demands that the preferences of a person be transitive. The transitivity assumption is an axiom in standard theories of rational choice. It is also prima facie very plausible. I argue here that transitivity is not a necessary condition of rationality; it is a constraint only in some cases. The argument presented here is based on the non-linearity of differential utility functions. This paper has four parts. First, I present an argument against the transitivity (...) assumption (I, II). Second, I discuss some objections; this will also bring out some features of the view defended here, like the essentially comparative nature of choice (III). Then, I discuss certain proposals that promise to avoid my conclusion (IV). Finally, I go into some implications concerning the nature of rational decision making (V). To accept some intransitivities as rational does not make our life easier; it can even lead to hard choices. However, it does not lead to skepticism about rational choice. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetrically analysable, and non-analysable syllogisms. From the first and the third group could be extracted 27 combinations of the two mutually non-derivable deductive rules. Aristotle’s reduced deductive system in APr. I.7 with the two moods in the first figure (traditionally called Barbara and Celarent) follows this pattern. I demonstrate that the deductive system with Barbara and Celarent is just (...) one of 27 possible complete deductive systems with the two mutually non-derivable syllogistic rules. On top of that, given the fact that there are two combinations of mutually non-derivable conversion rules, I conclude that Prior Analytics hides in itself 54 complete deductive systems with a minimal number of mutually non-derivable rules. Finally, it is commented what might be the role of analysis; to what extent Aristotle could be aware of possibilities presented here; why he still prefers only one deductive system to many others with the same deductive power. (shrink)

The leitmotif of Mario Bunge’s work was that the philosophy of science should be informed by a comprehensive scientific philosophy, and vice versa; with both firmly rooted in realism and materialism. Now Bunge left such a big oeuvre, comprising more than 70 books and hundreds of articles, that it is impossible to review it in its entirety. In addition to biographical remarks, this obituary will therefore restrict itself to some select issues of his philosophy: his scientific metaphysics, his philosophy of (...) physics, his concept of mechanismic explanation, his philosophy of social science and technology, and his approach to the demarcation problem. The final section will explore why Bunge, despite the extent and depth of his work, has not achieved a more prominent status in the philosophical community. (shrink)

To consider metaphysical claims a priori and devoid of empirical content, is a rather commonplace received opinion. This paper attempts an exploration of a contemporary philosophical heresy: it is possible to test metaphysical claims if they play an indispensable role in producing empirical success, i.e. novel predictions. To do so one, firstly, needs to express the metaphysical claims employed in the logico-mathematical language of a scientific theory, i.e. to explicate them. Secondly, one should have an understanding of what it is (...) to test and to verify or to falsify a metaphysical claim. Finally, one also need to consider the philosophical practice of testing a metaphysical claim. These three aspects are introduced in this paper and they are illustrated by means of the metaphysical concept of common cause and the principle of the common cause. (shrink)

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...) constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories. (shrink)

In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.

This Ph.D. thesis provides a pilosophical account of the structure of the evolutionary synthesis of the 1930s and 40s. The first, more historical part analyses how classical genetics came to be integrated into evolutionary thinking, highlighting in particular the importance of chromosomal mapping of Drosophila strains collected in the wild by Dobzansky, but also the work of Goldschmidt, Sumners, Timofeeff-Ressovsky and others. The second, more philosophical part attempts to answer the question wherein the unity of the synthesis consisted. I argue (...) that it exemplifies a weak of form of explanatory unification. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

The standard propositional exposition of necessary and sufficient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.

The essentially comparative conception of value entails that the value of a state of affairs does not depend solely upon features intrinsic to the state of affairs, but also upon extrinsic features, such as the set of feasible alternatives. It has been argued that this conception of value gives us reason to abandon the transitivity of the better than relation. This paper shows that the support for intransitivity derived from this conception of value is very limited. On its most plausible (...) interpretations, it merely provides a necessary, but not sufficient, condition for intransitivity. It is further argued that the essentially comparative conception of value appears to support a disjunctive conclusion: there is incommensurability of value or betterness is not transitive. Of these two alternatives, incommensurability is preferable, because it is far less threatening to our other axiological commitments. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

In his book, The Structure of Time, William H. Newton-Smith claims that we cannot decide whether the structure of time is continuous or merely dense. I discuss here the extent to which he is correct. I argue that he fails to provide strong enough arguments to defend his claim, but I then suggest how he might overcome this issue. I also argue that we must reconsider the consequences that he draws from his “undecidability result”.

John King-Farlow's ‘The Positive McTaggart on Time’ brings out extremely important likenesses between ‘abstract’ metaphysicians and ‘concrete’ philosophers of science. These striking similarities illustrate a perennial human quest for Something More Basic than Time, a quest which characterizes not only mystics who rejoice in contradictions but hard-headed philosophers who submit to the rigours of logic. King-Farlow is largely concerned with the McTaggart of 1908 and his motivation for writing ‘The Unreality of Time’. I should like to explore further the surprising (...) bond between the Search for Something Deeper in the later McTaggart of The Nature of Existence and the writings on Time of Hans Reichenbach and Adolf Grünbaum. Reflection on this similarity should enable us better to evaluate the view that our vulgar, if practically useful, assertions about Time's Arrow must be reinterpreted by the wise in terms of chastened logical constructions out of statements about Something Deeper—logical constructions which are alleged, if chaste enough, to be eliminable. (shrink)

The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...) level of metaphysics and epistemology alike with a sortalist position. Sortalism is the position which insists that, if the question is whether a and b are the same, it has to be asked what are they? Any sufficiently specific answer to that question will bring with it a principle of activity or functioning and a mode of behaviour characteristic of some particular kind of thing by reference to which questions of persistence or non-persistence through change can be adjudicated.These contentions are illustrated by reference to familiar examples such as the human zygote, the Ship of Theseus and Shoemaker's Brown-Brownson. The first example is hostage for a mass of unproblematical cases. The problems presented by the second and third sort of examples arise chiefly (it is claimed) from an incompleteness in our conceptions of the relevant sort—the what the thing in question is. That incompleteness need not prevent us from knowing perfectly well which thing we are referring to. In the concluding section, sortalism is defended against various accusations of anthropocentrism.The paper touches on the interpretation of Heraclitus, Leibniz's theory of clear indistinct ideas, the difficulties of David Lewis's ‘perdurantist’ or stroboscopic view of persistence, four-dimensionalism, and the relation of personal identity both to experiential memory and to the particular bodily physiognomy of a subject. At some points—as in connection with the so-called Only a and b rule—the paper corrects, supplements or extends certain theses or formulations proposed in the author's Sameness and Substance Renewed (2001). (shrink)

The paper discusses problems which arise in attempts to axiomatize parts of religion or religious belief systems. Besides those problems already investigated by Bochenski, like that of the propositional content or the meaning of religious discourse there are several further ones. This paper deals with the question whether full Classical Logic is suitable, whether one universe of discourse is sufficient, how to use definitions and analogous concepts and whether justifications satisfy credibility criteria.

In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.

The "problem of counterfactuals," as proposed by Goodman and Chisholm, cannot be solved. However, a similar program, pioneered by Hiż and Mrs. Milmed, but largely neglected, can be completed and promises a satisfactory analysis of subjunctive conditionals.

The so-called Ramsey–Carnap approach, or Ramseyfication, has gone out of fashion in the philosophy of science. Advocates have tried to argue for a revival by writing methodological and metatheoretical studies of Ramseyfication. For this paper I have chosen a different approach; I will apply Ramseyfication to infrared spectroscopy—a method used in analytical chemistry—in order to logically analyse the relation between measurements and mathematical structures. My aim in doing so is to contribute to the debate about the _Application Problem of Mathematics_, (...) thereby making a case for Ramseyfication as a method of study for scientific theories. (shrink)

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X‐and‐Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners' interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems.

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (shrink)

In this article, I discuss Alf Ross's claim that the concept of a legal right is best understood as a technical tool of presentation, which ties together a disjunction of operative facts and a conjunction of legal consequences, and that rights statements render the content of a number of legal norms in a convenient manner. I argue that while Ross's analysis is appealing, it is problematic in at least three respects. I also argue, however, that despite these difficulties Ross's analysis (...) deserves our continued attention, because the fundamental idea—that the concept of a legal right must be understood functionally—is sound. (shrink)

The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

Caenorhabditis elegans (C. elegans) is a tiny worm that has become the focus of a large number of worldwide research projects examining its genetics, development, neuroscience, and behavior. Recently several groups of investigators have begun to tie together the behavior of the organism and the underlying genes, neural circuits, and molecular processes implemented in those circuits. Behavior is quintessentially organismal--it is the organism as a whole that moves and mates--but the explanations are devised at the molecular and neurocircuit levels, and (...) tested in populations using protocols that span many levels of aggregation. Following a brief review of the main relevant features of C. elegans, I describe some of these circuits, and then discuss two contrasting approaches in behavioral genetics and neural network analysis of the worm. Finally, I outline the rudiments of a "field and focus" explanation model using the two contrasting approaches. (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.

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

We propose a model of cognition grounded in ancient Greek philosophy which encompasses Aristotle’s categories. Taking for First Principles the brute facts of the mental actions of separation, aggregation and ordering, we derive Aristotle’s categories as follows. First, Separation lets us see single entities, giving the simple concept of an individual. Next, Aggregation lets us see instances of some kind, giving the basic concept of a particular. Then, Ordering lets us see both wholes-with-parts as well as parts-of-some-whole, giving the subtle (...) concept of a relational or Gestalt. The basic and the subtle concept give us the major and minor categories. The categories constitute a top-level ontology and describe universal usage so that any other category necessarily describes particular or domain usage. (shrink)