Metaphysical graphical structuralism is the view that at some fundamental level the world is a mathematical graph of nodes and edges. Randall Dipert has advanced a graphical structuralist theory of fundamental particulars and Alexander Bird has advanced a graphical structuralist theory of fundamental properties. David Oderberg has posed a powerful challenge to graphical structuralism: that it entails the absurd inexistence of the world or the absurd cessation of all change. In this paper I (...) defend graphical structuralism. A sharper formulation, some theorems about such structures, and careful attention to the interaction of metaphysical and mathematical features, shows that the absurdities depend on assumptions that are not essential to the view and brings to light a surprising fact about the necessary structure of fundamental properties. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is (...) necessary but not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

This article presents and argues for modal structuralism, which is loosely derived from a position described by Wilfrid Sellars. Modal structuralism holds that a fundamental property is identified by the role it plays in the structure of possibilities. It implies necessitarianism about laws, which holds that at least some laws of nature are metaphysically necessary. The argument for these positions derives from the following assumptions: the principle of the identity of indiscernible properties and a modest antiquidditism. These (...) assumptions are weaker than those of causal structuralism, which is a closely related view. (shrink)

If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such ‘foreign’ properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all ‘foreign’ properties. One form is inspired by (...) Frege; the other by Dedekind. We argue that both face problems. (shrink)

Strong dispositional monism, the position that all fundamental physical properties consist in dispositional relations to other properties, is naturally construed as property structuralism. J. Lowe’s circularity/regress objection constitutes a serious challenge to SDM that questions the possibility of a purely relational determination of all property essences. The supervenience thesis of A. Bird’s graph-theoretic asymmetry reply to CRO can be rigorously proved. Yet the reply fails metaphysically, because it reveals neither a metaphysical determination of identities on a purely (...) relational basis nor a determination specifically of identities in the sense of essences. Asymmetry is thus not by itself sufficient for a solution to CRO. But it cannot even help to answer CRO when a model for the determination of essences is taken as a basis. Nor is asymmetry necessary for a reply, as property structures may well be symmetric. A metaphysics of dispositional properties as grounded in a purely relational structure faces serious obstacles, and the properties would not be fundamental. Since essence and grounding are notions of metaphysical priority, there can be no essentially dispositional metaphysically fundamental properties, and the prospects of a “coherentist” metaphysics of basic properties are dim. A modal retreat that refrains from a post-modal conception of essence and simply claims that fundamental properties play dispositional roles by metaphysical necessity is unsatisfactory. (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)

Structuralism about mathematical objects and structuralist accounts of physical computation both face indeterminacy objections. For the former, the problem arises for cases such as the complex roots i and \, for which a automorphism can be defined, thus establishing the structural identity of these importantly distinct mathematical objects. In the case of the latter, the problem arises for logical duals such as AND and OR, which have invertible structural profiles :369–400, 2001). This makes their physical implementations indeterminate, in the (...) sense that their structural profiles alone cannot establish whether a given physical component is an AND-gate or an OR-gate. Doherty has recently shown both problems to be analogous, and has argued that computational structuralism is threatened with the absurd conclusion that computational digits might be indiscernible, such that, if structural properties are all that we have to go on, the binary digit 0 must be treated as identical to the binary digit 1. However, we think that a solution to the indiscernibility problem for mathematical structuralists, drawing on the work of David Hilbert, can be adapted for the analogous problem in the computational case, thereby rescuing the structuralist approach to physical computation. (shrink)

