A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...) provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case (...) of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

Many metaphysicians often appeal to Hume’s dictum (HD), according to which there are no necessary connections between distinct entities (or states of entities), in order to resist theories that commit us to such connections. Some have argued that HD is an unsupported dogma of metaphysics. But theories that commit us to necessary connections between distinct goings-on can also be resisted by invoking a normative twist on HD, which I call the Humean Solvent (HS): “Do not connect distinct entities (or (...) states of entities) beyond necessity”. HS is a principle of structural parsimony – assuming that a theory is structurally more parsimonious than another when the latter is committed to a more connected ontology than the former is. Just as Ockham’s ‘razor’ encourages us to cut down superfluous ontological commitments, the Humean ‘solvent’ encourages us to dissolve dispensable metaphysical glue: we ought not to glue elements of our ontology beyond necessity. HS has both a qualitative and a quantitative dimension: qualitatively, it encourages us to avoid using metaphysical glues that are unnecessarily strong, the strongest of which being metaphysically necessary connections; quantitatively, it encourages us not to metaphysically glue things that need no gluing. Thus, given HS, other things being equal, what is worst is a theory that entails that everything is metaphysically necessarily connected to anything else and what is best is a theory that leaves all things loose and separable. In this paper, I will first compare HD and HS as grounds for paradigmatic Humean doctrines in contemporary metaphysics, then I will argue that structural parsimony is neither a variety of ontological nor of ideological parsimony; finally, I will offer an argument for HS. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are (...) given. Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...) the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

Today a change is imperative in approaching global problems: what is needed is not arm-twisting and power politics, but searching for ways of co-evolution in the complex social and geopolitical systems of the world. The modern theory of self-organization of complex systems provides us with an understanding of the possible forms of coexistence of heterogeneous social and geopolitical structures at different stages of development regarding the different paths of their sustainable co-evolutionary development. The theory argues that the evolutionary channel (...) to the observed increasing complexity is extremely narrow and only certain discrete spectra of relatively stable self-maintained structures are feasible in complex systems. There exists a restricted set of ways of assembling a complex evolutionary whole from diverse parts. The law of nonlinear synthesis of complex structures reads: the integration of structures in more complex ones occurs due to the establishment of a common tempo of their evolution. On the basis of the theory, we can see not only desirable but also attainable futures. (shrink)

This study examined the degree to which students indulge in six prominent misconducts in Distance Education Institutions (DEIs). The study also quantified how class size, instructional delivery and institutional policies predict students’ indulgence in sharp practices using a general linear modelling approach. A sample of 871 participants was drawn from 1,742 final-year students across two DEIs in Nigeria. A structured questionnaire was used for data collection. The questionnaire had acceptable psychometric estimates of dimensionality, content and construct validity, as well as (...) reliability. Sharp practices such as cheating, plagiarism, falsification, impersonation, and arm-twisting were more prevalent in large classes, whereas only inducement was higher in small classes. Class size influenced students’ indulgence in sharp practices in DEIs. Instructional delivery and institutional policies negatively predicted students’ indulgence in the six sharp practices. Almost all the six sharp practices correlated positively and significantly, except for impersonation and inducement. Therefore, distance education students who cheat, plagiarize, arm-twist, falsify records, induce lecturers, and promote impersonation are more likely to indulge in other forms of sharp practices. It was concluded that large class sizes, poor instructional delivery, and poorly implemented institutional policies promote sharp practices among distance education students. Based on this conclusion, key policy and research implications are discussed. (shrink)

A descriptive role is suggested for uracil as a temporal divide in the immediate aspects of metabolism verses long term maintained genetic transmission. In particular, details of the mechanism of excision repair of uracil from DNA based on differential parameters of spatial distortion of the planar uracil molecule within the DNA helix verses RNA, when viewed in analogy to a proposed model for space involving the substitution of the act of mirroring for the element of time in processes and a (...) descending complexity of structure with time of evolution, suggest the possibility that negative selection against decreased lifetime is the singular motive force of natural selection. The geometry of the Mobius strip, as it has a plane of mirroring symmetry, a twist able to account for torque in nature, an inversion of inside and out seen in biological structures, and an endless surface that can be accommodated to an atemporal account of physical processes is employed in a holistic model to elaborate a negative selection opposing death as zero volume or the logical existence of physical constraint to volumes that is represented as the ubiquitous inability of witnessing objects of any type to witness simultaneously both a self reflection and the reflection of self reflection. A role for uracil and its’ physical structure, in a model in which both are evolved from the mirroring of events of the witnessing of energies, is elaborated in which temporal aspects such as those entailed in existing models of natural evolution are considered inappropriate in perspectives that are oriented positively towards a successful comprehension of processes; focus is placed instead upon the geometry and arrangement of physical spaces. (shrink)

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

