. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. (...) A generalization of the square of opposition is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point.

We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a by-product isolate a distinct directive of being inviolable which deserves attention; a second central purpose is to show that we may extend our construction to isolate hypercubes of opposition of any finite cardinality when given enough independent modalities. The cube of opposition for obligations was first introduced publically in (...) a lecture for the Square of Opposition Conference in the Vatican in May 2014. -/- A COLORFUL ERRATUM: The article Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability, suffered a couple of mishaps when it was published in Logica Universalis, ISSN 1661-8297, 10(2-3), p. 373–376. The worst of them was that the colorful cube was printed in shades of grey, instead of decorating the sides with two transparent sides, and then a red, a yellow, a blue and a green side. The text of the article is not quite understandable because of this mishap, so I avail a colorfully updated version of the original article here. -/- . (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of (...) these expressions. I will conclude with some consideration on scope interactions between quantifiers. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and (...) unique pattern of oppositions that proceeds with colored diagrams and an increasing set of bitstrings. (shrink)

What determines whether an object is an artwork? In this paper I consider what I will call ‘social’ theories of art, according to which the arthood of objects depends in some way on the art-related social practices that we have. Though such a dependence claim is plausible in principle, social theories of art tend to unpack the determining link between artworks and social practices in terms of intentional relations between the objects in question and the people involved in the relevant (...) practices. This intentionalism has unappealing upshots. Drawing on two-dimensional approaches in social ontology, I show how social theories of art can be done differently, improving their prospects. (shrink)

The heart of Aristotelian Logic is the square of opposition. This study engaged on further [re]investigation and meta-logical analysis of the validity of the square of opposition. Further, in this paper, it has been modestly established, with greater clarity, the exposition of the strengths, more than the presentation of the defects, loopholes and weaknesses, of the Aristotelian Logic in a descriptive and speculative manner. The unconcealment of the breakdown of the square of opposition marked (...) a rupture and the opening of avenues of alternative reasoning. The critical and analytical exposition of the loopholes of the square of opposition led to a realization that things around us could have been and still be different; and there could have been better alternative reasoning than what we have called, adopted, and worshipped [Greek] logic. Results show that the downfall of the oppositional relationships in the square of opposition provided a proof of the logical illusion of Aristotle or the loophole of Traditional Logic. The laws of opposition, that have been considered the measures of logically deductive inferences, are practically almost totally logical deceptions. By implication, if the laws of subcontrariety, contrariety, and subalternation [and may be contradiction] have collapsed, the square of opposition has also collapsed; hence, Aristotle‟s square of opposition is a fallacy. This means that the square of opposition has errors and in itself an error. (shrink)

In this paper I put forward a representationalist theory of conscious experience based on Robert Stalnaker's version of two-dimensional modal semantics. According to this theory the phenomenal character of an experience correlates with a content equivalent to what Stalnaker calls the diagonal proposition. I show that the theory is closely related both to functionalist theories of consciousness and to higher-order representational theories. It is also more compatible with an anti-Cartesian view of the mind than standard representationalist theories.

Pablo Gilabert and Holly Lawford-Smith have, both in collaboration and individually, provided a compelling account of feasibility, which states that feasibility is both ‘binary’ and ‘scalar’, and both ‘synchronic’ and ‘diachronic’. This two-dimensional analysis, however, has been the subject of four major criticisms: it has been argued that it rests upon a false distinction between ‘hard’ and ‘soft’ constraints, that it ignores the importance of intentional action, and that diachronic feasibility is incoherent and insensitive to the existence of epistemic (...) limitations. In this paper, I will argue that such objections do not undermine the persuasiveness of Gilabert and Lawford-Smith’s analysis. Nevertheless, I will contend that the latter is susceptible to two other challenges. First, it mistakenly appeals to morality, and, second, it lacks an analysis of ability. I will maintain, however, that such criticisms can be addressed and that a revised version of the account should be adopted. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

Pablo Gilabert and Holly Lawford-Smith have, both in collaboration and individually, provided a compelling account of feasibility, which states that feasibility is both ‘binary’ and ‘scalar’, and both ‘synchronic’ and ‘diachronic’. This two-dimensional analysis, however, has been the subject of four major criticisms: it has been argued that it rests upon a false distinction between ‘hard’ and ‘soft’ constraints, that it ignores the importance of intentional action, and that diachronic feasibility is incoherent and insensitive to the existence of epistemic (...) limitations. In this paper, I will argue that such objections do not undermine the persuasiveness of Gilabert and Lawford-Smith’s analysis. Nevertheless, I will contend that the latter is susceptible to two other challenges. First, it mistakenly appeals to morality, and, second, it lacks an analysis of ability. I will maintain, however, that such criticisms can be addressed and that a revised version of the account should be adopted. (shrink)

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help (...) make explicit the restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds (...) of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

In virtue of what are we responsible for our beliefs? I argue that doxastic responsibility has a crucial social component: part of being responsible for our beliefs is being responsible to others. I suggest that this responsibility is a form of answerability with two distinct dimensions: an individual and an interpersonal dimension. While most views hold that the individual dimension is grounded in some form of control that we can exercise over our beliefs, I contend that we are answerable for (...) our beliefs as long as they reflect our evaluative commitments and dispositions, or are products of our reasoning, where this does not amount to a form of control. I next argue that answerability has a second, largely neglected dimension: the interpersonal dimension, which is grounded in what I call our relations of doxastic dependence. As social creatures, we depend on one another in our capacity as believers. We depend on one another as believers not only in epistemic ways, but also in practical ways, because our beliefs inform and motivate our actions, and allow us to participate in shared practical goals. Depending on one another in these ways is an unavoidable part of cooperating in the shared project of pursuing epistemic and practical success, and it makes us vulnerable to both epistemic and moral harm. It is because of this, I argue, that answerability has interpersonal normative force upon us: we are subject to legitimate expectations associated with participating in relations of doxastic dependence. (shrink)

I argue that a two-dimensional model of social objects is uniquely positioned to deliver explanations for some of the puzzling metaphysical features of words. I consider how a type-token model offers explanations for the metaphysical features of words, but I give reasons to find the model wanting. In its place, I employ an alternative model from social ontology to explain the puzzling data and questions that are generated from the metaphysical features of words. In the end I chart a (...) new path that foregrounds the agent-dependence and social conditions for word kinds. (shrink)

At this point in time the two-dimensional (2D) argument against physicalism is well known (Chalmers 2009; 2010), as are the many responses to it. However there has been a recent development that has yet to be widely discussed. Some philosophers have argued that we have equally compelling reasons to think that dualism is false based on the conceivability of mere physical duplicates which enjoy conscious experience in just the way we do (Martin 1998; Sturgeon 2000; Piccinini 2006; Frankish 2007; (...) Brown 2010; Balog MS). This argument has not yet been properly understood and in this paper I aim to correct the most common misunderstandings. (shrink)

A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous (...) interpretation of assertoric sentences in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, however, argues against the proof (...) in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)