Why are diagrams sometimes so useful, while other times unhelpful and even misguiding? There are systematic reasons for this. Drawing on modern research in logic, Artificial Intelligence, cognitive psychology, and graphic design, "Semantic Properties of Diagrams and their Cognitive Potentials" shows that diagrams' cognitive functions are rooted in the characteristic ways they carry information about their targets. The analysis leads to an answer for the deeper question of What makes a diagram a diagram?, which is of crucial importance to (...) the foundation of a collective science of diagrams. ". (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)

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 spiral form of the Periodic Law is proposed as its fundamental graphic representation. This idea is based on the fact that the spiral is the most appropriate form in description transitions from simple to complicated. The spiral is easily obtained from the linear succession of the elements when they are ranged by growing nuclear charge. The spiral can be simply transformed into many other graphic representations, including tables. This paper suggests the conception of the autonomy of blocks. This autonomy (...) is clearly seen in the variation of the outer electronic shells, in the width and the height of the blocks, as well as the number and properties of elements included therein. The regularities in the changes of element properties are pronounced in certain blocks but actually absent in others. The blocks can be permuted to obtain full-fledged versions of Periodic Table. The new stage of the verification of the blocks autonomy is the use of the total number of the differentiating electrons as an independent variable in describing the properties of the elements and their compounds. Consideration of individual blocks made it possible to deduce the periodic equations valid for all the elements within each block. Formulation of the Periodic Law is advanced: while describing characteristic determining the properties of the elements, the nuclear charge is replaced by the total number of differentiating electrons. Two modifications of the conventional Periodic Table are obtained by minimal changes. The first one shows the secondary and the additional periodicites. Another table shows the total number of differentiating electrons for each element. (shrink)

Causal reasoning is primarily concerned with what would happen to a system under external interventions. In particular, we are often interested in predicting the probability distribution of some random variables that would result if some other variables were forced to take certain values. One prominent approach to tackling this problem is based on causal Bayesian networks, using directed acyclic graphs as causal diagrams to relate post-intervention probabilities to pre-intervention probabilities that are estimable from observational data. However, such causal diagrams are (...) seldom fully testable given observational data. In consequence, many causal discovery algorithms based on data-mining can only output an equivalence class of causal diagrams. This paper is concerned with causal reasoning given an equivalence class of causal diagrams, represented by a ancestral graph. We present two main results. The first result extends Pearl 's celebrated do-calculus to the context of ancestral graphs. In the second result, we focus on a key component of Pearl's calculus---the property of invariance under interventions, and give stronger graphical conditions for this property than those implied by the first result. The second result also improves the earlier, similar results due to Spirtes et al. (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)

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)

Dispositional essentialists are typically committed to two claims: that properties are individuated by their causal role (‘causal structuralism’), and that natural necessity is to be explained by appeal to these causal roles (‘dispositional actualism’). I argue that these two claims cannot be simultaneously maintained; and that the correct response is to deny dispositional actualism. Causal structuralism remains an attractive position, but doesn’t in fact provide much support for dispositional essentialism.

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.

Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in case the system instantiates a pattern of causal organization isomorphic to the computation’s formal structure. I argue against structuralism through counter-examples drawn from computer science. On my opposing view, computational implementation sometimes requires instantiating semantic properties that outstrip any relevant pattern of causal organization. In developing my (...) argument, I defend anti-individualism about computational implementation: relations to the social environment sometimes help determine whether a physical system realizes a computation. 1 The Physical Realization Relation2 Semantics and Computational Implementation3 Conforming to Instructions4 Implementing a Computer Program4.1 The denotational semantics of Scheme4.2 Worries about intentionality4.3 Worries about the natural numbers5 Implementing a Machine Model6 Bounded Structuralism7 Triviality Arguments8 Anti-individualism about Computational Implementation. (shrink)