Given that numerous critics have complained about Saw’s apparently confused sense of ethics, it is surprising that little attention has been paid to how morality operates in narrative itself. Coming from a Nietzschean perspective - specifically questioning whether the lead torturer Jigsaw is a passive or a radical nihilist - I seek to rectify that oversight. This philosophical reading of the series explores Jigsaw’s moral stance, which is complicated by his hypocrisy: I contend that this underpins critical complaints regarding the (...) films’ (and frequently the audience’s) "muddled" morality. My narrative analysis reveals that Jigsaw’s values are not as confused as they may first appear to be. Despite explicitly proclaiming that his quest is to save others, his actions reveal another story (and not only because his schema is homicidal). Following the loss of his unborn son and his failed suicide attempt, Jigsaw seeks to symbolically eradicate himself: the victims he selects reflect and reify his own obsessive personality traits. In keeping with the franchises’ narrative twists – which are designed to reverse initially "obvious" meanings – I argue that Jigsaw’s proclamations have misdirected critics. His nihilism may be manifested as coerced suffering and articulated as distaste with the world, yet the series’ symbolic target is Jigsaw himself. (shrink)

John N. Williams argued that Peter Klein's defeasibility theory of knowledge excludes the possibility of one knowing that one has (first-order) a posteriori knowledge. He does that by way of adding a new twist to an objection Klein himself answered more than forty years ago. In this paper I argue that Williams' objection misses its target because of this new twist.

Technology should be aligned with our values. We make the case that attempts to align emerging technologies with our values should reflect critically on these values. Critical thinking seems like a natural starting point for the critical assessment of our values. However, extant conceptualizations of critical thinking carve out no space for the critical scrutiny of values. We will argue that we need critical thinking that focuses on values instead of taking them as unexamined starting points. In order to play (...) a crucial role in helping to align values and technology, critical thinking needs to be modified and refocused on values. Here, we outline what value-centred critical thinking could look like. (shrink)

Sensations can occur in the absence of perception and yet be experienced ‘as if’ seen, heard, tasted, or otherwise perceived. Two concepts used to investigate types of these sensory-like mental phenomena (SLMP) are mental imagery and hallucinations. Mental imagery is used as a concept for investigating those SLMP that merely resemble perception in some way. Meanwhile, the concept of hallucinations is used to investigate those SLMP that are, in some sense, compellingly like perception. This may be a difference of degree. (...) Attempts to reliably differentiate between instances of each type of SLMP remain unresolved. Despite this, the concepts of mental imagery and hallucinations are each routinely used independently of the other. These uses are especially interesting in those published accounts of experiments where equivalent findings about the neuroanatomical correlates of SLMP are reported in support of diverging knowledge-claims about the role of SLMP in neurocognitive processes. This practice presents a puzzle. To examine one aspect of this puzzle, I compare the uses of these two scientific concepts in three ways: examining their roles in differentiating between types of SLMP; exploring how their respective historical developments intersect; and analysing their contributions in neuroimaging experiments. In presenting this series of comparative analyses, I will draw on three themes from historical, philosophical, and social studies of scientific practices: interest in material contributions to knowledge; accounts of how concepts are used in experiments; and explorations of the historical conditions within which current practices emerge. Building on this literature, my comparative analyses supports five related claims. My first claim is that the concepts of mental imagery and hallucinations are each used as independent tools in neuroimaging experiments. My second claim is that, as experimental tools, the concepts of mental imagery and hallucinations are each used for investigating discrete epistemic goals. My third claim is that there are implicit interdependent associations that structure the uses of these two concepts as tools for independently investigating these discrete epistemic goals in neuroimaging experiments. This third claim rests on my analyses of both past and present uses of each concept. Firstly, as seen in their intersecting histories, there are disciplined performances of using the concepts of mental imagery and hallucinations that carry-along shared associations about the mediating role of SLMP in thought. Secondly, these interdependent ‘mediator-view’ associations continue to structure the independent uses of each concept as a tool for investigating SLMP in pursuit of specific goals. Taking this further, my fourth claim is that recognising the structured uses of the concepts of mental imagery and hallucinations can help to account for how equivalent SLMP-neuro-correlates are generated in support of diverging knowledge-claims. Finally, my fifth claim is that the structured uses of these concepts as tools can contribute to experiments in ways analogous to, yet not equivalent with, the active contributions of material instruments. Bringing these claims together, I argue that the concepts of mental imagery and hallucinations operate as structured tools that can actively contribute to the knowledge generated by neuroimaging experiments. In presenting this argument I seek to demonstrate that examining the structured uses of concepts as tools can complement existing approaches to studying how the heterogeneous dynamics of experimental practices can come to contribute to scientific knowledge in unintended ways. (shrink)