This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their analysis. (...) The current study is motivated by the fact that no existing account captures both of these aspects of wishing. I develop a semantics for wish reports that makes available belief-relative readings but also allows decision-theoretic notions to play a role in shaping the truth conditions of these ascriptions. The general idea is that we can analyze wishing in terms of a two-dimensional notion of expected utility. (shrink)

The aim of this paper is to show that Priest's modal Meinongianism might benefit from joining forces with two-dimensionalism. For this purpose, I propose a two-dimensional solution to a problem for modal Meinongianism that is posed by Beall, Sauchelli, and Milne, and show that, by taking recourse to two-dimensionalism, divergent intuitions about the question of whether fictional characters might exist can be reconciled. Moreover, two-dimensionalism helps to rebut Kroon's argument to the conclusion that modal Meinongianism cannot rule out the (...) odd claim that some non-existent objects have existence-entailing properties at the actual world. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I (...) also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

This paper is divided into three sections. In the first section I briefly outline the background of the problem, i.e. Kripke’s modal argument (Kripke 1980). In the second section I present Chalmers’ account of two- dimensional semantics and two-dimensional argument against physicalism. In the third section I criticize Chalmers’ approach based on two crucial points, one is about necessity of identities and the other is about microphysi- cal descriptions and a priori derivation.

I want to differentiate between two very different ways of organizing pictorial elements at a very abstract level: -/- (2D) two-dimensionally: pictorial elements are organized and grouped according to their outline shape on the picture surface and (3D) three-dimensionally: pictorial elements are organized and grouped according to their position in the depicted space. -/- Suppose you need to depict seven identical spheres. On the most general level, there are two ways of doing this: you can arrange the seven spheres in (...) space and then choose a vantage point in this space from which you want to depict them. Or you can arrange seven circles (the outline shapes of the seven spheres) on the two-dimensional surface of the picture. The former method is an instance of three-dimensional pictorial organization, whereas the latter one is an instance of two-dimensional pictorial organization. (shrink)