I critically evaluate Bickle’s version of scientific theory reduction. I press three main points. First, a small point, Bickle modifies the new wave account of reduction developed by Paul Churchland and Clifford Hooker by treating theories as set-theoretic structures. But that structuralist gloss seems to lose what was distinctive about the Churchland-Hooker account, namely, that a corrected theory must be specified entirely by terms and concepts drawn from the basic reducing theory. Set-theoretic structures are not terms or concepts but the (...) structures that they describe. Second, and more serious, a familiar problem for classical positivist account of reduction resurfaces within this newest wave of thinking, namely, commitment to property identities and inter-theoretic bridge laws (a problem I discussed at more length in "Collapse of the New Wave"). Indeed, this problem is exacerbated by Bickle’s conciliatory treatment of property plasticity, since he is willing to grant that a large number of special science terms denote multiply realized properties, at least if realistically construed. Still, in the end, Bickle sidesteps the reduction of properties by appealing to Hooker’s "function-to-structure token reduction." This is an interesting move with an intriguing concept of reduction. But problems remain. For, third, Bickle and Hooker's function-to-structure token reduction is actually a guised form of eliminative materialism. But that should be unacceptable since the position extends well beyond any modest revisionism for suspect items from a folk theory, say, in folk psychology or folk biology. Instead, it applies to functional terms and concepts employed throughout well-developed and explanatorily successful sciences. (shrink)

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.

Ø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 paper, 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. (shrink)

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.

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system (...) which undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

John Searle believes that computational properties are purely formal and that consequently, computational properties are not intrinsic, empirically discoverable, nor causal; and therefore, that an entity’s having certain computational properties could not be sufficient for its having certain mental properties. To make his case, Searle’s employs an argument that had been used before him by Max Newman, against Russell’s structuralism; one that Russell himself considered fatal to his own position. This paper formulates a not-so-explored version (...) of Searle’s problem with computational cognitive science, and refutes it by suggesting how our understanding of computation is far from implying the structuralism Searle vitally attributes to it. On the way, I formulate and argue for a thesis that strengthens Newman’s case against Russell’s structuralism, and thus raises the apparent risk for computational cognitive science too. (shrink)

Ernesto Laclau and Chantal Mouffe’s post-Marxist analysis pushed Gramsci’s anti-determinism to its limits, embracing a post-structuralist, discourse-centred politics. Mouffe’s subsequent programme for radical democracy has sought a renewed democratic left project. While radical democracy’s post-structuralism enables important insights into political subjectivity and antagonism in contemporary democracies, it also weakens its own critical and strategic capacity. By recuperating its Gramscian heritage, radical democracy could be more theoretically and politically effective. In contrast to discourses operating in an entirely open and contingent (...) political field, Gramscian theory offers a more realist – but non-determinist – account of the structural, enabling and constraining properties of ideologies. It also allows for a distinctive institutional space for society. Society is the site upon which political identities are articulated, and from which existing power relations are challenged. But a conception of society also points to the institutional limits to politics, notable by their absence in post-structuralism and radical democracy. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There is no (...) cross-identification of higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

John Searle believes that computational properties are purely formal and that consequently, computational properties are not intrinsic, empirically discoverable, nor causal; and therefore, that an entity’s having certain computational properties could not be sufficient for its having certain mental properties. To make his case, Searle employs an argument that had been used before him by Max Newman, against Russell’s structuralism; one that Russell himself considered fatal to his own position. This paper formulates a not-so-explored version (...) of Searle’s problem with computational cognitive science, and refutes it by suggesting how our understanding of computation is far from implying the structuralism Searle vitally attributes to it. On the way, I formulate and argue for a thesis that strengthens Newman’s case against Russell’s structuralism, and thus raises the apparent risk for computational cognitive science too. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There is no (...) cross-identification of higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

The modern debate around scientific structuralism has revealed the need to reassess the standing and role of both structure and objects in the metaphysics of physics. Ontic structural realism recommends that metaphysics be purged of objects. Nonetheless, its proponents have failed to specify what it means for properties to be relational and structural, and, consequently, to show how the elementary objects postulated by our best theories can be re-conceptualized in structural terms or altogether eliminated. In this paper, I (...) draw from modern physics in order to untangle various types of relational properties and propose a definition for structural properties. (shrink)