Some Anglophone legal theorists look to analytic philosophy for core presuppositions. For example, the epistemological theories of Ludwig Wittgenstein and Willard Quine shape the theories of Dennis Patterson and Brian Leiter, respectively. These epistemologies are anti-foundational since they reject the kind of certain grounding that is exemplified in Cartesian philosophy. And, they are coherentist in that they seek to legitimate truth-claims by reference to entire linguistic systems. While these theories are insightful, the current context of information and communication technologies (ICT) (...) has created new informational concepts and issues. As a result, the analytic epistemologies are increasingly challenged by alternative perspectives. One such alternative is Structural Realism (SR), which is influential among the natural sciences, and especially physics. “Informational Structural Realism,” (ISR) is a variant of SR that was introduced by Luciano Floridi. Unlike the coherentist theories, ISR promotes examination of the connections among types of information and informational structures. It is an important shift for legal theory today, since the challenges that the ICT presents have to do with pattern recognition across vast domains of diverse data. An informational jurisprudence is now required to understand the issues emerging from the ICT. (shrink)

In contrast to individualistic explanations of social injustice that appeal to implicit attitudes, structural explanations are unintuitive: they appeal to entities that lack clear ontological status, and the explanatory mechanism is similarly unclear. This makes structural explanations unappealing. The present work proposes a structural explanation of one type of injustice that happens in conversations, discursive injustice. This proposal meets two goals. First, it satisfactorily accounts for the specific features of this particular kind of injustice; and second, it articulates a structural (...) explanation that overcomes their unattractiveness. The main idea is that discursive injustice is not the result of biased interlocutors, but of problematic discursive norms. (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 problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

Structural representations are increasingly popular in philosophy of cognitive science. A key virtue they seemingly boast is that of meeting Ramsey's job description challenge. For this reason, structural representations appear tailored to play a clear representational role within cognitive architectures. Here, however, I claim that structural representations do not meet the job description challenge. This is because even our most demanding account of their functional profile is satisfied by at least some receptors, which paradigmatically fail the job description challenge. Hence, (...) the functional profile typically associated with structural representations does not identify representational posits. After a brief introduction, I present, in the second section of the paper, the job description challenge. I clarify why receptors fail to meet it and highlight why, as a result, they should not be considered representations. In the third section I introduce what I take to be the most demanding account of structural representations at our disposal, namely Gładziejewski's account. Provided the necessary background, I turn from exposition to criticism. In the first half of the fourth section, I equate the functional profile of structural representations and receptors. To do so, I show that some receptors boast, as a matter of fact, all the functional features associated with structural representations. Since receptors function merely as causal mediators, I conclude structural representations are mere causal mediators too. In the second half of the fourth section I make this conclusion intuitive with a toy example. I then conclude the paper, anticipating some objections my argument invites. (shrink)

Models are being used extensively for practicing and understanding scientific, engineering and mathematical subjects, but are rarely used as art analyzing tools, particularly, in learning environments. Contrarily, using art to explain mathematical ideas is not unprecedented. Strogatz (1988), for example, built a model based on Romeo and Juliet’s love story and used it to explain the idea of differential mathematics, and system dynamics. Artwork, specially written and plastic classics, is a fixed form of art. We frame them and put them (...) in a gallery, or a book (digital or physical). We don’t try to “fix” them or optimize their functioning, we analyze them to find meaning, intention, and patterns. In this article, we aim to show how, by building models combined with simple mathematical representations and analogies, it is possible to understand literary texts, from the prism of system and complexity theories, which emphasize the dynamic, non-linear, and non-reductionist aspects of the observed. We’ll demonstrate how modeling processes of three cultural assets, allow active correspondence with the original textual art, by treating them as systemic objects with interactions and dynamics. They will be analyzed while raising questions about the significance of modeling as a cognitive learning process. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Corruption has assumed a new turn in 4th Republic Nigeria, particularly where non-human animals are alleged by human animals to deep their hands into the public tilt for their selfish non-human animal purposes. This is a clear case of hypocrisy on the part of human animals in that, at one instance we contend that non-human animals are inferior to human beings and at the other instance, we affirm though inadvertently that non-human animals are not inferior but equal since they have (...) the capacity to steal: we, therefore, are unable to steer ourselves out from the dilemma of our ambivalence to arrogate to ourselves a god-like status over non-human animals. We contend that this is another profound inhumane case of violation of non-human animals which is condemnable. We have suggested that the solution to this quagmire is first to admit that non-human animals have basic rights like human animals especially when we understand this notion of Rights going beyond its parochial conception. The method we have employed in showing moments of human's inhumanity to non-human animals is what has been conceived as Ibuanyidanda Philosophy according to which we aver that ihe di nwereisinaodu (anything that exists serves a missing link of reality). We have argued in favour of the thesis that the federal government should allow justice prevails against acts of theft by either civil or public servants. -/- . (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally (...) a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Alasia Nuti’s recent book Injustice and the Reproduction of History: Structural Inequalities, Gender and Redress puts forward a compelling vision of contemporary duties to redress past wrongdoing, grounded in the idea of “historical-structural-injustice”, constituted by the “structural reproduction of an unjust history over time and through changes”. Such an approach promises to transcend the familiar scholarly divide between “backward-looking” and “forward-looking” models, and allow for a reparative approach that focuses specifically on those past wrongs that impact the present, while retaining (...) a significant focus on the historical. While Nuti’s work is perhaps the most sophisticated treatment of structural injustice to date, this paper argues that an exclusive concentration on historical-structural-injustices neglects some aspects and some acts of wrongdoing that call out for present-day redress. What is needed, therefore, is a pluralist theory that can accept the pressing force in the present of historical-structural-injustices, whilst also making room for past-regarding duties that either do not fit, or are not best conceptualized in terms of, this approach, without being overwhelmed by the sheer scale of historic injustice. (shrink)

An exploration of ground’s connections to structure (joint-carving, naturalness). The notion of structure is often invoked in connection to ground, because grounding is understood to impose constraints on the ‘structure of reality’. There is another, technical sense of structure, sometimes captured with reference to the notion of ‘joint-carving’. Both of these senses of structure as well as their potential connections are discussed.

It is often argued that our obligations to address structural injustice are collective in character. But what exactly does it mean for ‘ordinary citizens’ to have collective obligations visà- vis large-scale injustice? In this paper, I propose to pay closer attention to the different kinds of collective action needed in addressing some of these structural injustices and the extent to which these are available to large, unorganised groups of people. I argue that large, dispersed and unorganised groups of people are (...) often in a position to perform distributive collective actions. As such, ordinary citizens can have massively shared obligations to address structural injustice through distributive action, but, ultimately, such obligations are ‘collective’ only in a fairly weak sense. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

The aim of this paper is to show that a comprehensive account of the role of representations in science should reconsider some neglected theses of the classical philosophy of science proposed in the first decades of the 20th century. More precisely, it is argued that the accounts of Helmholtz and Hertz may be taken as prototypes of representational accounts in which structure preservation plays an essential role. Following Reichenbach, structure-preserving representations provide a useful device for formulating an up-to-date version of (...) a (relativized) Kantian a priori. An essential feature of modern scientific representations is their mathematical character. That is, representations can be conceived as (partially) structure-preserving maps or functions. This observation suggests an interesting but neglected perspective on the history and philosophy of this concept, namely, that structure-preserving representations are closely related to a priori elements of scientific knowledge. Reichenbach’s early theory of a relativized constitutive but non-apodictic a priori component of scientific knowledge provides a further elaboration of Kantian aspects of scientific representation. To cope with the dynamic aspects of the evolution of scientific knowledge, Cassirer proposed a re-interpretation of the concept of representation that conceived of a particular representation as only one phase in a continuous process determined by pragmatic considerations. Pragmatic aspects of representations are further elaborated in the classical account of C.I. Lewis and the more modern of Hasok Chang. (shrink)

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...) structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer. (shrink)