Principles of chance deference face two kinds of problems. In the first place, they face difficulties with a priori knowable contingencies. In the second place, they face difficulties in cases where you've lost track of the time. I provide a principle of chance deference which handles these problem cases. This principle has a surprising consequence for Adam Elga's Sleeping Beauty Puzzle.

Philosophical views about the logical structure of time are typically divided between proponents of A and B theories, based on McTaggart's A and B series. Drawing on Paul Ricoeur's hermeneutic phenomenology, I develop and defend McTaggart's thesis that the C series and the A series working together give a consistent description of temporal experience, provided that the two series are treated as distinct dimensions internal to time. In the proposed two-dimensional model, the C series expresses a nesting order of (...) the constitutive states of a world, whereas ontological continuity and change are properties of the A series. This, I argue, allows for limited backward causation. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often (...) justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

The strings of physics’ string theory are the binary digits of 1 and 0 used in computers and electronics. The digits are constantly switching between their representations of the “on” and “off” states. This switching is usually referred to as a flow or current. Currents in the two 2-dimensional programs called Mobius loops are connected into a four-dimensional figure-8 Klein bottle by the infinitely-long irrational and transcendental numbers. Such an infinite connection translates - via bosons being ultimately composed (...) of 1’s and 0’s depicting pi, e, √2 etc.; and fermions being given mass by bosons interacting in matter particles’ “wave packets” – into an infinite number of 8-Kleins. Each Klein 1) is one of the universe’s subuniverses (our own is 13.7 billion years old), 2) is made flexible through its binary digits which seamlessly, or almost seamlessly, join it to surrounding subuniverses and eliminate its central hole, and 3) possesses warped time and space because its foundation is the programmed curves in its mathematical Mobius loops (along with the twists they generate [p.7]). The universe functions according to the rules of fractal geometry. So the Mobius does not exist only at the cosmic level. It also manifests at the quantum scale, giving us photons and protons etc. Space and time are no longer separate, but are an indivisible space-time. So if space and the universe are infinite, how can time not be eternal? The past and the future must both extend forever (the idea of time being finite arises from confusion of our subuniverse with the one infinite universe). -/- BITS (Binary digiTS) only suggest existence of the divine if time is linear. Although a non-supernatural God is proposed via the inverse-square law coupled with eternal quantum entanglement, Einstein taught us that time is warped. Warped time is nonlinear, making it at least possible that the BITS composing space-time and all particles originate from the computer science of humans. -/- I suspect many readers will be content with reading this abstract. While there are more details, and mathematics, in the content; my natural style of writing is to avoid jargon and maths. I also tend to get philosophical. While I personally feel that there’s a lot of precious information in the content, I realize it won’t all be to everyone’s liking. Other subjects dealt with in this article are - the “Pioneer anomaly”, refinement of gravitational physics, dark energy and dark matter, quantum phenomena like mass and electric charge and quantum spin, Kepler’s laws of planetary motion, deflection of starlight by the sun, tides, falling bodies, Earth’s orbit, ancient Greek philosophers, Newton, Kepler, Galileo, Aristotle, Parmenides, Zeno of Elea, time travel into the past as well as the future, the elimination of distances in space, humanity’s construction of this universe we live in, The Law of Conservation of Matter-Energy, and support for the science-fiction-like idea of the electronic binary digits of 1 and 0 being the building blocks of our universe. (shrink)

Quantum complementarity is interpreted in terms of duality and opposition. Any two conjugates are considered both as dual and opposite. Thus quantum mechanics introduces a mathematical model of them in an exact and experimental science. It is based on the complex Hilbert space, which coincides with the dual one. The two dual Hilbert spaces model both duality and opposition to resolve unifying the quantum and smooth motions. The model involves necessarily infinity even in any finitely dimensional subspace (...) of the complex Hilbert space being due to the complex basis. Furthermore, infinity is what unifies duality and opposition, universality and openness, completeness and incompleteness in it. The deduced core of quantum complementarity in terms of infinity, duality and opposition allows of resolving a series of various problems in different branches of philosophy: the common structure of incompleteness in Gödel’s (1931) theorems and Enstein, Podolsky, and Rosen’s argument (1935); infinity as both complete and incomplete; grounding and self-grounding, metaphor and representation between language and reality, choice and information, the totality and an observer, the basic idea of philosophical phenomenology. The main conclusion is: Quantum complementarity unifies duality and opposition in a consistent way underlying the physical world. (shrink)