Metaphysical grounding is often presented as a relation of directed dependence analogous to causation. The relationship between causation, properties, and laws of nature is hotly debated. I ask: what is the relationship between grounding, properties, and laws of metaphysics? I begin by considering the grounding analogue of Humean quidditism. Finding it implausible, I turn to the primitive-laws account of grounding, recently defended by Jonathan Schaffer and others. I argue this view is also unsatisfactory. I then present several possible (...) dispositionalist-like accounts and characterize the notion of a power to ground. I argue for three important conclusions: (i) each property essentially confers grounding powers; (ii) non-fundamental properties can be defined structurally in a particular sense, elucidating the claim that they are ‘nothing over and above’ the fundamental; and (iii) fundamental properties play a central role in grounding the grounding facts. Finally, it is significant that, combined with a causal powers-account of causal explanation, the door is open to a unified account of the metaphysics of causation and grounding: both flow from the natures of fundamental properties. (shrink)

This draft preprint presents a nine step argument for “Connectionist Structuralism” (CS), an account of the ontology of abstract objects that is neither purely nominalist nor purely platonist. CS is a common, often implicit assumption in parts of the artificial intelligence literature, but such discussions have not presented formal accounts of the position or engaged with metaphysical issues that potentially undermine it. By making the position legible and presenting an initial case for it, we hope to support a constructive (...) dialogue between AI researchers and philosophers of metaphysics that helps both sides to refine the position. -/- CS proposes that each abstract object we can draw on in human analysis corresponds to a particular subset of an individual person’s brain structure whose functionality is isomorphic to a subset of the nodes and connections in a suitable connectionist network. In other words, abstract objects are physically realised, but in individual brains, rather than only in the referent objects (pure nominalism) or in metaphysical universals (pure platonism). -/- This paper’s minimum claim is that CS can account for all abstract object predicables regarding sensible properties, such as “is red” or “is a square”. Using evidence from cognitive neuroscience, machine learning, and evolutionary biology, as well as a fully traceable toy example, we describe how CS can support our core cognitive uses of such sensible properties and can account for our core phenomenal experiences of them. In the former, CS provides sufficient albeit imperfect inferential safety, whose limitations are argued to strengthen rather than weaken the case for CS as describing human behaviour. In the latter, four target phenomenal features are accounted for – abstract objects as feeling intangible, non-located, transparent, and unchanging - along with accounts for further phenomena such as semantic refinement, the Stroop effect, synaesthesia, semantic clarity, sensory overload, and satiation. -/- Our minimum claim concerns the day-to-day usage and felt experience of abstract objects, but we suggest also an extended claim in which CS can form the basis of a pragmatic sufficient logic. As such, the initial outline of a response is provided for five common objections to positions that seek to ground abstract objects without reference to metaphysically stand-alone universals: referential opacity; identity of indiscernibles; infinite regression; non-physical concepts; and necessary truths. These outlines lay the foundation for (but do not seek to formally demonstrate) an extended CS account that addresses other abstract objects, including issues relating to their use in mathematics and formal logic. -/- The CS account leads to a four-layer hierarchy of similarity for whether your “red” is the same as mine. Considering both semantic and phenomenal similarity, we conclude that our “reds” are likely non-identical but can be made close enough for practical purposes. Finally, we describe how future work could elaborate CS as a metaphysical project and how confidence in it could be tested through empirical research. (shrink)

In this paper we examine optimal bidding without the independence axiom in a unified framework which allows for a clear graphical representation. Thus, we can show very simply the independence axiom to be a necessary and sufficient condition on preferences for strategical equivalence of the two first-price and second-price auctions, respectively, and for the second-price sealed-bid auction to be demand revealing. The analysis reveals that the betweenness property is necessary and sufficient for the ascending-bid auction to be demand revealing (...) while optimal bids exceed (are less than) bidders' valuations, iff preferences are quasiconcave (quasiconvex). Furthermore, it can be shown that fanning out (fanning in) leads to a higher (lower) selling-price in open than in sealed-bid auctions. (shrink)

