The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

This is the basis of the first part of the book.

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part of the (...) article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

In this paper, the (possible) role of model theory forstructuralism and structuralist definitions of ``reduction'' arediscussed. Whereas it is somewhat undecisive with respect tothe first point – discussing some pro's and con's ofthe model theoretic approach when compared with a syntacticand a structuralist one – it emphasizes that severalstructuralist definitions of ``reducibility'' do not providegenerally acceptable explications of ``reducibility''. This claimrests on some mathematical results proved in this paper.

This paper explores the consequences of the two most prominent forms of contemporary structural realism for the notion of objecthood. Epistemic structuralists hold that we can know structural aspects of reality, but nothing about the natures of unobservable relata whose relations define structures. Ontic structuralists hold that we can know structural aspects of reality, and that there is nothing else to know—objects are useful heuristic posits, but are ultimately ontologically dispensable. I argue that structuralism does not succeed in ridding a (...) structuralist ontology of objects. (shrink)

Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The Basic Structure of Neoclassical (...) General Equilibrium Theory. Klaus MANHART: Balance Theories: Two Reconstructions and the Problem of Intended Applications. Rainer WESTERMANN: Festinger's Theory of Cognitive Dissonance: A Structuralist Theory-Net. Rainer REISENZEIN: Wundt's Three-Dimensional Theory of Emotion. Pablo LORENZANO: Classical Genetics and the Theory-Net of Genetics. Hinne HETTEMA and Theo A.F. KUIPERS: The Formalisation of the Periodic Table. C. ULISES MOULINES: The Basic Core of Simple Equilibrium Thermodynamics. Thomas BARTELBORTH: An Axiomatization of Classical Electrodynamics. Author's Index. Subject Index. (shrink)

THE STRUCTURALISTIC ENDEAVOUR. THE WORLD AS MUSICAL SCORE The recent decades of this century have witnessed unusually rapid and far- reaching changes in the ...

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all (...) mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail. (shrink)

Structural realism has recently re-entered mainstream discussions in the philosophy of science. The central notion of structure, however, is contested by both advocates and critics. This paper briefly reviews currently prominent structuralist accounts en route to proposing a metaphysics of structure that is capable of supporting the epistemic aspirations of realists, and that is immune to the charge most commonly levelled against structuralism. This account provides an alternative to the existing epistemic and ontic forms of the position, incorporating elements of (...) both. Structures are here identified with relations between first order, causal properties: properties that confer specific dispositions for relations. This form of structuralism constitutes an explicit proposal for what seem implicit structuralist tendencies in sophisticated but more traditional characterizations of realism. An outline of the proposal's response to the anti-realist's pessimistic induction on the history of scientific theories is considered. (shrink)

Øystein Linnebo and Richard Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They argue that their theory of abstract structures proves a consistent version of the structuralist thesis that positions in abstract structures only have structural properties. They do this by defining a subset of the properties of positions in structures, so-called fundamental properties, and argue that all fundamental properties of positions are structural. In this article, we argue that the structuralist thesis, even (...) when restricted to fundamental properties, does not follow from the theory of structures that Linnebo and Pettigrew have developed. To make their account work, we propose a formal framework in terms of Kripke models that makes structural abstraction precise. The formal framework allows us to articulate a revised definition of fundamental properties, understood as intensional properties. Based on this revised definition, we show that the restricted version of the structuralist thesis holds. 1Introduction 2The Structuralist Thesis 3LP-Structuralism 4Purity 5A Formal Framework for Structural Abstraction 6Fundamental Relations 7The Structuralist Thesis Vindicated 8Conclusion. (shrink)

I consider different versions of a structuralist view of mathematical objects, according to which characteristic mathematical objects have no more of a 'nature' than is given by the basic relations of a structure in which they reside. My own version of such a view is non-eliminative in the sense that it does not lead to a programme for eliminating reference to mathematical objects. I reply to criticisms of non-eliminative structuralism recently advanced by Keränen and Hellman. In replying to the former, (...) I rely on a distinction between 'basic' and 'constructed' structures. A conclusion is that ideas from the metaphysical tradition can be misleading when applied to the objects of modern mathematics. (shrink)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