There is good reason to believe that scientific realism requires a commitment to the objective modal structure of the physical world. Causality, equilibrium, laws of nature, and probability all feature prominently in scientific theory and explanation, and each one is a modal notion. If we are committed to the content of our best scientific theories, we must accept the modal nature of the physical world. But what does the scientific realist’s commitment to physical modality require? We consider whether scientific realism (...) is compatible with Humeanism about the laws of nature, and we conclude that it is not. We specifically identify three major problems for the best-systems account of lawhood: its central concept of strength cannot be formulated non-circularly, it cannot offer a satisfactory account of the laws of the special sciences, and it can offer no explanation of the success of inductive inference. In addition, Humeanism fails to be naturalistically motivated. For these reasons, we conclude that the scientific realist must embrace natural necessity. (shrink)

Structural requirements of rationality prohibit various things, like having inconsistent combinations of attitudes, having means-end incoherent combinations of attitudes, and so on. But what is the distinctive feature of structural requirements of rationality? And do we fall under an obligation to be structurally rational? These issues have been at the heart of significant debates over the past fifteen years. Some philosophers have recently argued that we can unify the structural requirements of rationality by analyzing what is constitutive of our attitudes (...) (Lee, 2020; Worsnip, 2018a). It has also been suggested that, in the course of good first-personal deliberation, agents should treat structurally irrational combinations of attitudes as off-limits (Worsnip, 2021). In this paper, I raise a worry for these two theses concerning structural rationality. Roughly, I argue that some imperfect epistemic agents (like us) can be disposed to have structurally irrational combinations of attitudes. Also, when these imperfect agents deliberate, they should not treat structurally irrational combinations of attitudes as off-limits. Given our imperfections, being structurally irrational can very well be the best option we have. More generally, these observations reveal that structural rationality should not always be theorized independently from more “substantive” norms, like responsiveness to reasons or expected value optimization. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