We seem to have strong intuitions that many visual representations -- such as descriptions, depictions and diagrams -- can be classified into different types. But how should we understand the differences between these representational types? On a standard view, the answer is assumed to lie in the presence or absence of a single property. I argue first that this assumption is undermotivated, and offer a particular two-property analysis, which can be used both to differentiate the various types and to understand (...) better what factors affect changes in classification. This in turn can also be used to capture a core idea of perspicuity, and to ground an argument for the general perspicuity of diagrams as a representational type. Finally, I suggest that two complementary and independently plausible theories bearing on the nature of diagrammatic representation can be located within the suggested two-property approach. (shrink)

Laws of nature are merely expressions of the powers possessed by various kinds of things, and counterfactual conditionals are grounded in the powers and tendencies of the entities involved in the counterfactual supposition together with their counterfactual surroundings. There are two versions of Strong Powerism. One takes the truthmakers for causal laws to be universals (a 'Realist' version). The second takes the truthmakers for causal laws to be the particulars that fall under the laws (a 'Nominalist' version). This chapter focuses (...) on how Powerism compares to other views about the laws. Neo‐Humeism has the leanest metaphysical theory, since its class of fundamental truths includes no conditionals, laws of nature or attributions of power. Metaphysically, Nomism is burdened with a large number of brute necessities, linking laws with actual patterns of particular fact. The chapter talks about the causal theory of properties: causal structuralism. (shrink)

What is structural rationality? Specifically, what is the distinctive feature of structural requirements of rationality? Some philosophers have argued, roughly, that the distinctive feature of structural requirements is coherence. But what does coherence mean, exactly? Or, at least, what do structuralists about rationality have in mind when they claim that structural rationality is coherence? This issue matters for making progress in various active debates concerning rationality. In this paper, I analyze three strategies for figuring out what coherence means in the (...) debates on structural rationality. I argue that these strategies face problems. (shrink)

The scientific realist wants to read the metaphysical picture of reality through our best fundamental physical theories. The traditional way of doing so is in terms of objects, properties, and laws of nature. For instance, there are families of fundamental particles individuated by their properties of mass and charge, which determine how they move around. One could call this view an object-oriented metaphysics grounded on properties. In this paper, I wish to present an alternative view that one (...) can dub a thin object oriented metaphysics grounded on structure: there are fundamental entities with no fundamental properties other than the one(s) needed to specify their nature. I argue that my view has several advantages over the received one. In particular, I compare my proposal to the traditional view in the quantum domain and I argue that my view provides a better fit for both approaches to quantum metaphysics, namely the primitive ontology programme and wave-function realism. (shrink)

Insofar as the material residues of interest to archaeologists are cultural and, as such, have specifically symbolic significance, it is argued that archaeology must employ some form of structuralist analysis (i.e. as specifically concerned with this aspect of the material). Wylie examines the prevalent notion that such analysis is inevitably 'unscientific' because it deals with a dimension of material culture which is inaccessible of any direct, empirical investigation, and argues that this rests on an entrenched misconception of science; it assumes (...) that scientific enquiry must be restricted to observables. It is clear, as realist critics of this view have argued, that scientific (explanatory) understanding depends fundamentally on theoretical extensions beyond observables; extensions which bring into view underlying and inaccessible causal structures or mechanisms responsible for the mani- fest phenomena through a procedure of analogical model construc- tion. In consideration of realist models of these procedures and of the potential of linguistic modes of analysis for archaeology, it is pro- posed that archaeologists might (and, in fact, often do) effectively grasp the symbolic, structural order of surviving material culture through analysis governed by a rigorous and controlled use of ethno- graphic analogy. It is claimed, moreover, that the archaeological record can provide empirical bases for evaluating these theoretical constructs if a procedure of recursive and systematic testing is adopted in research, but the standard hypothetico-deductive model is seriously flawed as an account of an ideal for this procedure. Glassie's analysis of Middle Virginian folk housing is an example of research along these lines which illustrates the potential for a rigorous structuralist alternative. (shrink)