Ontic structural realism is a thesis of fundamentality metaphysics: the thesis that structure, not objects, has fundamental status. Claimed as the metaphysic most befitting of modern physics, OSR first emerged as an entreaty to eliminate objects from the metaphysics of fundamental physics. Such elimination was urged by Steven French and James Ladyman on the grounds that only it could resolve the ‘underdetermination of metaphysics by physics’ that they claimed reduced any putative objectual commitment to a merely ‘ersatz’ form of realism. (...) Few, however, have joined French and Ladyman either in acknowledging that such underdetermination exists or in attributing to it such drastic consequences. However, an alternative view that physics does sanction objects, albeit merely as ontologically secondary entities, represents a different and seemingly less extreme route to the same conclusion regarding the fundamentality of structure. But since what it means to be ‘ontologically prior’ is itself a vexed philosophical question, a stance must be taken as to how we are to understand priority before its prospects may be evaluated. In an earlier paper, I outlined how Fine’s notion of ontological dependence might be utilized to defend the priority-based approach to structuralism. Since then, however, I have become convinced that that ontological dependence is not a relation of priority after all. As a result, the arguments outlined in that paper stand in need of reassessment. In this work, I consider the prospects for priority-based structuralism when expressed in the idiom of determination. My conclusion will be that it has yet to be vindicated by our best physical theories, owing to the failure of symmetry structures to determine the world’s inventory of fundamental kinds. Nevertheless, the same symmetry considerations point towards there being renewed prospects for eliminativism—an eliminativism, moreover, of more naturalistic appeal than that hitherto associated with OSR. 1Introduction 2Structuralist Strategies 3Defining Ontological Priority: Dependence or Determination? 4Structuralism in the Idiom of Determination 4.1Determining plurality 4.2Determining kind properties 5A Reinvigorated Eliminativism. (shrink)

The basic relations and functions that mathematicians use to identify mathematical objects fail to settle whether mathematical objects of one kind are identical to or distinct from objects of an apparently different kind, and what, if any, intrinsic properties mathematical objects possess. According to one influential interpretation of mathematical discourse, this is because the objects under study are themselves incomplete; they are positions or akin to positions in patterns or structures. Two versions of this idea are examined. It is argued (...) that the evidence adduced in favor of the incompleteness of mathematical objects underdetermines whether it is the objects themselves or our knowledge of them that is incomplete. Also, holding that mathematical objects are incomplete conflicts with the practice of mathematics. The objection that structuralism is committed to the identity of indiscernibles is evaluated and it is also argued that the identification of objects with positions is metaphysically suspect. (shrink)

From a post-structuralist position, it is problematic and seemingly impossible to refer to God as the Trinity. This article describes possibilities for thinking about the Trinity (religion and God) within a post-structuralist context. As an example of such thinking, the 2015 culture-critique film, The Brand New Testament, will be analysed. It is a creative retelling of the Christian story and of the Trinity in a secular and post-metaphysical vein. This ‘Brand New Testament’ reveals God as ‘one’ – as the encompassing (...) love, hope and life which we may experience in this life. The life-giving characteristics of this ‘god’ are surprisingly close to the biblical understanding of the Trinity. In the ‘Brand New Testament’, however, the Trinity is portrayed radically differently than in the Christian tradition. The personae of father, son and spirit are deconstructed in the film, in that a daughter and a mother also form part of the godhead. This deconstruction of the Trinity, which should not be confused with blasphemy, opens up a possible post-structuralist imagining of God. It playfully reveals a powerless god who shares some fundamental characteristics with the Trinity – such as love, joy and life. It allows for the ‘oneness of god’ to include more, and less, than the ‘Holy Trinity’. (shrink)