Theorising the interplay of structure and agency is the quintessential focus of sociological endeavour. This paper aims to be part of that continuing endeavour, arguing for a stratified social ontology, where structure and agency are held to be irreducible to each other and causally efficacious, yet necessarily interdependent. It thus aims not to be part of that on-going journey in search of the 'ontological holy grail'. Instead, it offers a way of linking structure and agency which enables the practical education (...) researcher concretely to examine their relative interplay over time. The methodological key to teasing out their relative interplay is held to be analytical dualism. It will be argued that such a methodological device is precluded by Giddens' structuration theory. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

We think of the world as consisting of objects, with properties and standing in relations. There are, to be sure, different views on what objects etc. there are, and on what their natures are. And some theorists want to subtract some elements from this picture. For example, the ontological nihilist says that there are no objects. But still, the view described is very much orthodoxy—so much orthodoxy that one may need to be reminded that the view that the world consists (...) of objects, with properties and standing in relations is, precisely, a view. I here investigate the possibility that this view is false: that there is what may be called alien structure. And I investigate the relationship between alien structure and some important themes from the history of analytic philosophy. (shrink)

Linguistic structures have recently started to attract attention from economists as determinants of economic phenomena. This paper provides the first comprehensive review of this nascent literature and its achievements so far. First, we explore the complex connections between language, culture, thought and behaviour. Then, we summarize the empirical evidence on the relationship between linguistic structures and economic and social outcomes. We follow up with a discussion of data, empirical design and identification. The paper concludes by discussing implications for (...) future research and policy. (shrink)

Fine, Lowe and Hale accept the view that necessity is to be explained by essences: Necessarily p iff, and because, there is some x whose essence ensures that p. Hale, however, believes that this strategy is not universally applicable; he argues that the necessity of essentialist truths cannot itself be explained by once again appealing to essentialist truths. As a consequence, Hale holds that there are basic necessities that cannot be explained. Thus, Hale style essentialism falls short of what Wilsch (...) calls the explanation-challenge (EC) for the metaphysics of necessity. Without endorsing the EC, I argue that Hale’s argument for basic, unexplained necessities fails due to a misunderstanding of the structure of essentialist explanations. Getting clear about the structure of essentialist explanations of necessity leads to a re-evaluation of crucial circularity- and regress-arguments that have been discussed in the debate about essentialism. (shrink)