The view that the fundamental kind properties are intrinsic properties enjoys reflexive endorsement by most metaphysicians of science. But ontic structural realists deny that there are any fundamental intrinsic properties at all. Given that structuralists distrust intuition as a guide to truth, and given that we currently lack a fundamental physical theory that we could consult instead to order settle the issue, it might seem as if there is simply nowhere for this debate to go at present. (...) However, I will argue that there exists an as-yet untapped resource for arguing for ontic structuralism – namely, the way that fundamentality is conceptualized in our most fundamental physical frameworks. By arguing that physical objects must be subject to the ‘Goldilock's principle’ if they are to count as fundamental at all, I argue that we can no longer view the majority of properties defining them as intrinsic. As such, ontic structural realism can be regarded as the most promising metaphysics for fundamental physics, and that this is so even though we do not yet claim to know precisely what that fundamental physics is. (shrink)

In this paper we suggest the use of ontological structures as an appropriate tool for describing the foundations of reality. Every vertex of this structure, representing a fundamental entity in the universe, is completely and solely characterized by its connections to the other vertices in the structure. The edges of this structure are binary compounds of the FEs, and are identified with the elementary particles. The combinations including more than 2 connected vertices correspond to composite particles. The principles according to (...) which the OSs are designed Philosophy of the natural sciences, VHP Tempsky, Vienna, 1989; Shoshani in Phys Essays 4:566–576, 1991; Shoshani in Phys Essays 11:512–520, 1998) are discussed in Sect. 2, and the simplest OSs having the minimal number of vertices, and thus represent the simplest universe, are given in Sect. 3. This section also describes an OS that includes an infinite number of vertices that might represent the space–time points. This structure imparts a new meaning to space–time, detached from their intuitive grasp :285–292, 2010). Section 4 is devoted to show how to ascribe intrinsic properties to the fundamental entities by using their inter-connections in the OS. The predictive power and explanatory capacity of this theory, named Apriorics :126–130, 2014) are briefly described in Sects. 3 and 4. (shrink)

Summary Landscape planning lacked an evidence-based method for the reflection of planning models on the imaginary level in order to present the image content and the relationships in the image as the basis for interpretation in a verifiable manner. The contribution is based on the thesis that the perceptual analysis according to Rudolf Arnheim can be translated into landscape planning. The case study, here an illustration with two plan sketches for urban and landscape development, is described and interpreted with the (...) Gestalt theoretical perceptual analysis according to the criteria theme, theses, principle sketches and composition lines, interpretation, conclusion and Gestalt theoretical results. The analysed planning sketches have a low “reality level” and are part of the imaginary level. The theory of science contained therein can be understood by Gestalt theory as elementary theory of design. In the sketches, the living spaces and economic areas of the city are divided into the elements ‘settlement’ and ‘landscape’ and thereby undergo a revaluation of their significance. The replacement of figure (city) and ground (landscape) can be interpreted in terms of gestalt theory as a change of theme in the sketches as the greatest possible structural exchange. The results of the analysis are processed as research theses in the contextualisation of landscape planning and thus examined scientifically on the basis of circumstantial evidence against the reality of the living environments of the urban dwellers. The contribution proves that the perceptual analysis according to R. Arnheim is a suitable method in landscape planning for describing and interpreting graphic representations of planning models. Interdisciplinary cooperation is a contribution to the holistic treatment of a topic, because structuralist landscape planning has structural similarities with Gestalt theory and is committed to the dialogical principle. As a theory of organisation (development), Gestalt theory derives principles, structures, their relationships and qualities and is therefore suitable as a meta-theory of landscape planning to characterise the values and ethical bases in planning. This applies to all areas of the field of consciousness in landscape planning. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called (...) ‘quiddities’. Here I grant that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

This paper argues that social trust is the emergent product of a complex system of property relations, backed up by a sub-system of mutual monitoring. This happens in a context similar to Ostrom’s commons, where cooperation is necessary for the management of resources, in the absence of external authorities to enforce sanctions. I show that social trust emerges in this context because of an institutional structure that enables individuals to develop a generalized disposition to internalize the external effects of their (...) actions. This is made possible by the “patrimonial” nature of this structure. (shrink)