Ontic structuralism or ontic structural realism in the philosophy of physics can be broadly considered as an interpretative strategy providing a set of conceptual and metaphysical tools—or, more ambitiously, an ontological framework—in order to account for central features of current fundamental physics. This article aims to review the main structuralist interpretative moves in the context of our two best fundamental physical theories of matter and spacetime, namely, quantum theory and general relativity. We highlight in particular the structuralist understanding of permutation (...) invariance, entanglement and nonlocality in quantum theory, and of the dynamical features of spacetime, diffeomorphism invariance and background independence in general relativity. (shrink)

Poincaré is well known for his conventionalism and structuralism. However, the relationship between these two theses and their place in Poincaré׳s epistemology of science remain puzzling. In this paper I show the scope of Poincaré׳s conventionalism and its position in Poincaré׳s hierarchical approach to scientific theories. I argue that for Poincaré scientific knowledge is relational and made possible by synthetic a priori, empirical and conventional elements, which, however, are not chosen arbitrarily. By examining his geometric conventionalism, his hierarchical account of (...) science and defence of continuity in theory change, I argue that Poincaré defends a complex structuralist position based on synthetic a priori and conventional elements, the mind-dependence of which precludes epistemic access to mind-independent structures. (shrink)

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- and fourthorder number (...) theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Ante rem structuralism is the doctnne that mathematics descubes a realm of abstract (structural) universab. According to its proponents, appeal to the exutence of these universab provides a source distinctive insight into the epistemology of mathematics, in particular insight into the so-called 'access problem' of explaining how mathematicians can reliably access truths about an abstract realm to which they cannot travel andfiom which they recave no signab. Stewart Shapiro offers the most developed version of this view to date. Through an (...) examination of Shapiro's proposed structuralist epistemology for mathematics I argue that ante rem structuralism faib to provide the ingredients for a satisfactory resolution of the access problem for infinite structures (whether small or large). (shrink)

The chapter takes structuralism to be the thesis that if F and G are alike causally, then F and G are the same property. It follows that our beliefs about the world can be true in various brain-in-a-vat scenarios, giving us refuge from skeptical arguments. The trouble is that structuralism doesn’t do justice to certain metaphysical aspects of property identity having to do with fundamentality, intrinsicality, and the unity of the world. A closely related point is that the relation…lies-at-some-spatial-distance-from…obeys necessary (...) truths that need not apply to other relations with the same causal profile. This observation is especially important if, as David Lewis argued, the only alternatives to skepticism are structuralism and an anti-Humean stance toward modality. Some pertinent views of David Chalmers’s are discussed, and parallels are drawn between the structuralist response to skepticism and functionalism in the philosophy of mind. (shrink)

If structuralism is a true view of mathematics on which the statements of mathematicians are taken ‘at face value’, then there are both structures on which classical second-order arithmetic is a correct report, and structures on which intuitionistic second-order arithmetic is correct. An argument due to Dedekind then proves that structures and structures are isomorphic. Consequently, first- and second-order statements true in structures must hold in , and conversely. Since instances of the general law of the excluded third fail in (...) structures but hold in , a contradiction ensues. (shrink)

The article offers an alternative story about the structuralism in science, philosophy, and semiotics based on the exposition of Ch. S. Peirce’s philosophical project – pragmatism. Contemporary tendency to consider structuralism as naïve and dead, is put in contrast with the reassessment of the potential of structuralism in natural scien- ces and linguistic anthropology.

Modern literary theory is increasingly looking to philosophy for its inspiration. After a wave of structural analysis, the growing influence of deconstruction and hermeneutic readings continues to bear witness to this. This exciting and important collection, first published in 1988, reveals the diversity of approaches that mark the post-structuralist endeavour, and provides a challenge to the conventional practice of classical studies and ancient philosophy. This book will be of interest to students of ancient philosophy, classical studies and literary theory.

Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the structure in question are of no importance; all that matters is that they satisfy certain general conditions—typically spelled out in axioms defining the structure or structures (...) of interest—characteristic of the branch of mathematics in question. Thus, in the basic case of arithmetic, the famous “axioms” of Richard Dedekind (taken over by Giuseppe Peano, as he acknowledged) were conditions in a definition of a “simply infinite system”, with an initial item, each item having a unique next one, no two with the same next one, and all items finitely many steps from the initial one. (The latter condition is guaranteed by the axiom of mathematical induction.) All such systems are structurally identical, and, in a sense to be made more precise, the shared structure is what mathematics investigates. (In other cases, multiple structures are allowed, as in abstract algebra with its many groups, rings, fields, and so forth.) This structuralist view of arithmetic thus contrasts with the absolutist view, associated with Gottlob Frege and Bertrand Russell, that natural numbers must in fact be certain definite objects, namely classes of equinumerous concepts or classes. (shrink)