Certain problems with standard two-dimensional semantics are addressed and cases in which these problems arise explored. In such cases the primary intension cannot be univocally mapped in one and only one indexical world, thus standard two-dimensional semantics cannot efficiently address the problems presented. Subsequently, a modified model is presented which leads these problems to be averted in the replicated cases. This modified model admits primary intensions that are not univocally mapped. The conclusion discusses the advantages and disadvantages of (...) the modified model and analyzes its possible consequences for the philosophy of mind. (shrink)

In somatic medicine, diagnostic terms often refer to the disease processes that are the causes of patients' symptoms. The language used in some clinical textbooks and health information resources suggests that this is also sometimes assumed to be the case with diagnoses in psychiatry. However, this seems to be in tension with the ways in which psychiatric diagnoses are defined in diagnostic manuals, according to which they refer solely to clusters of symptoms. This paper explores how theories of reference in (...) the philosophy of language can help to resolve this tension. After the evaluation of descriptive and causal theories of reference, I put forward a conceptual framework based on two-dimensional semantics that allows the causal analysis of diagnostic terms in psychiatry, while taking seriously their descriptive definitions in diagnostic manuals. While the framework is presented as a solution to a problem regarding the semantics of psychiatric diagnoses, it can also accommodate the analysis of diagnostic terms in other medical disciplines. (shrink)

In this paper, I will focus on the nature of the modernity from the perspective of a «logical» square. On the basis of its vectorial orientation, I will show the value of Guy Debord’s work, according to which, undeniably, there is a need to articulate two core issues of our time: «How does a multitude turn into a class?» (Benjamin’s question) and «How does the individual become a subject?» (Althusser’s question). It is precisely the nexus between these questions that (...) allows us to draw the line between the modernity and the postmodernity. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of (...) the types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, (...) this article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

This paper investigates the question whether we could have reason to believe that time is two-dimensional. I connect discussion of this question to discussion of the question whether we could have reason to believe that there has been a global time freeze.

According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, epistemic two-dimensionalism has (...) come under recent attack. It has been alleged that it is bound to attribute to speakers a priori identifying knowledge of the referents of correctly employed terms, and bound also to reject valid rules of inference such as exportation: P(a) → λx[P(x)](a) (see, e.g., Soames 2005. (shrink)

According to Greimas, the semiotic square is far more than a heuristic for semantic and literary analysis. It represents the generative “deep structure” of human culture and cognition which “define the fundamental mode of existence of an individual or of a society, and subsequently the conditions of existence of semiotic objects” (Greimas & Rastier 1968: 48). The potential truth of this hypothesis, much less the conditions and implications of taking it seriously (as a truth claim), have received little attention (...) in the literature. In response, this paper traces the history and development of the logical square of opposition from Aristotle to Greimas and beyond, to propose that the relations modelled in these diagrams are embodied relations rooted in gestalt memories of kinesthesia and proprioception from which we derive basic structural awareness of opposition and contrast such as verticality, bilaterality, transversality, markedness and analogy. To make this argument, the paper draws on findings in the phenomenology of movement (Sheets-Johnstone 2011a, 2011b, 2012, Pelkey 2014), recent developments in the analysis of logical opposition (Beziau & Payette 2008), recent scholarship in (post)Greimasian semiotics (Corso 2014, Broden 2000) and prescient insights from Greimas himself (esp. 1968, 1984). The argument of the paper is further supported through a visual and textual content analysis of a popular music video, both to highlight relationships between the semiotic square and mundane cultural ideologies and to show how these relationships might be traced to the marked symmetries of bodily movement. In addition to illustrating the enduring relevance of Greimasean thought, the paper further illustrates the neglected relevance that embodied chiasmus holds for developments in anthropology, linguistics and the other cognitive sciences. (shrink)

This chapter provides an interpretation of the early Heidegger’s underdeveloped conception of the undistinguishedness of everyday human existence in Being and Time. After explaining why certain translation choices of some key terms in this text are interpretively and philosophically important, I first provide a concise argument for why the social constitution interpretation of the relation between ownedness and unownedness makes better overall sense of Heidegger’s ambivalent attitude toward the social constitution of the human being than the standard existentialist interpretation of (...) this relation. I then proceed to the heart of this chapter, which develops his inchoate conception of the undistinguishedness of everydayness by arguing that it specifies the third distinctive mode of concrete human existence in addition to ownedness and unownedness. Accordingly, I show how unownedness is actually a generic phenomenon with two distinct species, namely, undistinguishedness and disownedness, which are at once closely related to, but also differ in significant respects from, each other. Consequently, instead of taking for granted a one-dimensional and mutually exclusive opposition between ‘authenticity’ and ‘inauthenticity’, I argue that we should adopt a two-dimensional and more nuanced understanding of the relations among undistinguishedness, disownedness, and ownedness that intersects with Heidegger’s underappreciated distinction between genuineness and ungenuineness. After raising and replying to some objections to this interpretation of undistinguishedness, I conclude this chapter by briefly sketching three of its philosophical consequences and pointing out its potential as an important resource for contemporary social theories. (shrink)

Recent trends in psychiatry involve a transition from categorical to dimensional frameworks, in which the boundary between health and pathology is understood as a difference in degree rather than as a difference in kind. A major tenet of dimensional approaches is that no qualitative distinction can be made between health and pathology. As a consequence, these approaches tend to characterize such a threshold as pragmatic or conventional in nature. However, dimensional approaches to psychopathology raise several epistemological and (...) ontological issues. First, we review major sources of evidence usually recruited in support of the dimensional trend (focusing on clinical observation and biological data), and we show that these are connected to different conceptualizations of how dimensional traits extend across health and pathology. Second, we criticize two unquestioned assumptions that stand at the core of the dimensional trend: a) that there is continuity from health to pathology at the symptomatic level; b) that such continuity reflects an underlying continuity in the genetic liability for pathological conditions. Third, we argue against the idea of a conventional threshold by showing that such a view implies a linear relationship between the genotype and the phenotype. Fourth, drawing on epigenetics and developmental biology, we offer a characterization of mental disorders as stable and dynamic constellations of multi-level variables that differ qualitatively from ‘healthy states’. We conclude by showing that our account has several theoretical advantages over both categorical and dimensional approaches. Notably, it provides crucial insights into psychological development over time and individual differences, with major implications in terms of intervention and clinical decision-making. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...) consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as functions of consciousness or as cognitive modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung’s simile of the spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an hexagon of opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