This paper presents a nine step argument for “Connectionist Structuralism” (CS), a physical nominalist position that takes seriously the non-physical phenomenology of abstract objects. CS provides an ontology of sensible properties as a subtype of abstract objects, e.g. “is red” or “is a rectangle”. CS proposes that each sensible property a person draws on corresponds to a subset of their brain structure with functionality isomorphic to a suitable connectionist network. While a common assumption in parts of the artificial (...) intelligence literature, such discussions have not developed formal accounts nor engaged with metaphysical issues that potentially undermine it. Using evidence from cognitive neuroscience, machine learning, and evolutionary biology, as well as a fully worked toy example, we describe how CS can support our core cognitive uses of sensible properties and account for our core phenomenal experiences of them. Six phenomenal features are accounted for—feeling intangible, non-located, transparent, and unchanging, along with raw sensation and ante rem phenomenologies—with potential future accounts for further phenomena such as synaesthesia, semantic clarity, and sensory overload. A response is provided to three common objections to nominalist positions that similarly reject intangible, universal benchmarks for sensible properties: referential opacity; identity of indiscernibles; and infinite regression. CS leads to a four-layer hierarchy of similarity for whether your “red” is the same as mine, arguing they are likely non-identical but can be made close enough for practical purposes. Finally, we describe future work to elaborate CS as a metaphysical project and test it through empirical research. (shrink)

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate (...) compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropie quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of 'conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category. (shrink)

In some sense, both ontological and epistemological problems related to individuation have been the focal issues in the philosophy of mathematics ever since Frege. However, such an interest becomes manifest in the rise of structuralism as one of the most promising positions in recent philosophy of mathematics. The most recent controversy between Keränen and Shapiro seems to be the culmination of this phenomenon. Rather than taking sides, in this paper, I propose to critically examine some common assumptions shared by (...) both parties. In particular, I shall focus on their assumptions on haecceity as an individual essence, haecceity as a property, the classification of properties, and thereby the search for the principle of individuation in terms of properties. I shall argue that all these assumptions are mistaken and ungrounded from Scotus’ point of view. Further, I will fathom what consequences would follow, if we reject each of these assumptions. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of (...) yet, undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

Graphical AbstractThe antioxidant hypothesis proposes that the blue-green pigment found in many birds’ eggs provides a direct benefit to the developing embryo through its antioxidant-like properties. Such protection is feasible if the pigment transfers to the eggshell membrane or inside the egg. This newly proposed hypothesis provides a range of intriguing possibilities for future tests.