This paper defends a conceptualistic version of structuralism as the most convincing way of elaborating a philosophical understanding of structuralism in line with the classical tradition. The argument begins with a revision of the tradition of “conceptual mathematics”, incarnated in key figures of the period 1850 to 1940 like Riemann, Dedekind, Hilbert or Noether, showing how it led to a structuralist methodology. Then the tension between the ‘presuppositionless’ approach of those authors, and the platonism of some recent versions of philosophical (...) structuralism, is presented. In order to resolve this tension, we argue for the idea of ‘logical objects’ as a form of minimalist realism, again in the tradition of classical authors including Peirce and Cassirer, and we introduce the basic tenets of conceptual structuralism. The remainder of the paper is devoted to an open discussion of the assumptions behind conceptual structuralism, and—most importantly—an argument to show how the objectivity of mathematics can be explained from the adopted standpoint. This includes the idea that advanced mathematics builds on hypothetical assumptions (Riemann, Peirce, and others), which is presented and discussed in some detail. Finally, the ensuing notion of objectivity is interpreted as a form of particularly robust intersubjectivity, and it is distinguished from fictional or social ontology. (shrink)

According to structural realism, in mature science there is structural continuity along theoretical change. A major counterexample to this thesis is the transition from the Eightfold Way to the Standard Model in particle physics. Nevertheless, the notion of structure is significantly important in comprehending the theoretical picture of particle physics, where particles change and undergo transmutations, while the only thing which remains unchanged is the basic structure, i.e. the symmetry group which controls the transmutations. This kind of view agrees with (...) the paradigmatic case where the structure is an internal symmetry and the instantiations are the elementary particles. The metaphysical view which reflects this situation is a version of ontic structuralism. (shrink)

Systematics based solely on structuralist principles is non-science because it is derived from first principles that are inconsistent in dealing with both synchronic and diachronic aspects of evolution, and its evolutionary models involve hidden causes, and unnameable and unobservable entities. Structuralist phylogenetics emulates axiomatic mathematics through emphasis on deduction, and “hypotheses” and “mapped trait changes” that are actually lemmas and theorems. Sister-group-only evolutionary trees have no caulistic element of scientific realism. This results in a degenerate systematics based on patterns of (...) fact or evidence being treated as so fundamental that all other data may be mapped to the cladogram, resulting in an apparently well-supported classification that is devoid of evolutionary theory. Structuralism in systematics is based on a non-ultrametric analysis of sister-group informative data that cannot detect or model a named taxon giving rise to a named taxon, resulting in classifications that do not reflect macroevolutionary changes unless they are sister lineages. Conservation efforts are negatively affected through epistemological extinction of scientific names. Evolutionary systematics is a viable alternative, involving both deduction and induction, hypothesis and theory, developing trees with both synchronic and diachronic dimensions often inferring nameable ancestral taxa, and resulting in classifications that advance evolutionary theory and explanations for particular groups. (shrink)

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

One kind of structuralism holds that mathematics is about structures, conceived as a type of abstract entity. Another denies that it is about any distinctively mathematical entities at all—even abstract structures; rather it gives purely general information about what holds of any collection of entities conforming to the axioms of the theory. Of these, pure structuralism is most plausibly taken to enjoy significant advantages over platonism. But in what appears to be its most plausible—modalised—version, even restricted to elementary arithmetic, it (...) requires defence of a very strong possibility claim: that there could be a completed w-sequence of concrete objects. There are very serious epistemological difficulties in the way of providing the requisite defence. (shrink)