Moral encroachment states that moral factors can make a difference to what we are epistemically justified in believing. I present two motivating cases that resemble a common example in the moral encroachment literature to show that the agent's commitments and beliefs, and not the moral factors of the situation, influence epistemic justification. I call this view Structural Encroachment.

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

This entry is composed of three sections. In §1, we survey debates about what structural rationality is, including the emergence of the concept in the contemporary literature, its key characteristics, its relationship to substantive rationality, its paradigm instances, and the questions of whether these instances are unified and, if so, how. In §2, we turn to the debate about structural requirements of rationality – including controversies about whether they are “wide-scope” or “narrow-scope”, synchronic or diachronic, and whether they govern processes (...) or states; as well as examining various forms of skepticism about structural requirements of rationality. In §3, we turn to the debate about the normative significance of structural rationality, surveying central challenges for the view that structural rationality is normatively significant and the theoretical options that arise in light of these challenges. (shrink)

I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type of human thought and (...) the underlying mechanisms in virtue of which this thought is made possible. (shrink)

Reflection on the historical injustice suffered by many formerly colonized groups has left us with a peculiar account of their claims to material objects. One important upshot of that account, relevant to present day justice, is that many people seem to think that members of indigenous groups have special claims to the use of particular external objects by virtue of their attachment to them. In the first part of this paper I argue against that attachment-based claim. In the second part (...) I suggest that, to provide a normatively defensible account of why sometimes agents who are attached to certain external objects might also have special claims over them, the most important consideration is whether the agents making such claims suffer from structural injustice in the present. In the third part I try to explain why structural injustice matters, in what way attachment-based claims relate to it and when they count. (shrink)

The aim of the study was to identify the organizational structure and its relation to the prevailing pattern of communication in the Palestinian universities. The researchers used the analytical descriptive method through a questionnaire randomly distributed among Palestinian university workers in the Gaza Strip. The study was conducted on a sample of (274) administrative staff from the three universities, and the response rate was (81.87%). The study found that there is a high satisfaction with the nature of the organizational structure (...) in the Palestinian universities from the point of view of the administrative staff, which reached 68.05%. And that there is a high level of communication pattern prevailing from the point of view of administrative staff, where the percentage (71.32%), there is a direct correlation between the nature of the organizational structure and the prevailing pattern of communication, the absence of differences between the sample according to the gender variable in their perception of the nature of the organizational structure and the prevailing pattern of communication, the absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication prevailing according to the variable age. There are differences of statistical significance in the perception of the nature of the organizational structure and the pattern of communication depending on the variable of scientific qualification in the organizational structure, and the pattern of communication. Differences were in favor of diploma holders compared to other practical qualifications. There is an absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable years of service. There is absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable level of career (Director, Head of Department, and Administrative Officer). There is absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable of the workplace. And the existence of differences in the perception of the employees of the nature of the organizational structure and pattern of communication depending on the university in which they work. And that there are statistically significant differences between the Islamic University and Al-Azhar University, the nature of the organizational structure and the pattern of communication in favor of the Islamic University. And that there are statistically significant differences between Al-Azhar University and Al-Aqsa University in the prevailing pattern of communication in favor of Al-Azhar University. The study reached a number of recommendations, the most important of which is that the departments of the Palestinian universities in the Gaza Strip in general, Al-Aqsa University and Al-Azhar Universities should be given greater attention to the prevailing organizational structure and the staff, the need to improve the pattern of communication prevalent in universities. Solving workers' problems and giving them the opportunity to contribute to solving their own problems. Strengthening the democratic leadership style and empowering university staff. (shrink)

A dynamical system is called chaotic if small changes to its initial conditions can create large changes in its behavior. By analogy, we call a dynamical system structurally chaotic if small changes to the equations describing the evolution of the system produce large changes in its behavior. Although there are many definitions of “chaos,” there are few mathematically precise candidate definitions of “structural chaos.” I propose a definition, and I explain two new theorems that show that a set of models (...) is structurally chaotic if it contains a chaotic function. I conclude by discussing the relationship between structural chaos and structural stability. (shrink)