In this paper, I propose the idea that the French mathematician Michel Chasles developed a foundational programme for geometry in the period 1827–1837. The basic concept behind the programme was to show that projective geometry is the foundation of the whole of geometry. In particular, the metric properties can be reduced to specific graphic properties. In the attempt to prove the validity of his conception, Chasles made fundamental contributions to the theory of polarity and also understood that a (...) satisfactory development of projective geometry has to overcome the specificity of that theory itself. In this perspective, he developed his ideas on duality and homography, showing their dependence on the concept that he was going to pose at the basis of geometry: the anharmonic ratio, today called cross-ratio. The conceptual itinerary that starts from Chasles’ studies on polarity and ends with his results based on the cross-ratio represents the itinerary of his foundational programme. I will follow this complex and interesting line of thought, place it in the context of what was then called descriptive geometry, and outline a connection with the later great results of Von Staudt, Cayley, and Klein. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Radical Change Theory and Synergistic Reading for Digital Age YouthEliza T. Dresang (bio) and Bowie Kotrla (bio)Books with digital age characteristics... stimulate curiosity and foster community.—Elizabeth Lennox Keyser, 1999Today’s students think and process information fundamentally differently from their predecessors.—Marc Prensky, 2001PrologueOne of our favorite books is McGillis’s The Nimble Reader: Literary Criticism and Children’s Literature.1 McGillis applies various literary theories—among them the New Criticism, structuralism, feminism, and postmodernism—to (...) much-loved, time-honored books such as E. B. White’s Charlotte’s Web (1952), in each case coming up with a fresh interpretation of a well-known text. The Nimble Reader makes the point that the meaning of any object, experience, or creative endeavor can be evasive and changes according to the lens through which it is viewed. Theory uncovers, illuminates, reveals, explains, predicts, and adds value and dimensions to what otherwise might have been overlooked. [End Page 92]That is what we hope Radical Change Theory does—we hope that it stimulates thinking, brings new perspectives, and adds value to what is already recognized as an immense treasure: the body of children’s literature and the young (and old) readers who love and appreciate it. As an addition to the assortment of approaches McGillis covered, we anticipate that Radical Change Theory is a way to see the mosaic of contemporary children’s literature in a new light, to examine and explain some parts of it that may have gone unnoticed. We offer it as a way to think about contemporary youth in relation to their literature, and we suggest applying Radical Change Theory in retrospect in order to highlight and appreciate “radical” authors and illustrators of the past who wrote for “radical readers” in their times. Radical Change Theory is only one perspective among many, and we realize that the phenomena it addresses could be explained or augmented in other ways, as McGillis demonstrated.IntroductionThe 2008 Caldecott Award for the most outstanding picture book for children published in the United States in the previous year was presented to Brian Selznick, author and illustrator of The Invention of Hugo Cabret, which is hundreds of pages longer than an ordinary picture book.2 Approximately 300 of its 533 pages are wordless black and white sketches that tell the story—not illustrating the text but replacing it. Hugo Cabret is a twelve-year-old boy living in the walls of a Paris train station in 1931; he becomes involved in a mystery adventure with the pioneer silent film maker George Méliès, a fitting element for a largely visual book. Selznick notes that he thinks of the book as somewhere between a graphic novel, a picture book, and a film.3 Each sequence of drawings can itself become a miniature silent move if the reader employs a flipbook technique. Hugo Cabret offers a highly interactive reading experience with vivid visual appeal, intertextuality, and multiple layers of meaning. It also provides a dramatic departure from the typical picture-book tradition and joins a number of other radically changed books that have special appeal for digital age youth.While it was perfectly clear to almost everyone during the 1990s that technology was changing, almost no one acknowledged the concomitant change in a sizeable and growing cadre of handheld books for youth. Some of those who did notice expressed puzzlement and regret at the break from a more traditional form and format; others expressed curiosity. Some others sought explanations.4 One purpose of this essay is to provide one explanation for the nature and character of these “changed” books and to demonstrate that they are somewhat different from but firmly rooted in more traditional children’s literature.But not only are books changing—at least some young readers are as well. In the 1990s, as youth who were born in the late 1970s began to mature, [End Page 93] we, along with some other educators and scholars, noted what seemed to be a change from previous generations in how many youth approached thinking, learning, creating, and engaging with media, including reading handheld books. Various terms, including the net generation, digital natives... (shrink)

The focus of the paper is the comparison between the two composite aluminum panels, respectively Alpolic and Durabond. The paper is going to explore their reaction when interacting with Tirana`s climatological factors and their tension strength through an experiment, in order to find out which panel displays the best performance. The construction urge is constantly evolving, especially in Tirana mostly because it is the main industrial and economical district of Albania. It is distinguished that innovative technology is being used in (...) facades of the new buildings. One of the features that finds massive use in façade coating in the city is the application of ventilated facades equipped with external aluminum composite panels. This paper is going to deal with two buildings with different typologies of external coating, including the different types of aluminum panels. The analysis will focus on identifying each panel property such as tension strength; their respond to various external factors; their thermal conductivity; and their manufacturing companies which have been selected and produced. Within this paper graphics displays of the records will be included, offering concentrated information and a high level of reliability for both aluminum composite panels. (shrink)