(2013). PSYCHOANALYTIC STRUCTURALISM IN THE CAHIERS POUR L'ANALYSE. Angelaki: Vol. 18, No. 2, pp. 45-60.

In this paper I argue for the view that structuralism offers the best perspective for an acceptable account of the applicability of mathematics in the empirical sciences. Structuralism, as I understand it, is the view that mathematics is not the science of a particular type of objects, but of structural properties of arbitrary domains of entities, regardless of whether they are actually existing, merely presupposed or only intentionally intended.

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work (...) of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

This paper explores the status of causation in structuralist metaphysics of physics. What role (if any) does causation play in understanding ‘structure’ in ontological structural realism? I address this question by examining, in a structuralist setting, arguments for and against the idea that fundamental physics deals, perhaps exclusively, with causal properties. I will argue (against Esfeld, Dorato and others) that a structuralist interpretation of fundamental physics should diverge from ‘causal structuralism’. Nevertheless, causation outside fundamental physics, and the basic motivation for (...) causal structuralism outside fundamental physics, can be captured with an appropriate conception of causation. (shrink)

Introduces a general framework for the theoretical investigation of psychology, to move the field beyond the usual informal style and everyday language. Psychologists, political scientists, sociologists, and philosophers of science provide constructions and reconstructions of various theories from a structuralist perspective, dealing with both fundamental aspects and with problems of application. Annotation copyright by Book News, Inc., Portland, OR.

STEWART SHAPIRO; Mathematical Structuralism, Philosophia Mathematica, Volume 4, Issue 2, 1 May 1996, Pages 81–82, https://doi.org/10.1093/philmat/4.2.81.

• This comes from my general view of the nature of mathematics, that it is humanly based and that it deals with more or less clear conceptions of mathematical structures; for want of a better word, I call that view conceptual structuralism.

“In its less dramatic versions,” writes author Dan Palmer, “structuralism is just a method of studying language, society, and the works of artists and novelists. But in its most exuberant form, it is a philosophy, an overall worldview that provides an account of reality and knowledge.” Poststructuralism is a loosely knit intellectual movement, comprised mainly of ex-structuralists who either became dissatisfied with the theory or felt they could improve it. Structuralism and Poststructuralism For Beginners is an illustrated tour through the (...) mysterious landscape of these two theories. The book’s starting point is the linguistic theory of Ferdinand de Saussure. The book moves on to the anthropologist and literary critic Claude Levi-Strauss; the semiologist and literary critic Roland Barthes; the Marxist philosopher Louis Althusser; the psychoanalyst Jacques Lacan; the deconstructionist Jacques Derrida. The book concludes by examining the postmodern obsession with language and with the radical claim of the disappearance of the individual–obsessions that unite the work of all of these theorists. (shrink)

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: its proponents (...) rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

This book will be of particular interest to those philosophers, scientists, and mathematicians who are interested in the foundations of science.

This paper compares the statement ‘Mathematics is the study of structure’ with the actual practice of mathematics. We present two examples from contemporary mathematical practice where the notion of structure plays different roles. In the first case a structure is defined over a certain set. It is argued firstly that this set may not be regarded as a structure and secondly that what is important to mathematical practice is the relation that exists between the structure and the set. In the (...) second case, from algebraic topology, one point is that an object can be a place in different structures. Which structure one chooses to place the object in depends on what one wishes to do with it. Overall the paper argues that mathematics certainly deals with structures, but that structures may not be all there is to mathematics. (shrink)

The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...) semantic approach. In structuralist theory of science, as founded by Sneed and Stegmüller, the focus is on global propositions concerning the question of whether or not certain empirical systems satisfy a set-theoretic predicate that encodes the axioms of a scientific theory. Hence, an analysis of deductive reasoning from atomic premisses with the help of a given theory is missing. The objective of the present paper is to develop a deductive system on the basis of the structuralist framework. This system comes with a novel formulation of empirical propositions in structuralism. (shrink)