The eight jural relations defined by Wesley Hohfeld unite the many legal relationships that exist in American law. Together they are all part of a single structure, and this structure forms both a normal curve and a square of opposition. The two images express the process of legal analysis.

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

The Black woman has always been portrayed in clichéd images in the white media, stereotyping them in a racist and sexist manner. In Black Women Image Makers, Mary Helen Washington dwells upon such unfair portrayals as the tragic mulatto, the hot blooded exotic whore and the strong Black Mammy. And this is probably why the black mother frequently appears in literature as a figure of towering strength. In Zora Neale Hurston’s Their Eyes Were Watching God (1937), an old grandmother, a (...) former slave, accurately describes her position in this society: "De nigger woman is de mule uh de world so fur as Ah can see". The black mother is not a woman with power, not a liberated woman, but a mule, picking up the burdens that everyone else has thrown down and refused to carry. To outsiders, the Negro mother appears to be the one-dimensional Rock of Gibraltar – strong of back, long of arm, incapable of destruction. The proposed paper would study the black mothers as portrayed in Alice Walker’s novels, The Third Life of Grange Copeland and Meridian. To Walker, the Black mother is an individual – profound, tragic, mysterious, sacred, and unfathomable – strong in many, but not in all ways. She claims that the assertion of the black mother as a superwoman is a myth, and she feels that the black mother isn’t always strong. A black man does have a history of ignoring his responsibilities, but the black mother has had no choice in any matter; she has had to pick up the burdens that no one else would carry. In her fiction, Walker introduces the real-feeling, caring, uncaring, disappointed, indifferent black mother to the world. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

In his recent book, The Dimensions of Consequentialism, Martin Peterson puts forward a new version of consequentialism that he dubs ‘multidimensional consequentialism’. The defining thesis of the new theory is that there are irreducible moral aspects that jointly determine the deontic status of an act. In defending his particular version of multidimensional consequentialism, Peterson advocates the thesis—he calls it DEGREE—that if two or more moral aspects clash, the act under consideration is right to some non-extreme degree. This goes against the (...) orthodoxy according to which—Peterson calls this RESOLUTION—each act is always either entirely right or entirely wrong. The argument against RESOLUTION appeals to the existence of so-called deontic leaps: the idea is that endorsing RESOLUTION would not give each relevant moral aspect its due in the final analysis. Our paper argues that, contrary to Peterson, all moral aspects remain visible in what can properly be called the final analysis of a moral theory that involves RESOLUTION, moral aspects do not have to remain visible in judgements of all-things-considered rightness or wrongness, respectively, introduction of what Peterson calls verdictive reasons does not change the overall picture in favour of DEGREE. We conclude that multi-dimensional consequentialists should accept RESOLUTION rather than DEGREE. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, (...) we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)