. 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)

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.

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 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)

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)

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)

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)

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)

We develop some of Williamson’s ideas regarding how propositional calculus aids in comprehending Aristotelian logic. Specifically, we enhance the utilisation of truth tables to examine the structure of opposition diagrams. Using ‘conditioned truth tables’, we establish logical dependency relationships between the truth values of different propositions. This approach proves effective in interpreting various texts of the Organon concerning the doctrine of opposition.

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)

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.

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

In a previous issue of Philosophia Christi, Kirk MacGregor responded to an essay of mine in which I argued for a neo-Molinist account of open theism. The argument demonstrated how, given standard counterfactual semantics, one could derive an “open future square of opposition,” that is, a depiction of the logical relations that hold between future-tense statements from an open theistic standpoint. Conceding the validity of the argument, MacGregor nevertheless sought to deny its soundness by criticizing both its conclusion (...) and the Stalnaker-Lewis semantics on which the argument was based. In this paper, I argue that MacGregor’s reasons for rejecting the open future square, as well as his Molinist alternative to the Stalnaker-Lewis semantics, are uncompelling. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (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)

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)

A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by means of (...) a non-Fregean semantics that redefines the logical values of various sorts of sentences. A num- ber of topics are then addressed in the light of this algebraic semantics, namely: how to construct value-functional operators for any logical opposition, beyond the classical case of contradiction; Blanché's "closure problem", i.e., how to find a complete structure connecting the sixteen binary sentences with one another. All of this is meant to devise an abstract theory of opposition: it encompasses the relation of consequence as subalternation, while relying upon the use of a primary "proto- negation" that turns any relatum into an opposite. This results in sentential negations that proceed as intensional operators, while negation is broadly viewed as a difference-forming operator without special constraints on it. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small (...) extension, called SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal (...) logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

Aristotle‘s categories are presented as a system relying on logic and syntax instead of on meanings. His square of oppositions is found to be of crucial importance.

Esta nota mostra como reduzir o quadrado bidimensional de oposições ao segmento de oposições (uma dimensão) e ao ponto de oposições (objeto sem dimensão).

Un paralogisme semble commis dans la démonstration par Aristote du principe psychologique de non-contradiction : à partir d’un principe performatif d’assertion (dire quelque chose, c’est le croire), une approche moderne nous incline à prétendre qu’Aristote présuppose une transparence référentielle des contextes opaques de croyance afin de corréler les versions psychologique et logique. Nous tenterons de restituer la preuve du principe (I). Au moyen de la formalisation moderne, nous appliquerons cette explication à quelques paradoxes (II). Nous en conclurons la nature de (...) la non-contradiction (III), avant de proposer une "dissolution" syntaxique du problème d'opacité des contextes d'attitudes propositionnelles. Cette dissolution exprimera un certain scepticisme face aux approches formelles de l'intentionnalité. (shrink)

Die kumulative Habilitation besteht aus einer philosophiegeschichtlichen Arbeit (G), drei vorwiegend theoretischen Arbeiten (T1–T3) und vier anwendungsorientierten Arbeiten (A1–A4).

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.

We show that true colors as defined by Chevreul (1839) produce unsuspected simultaneous brightness induction effects on their immediate grey backgrounds when these are placed on a darker (black) general background surrounding two spatially separated configurations. Assimilation and apparent contrast may occur in one and the same stimulus display. We examined the possible link between these effects and the perceived depth of the color patterns which induce them as a function of their luminance contrast. Patterns of square-shaped inducers of (...) a single color (red, green, blue, yellow, or grey) were placed on background fields of a lighter and a darker grey, presented on a darker screen. Inducers were always darker on one side of the display and brighter on the other in a given trial. The intensity of the grey backgrounds varied between trials only. This permitted generating four inducer luminance contrasts, presented in random order, for each color. Background fields were either spatially separated or consisted of a single grey field on the black screen. Experiments were run under three environmental conditions: dark-adaptation, daylight, and rod-saturation after exposure to bright light. In a first task, we measured probabilities of contrast, assimilation, and no effect in a three-alternative forced-choice procedure (background appears brighter on the ‘left’, on the ‘right’ or the ‘same’). Visual adaptation and inducer contrast had no significant influence on the induction effects produced by colored inducers. Achromatic inducers produced significantly stronger contrast effects after dark-adaptation, and significantly stronger assimilation in daylight conditions. Grouping two backgrounds into a single one was found to significantly decrease probabilities of apparent contrast. Under the same conditions, we measured probabilities of the inducers to be perceived as nearer to the observer inducers. These, as predicted by Chevreul’s law of contrast, were determined by the luminance contrast of the inducers only, with significantly higher probabilities of brighter inducers to be seen as nearer, and a marked asymmetry between effects produced by inducers of opposite sign. Implications of these findings for theories which attempt to link simultaneous induction effects to the relative depth of object surfaces in the visual field are discussed. (shrink)

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...) import of quantifiers. (shrink)

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

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)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

A disregard for human traditions, the brutality of predation, sacrifice, and sexual desire are ingrained in languages across cultures. This paper concerns a key linguistic feature reflecting this predicament: utterances that encapsulate their opposite and effectuate a U-turn in meaning. This mode of communication stands out as a representation of the friction between incommensurable worlds—conceived together. An enemy’s perspective or an unpalatable reality finds a host within language. I embark upon a multidisciplinary search for examples of such utterances and present (...) an assemblage of five pertinent images. Each of these makes a distinct conceptual contribution. Vigilance and an awareness of other points of view underpin most of the utterances under study, which I propose to call “sharp communication” at the intersection of opposing perspectives. (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)

Determinismus und Indeterminismus in der modernen Physik is one of Cassirer’s least known and studied works, despite his own assessment as “one of his most important achievements”. A prominent theme locates quantum mechanics as a yet further step of the tendency within physical theory towards the purely functional theory of the concept and functional characterization of objectivity. In this respect DI can be considered an “update”, like the earlier monograph Zur Einsteinschen Relativitätstheorie: Erkenntnistheoretische Betrachtungen, to Substanzbegriff und Funktionsbegriff, a seminal (...) work considering only classical and pre-relativistic physics. But how does DI cohere with the three volumes of The Philosophy of Symbolic Forms providing a systematic survey of symbolic meanings in diverse aspects of culture, each with its own mode of “objectification” via self-created signs and images? Cassirer’s “phenomenology of cognition” via distinct types of symbolic form locates Dirac’s Principles of Quantum Mechanics as an exemplar within physical theory of purely symbolic thought, a realm of pure relations and their correlated meanings. In particular, Dirac’s characterization of the new notion of “physical state” in quantum mechanics by a “symbolic algebra of observables” severed from particular representations points to a limiting pole of the Bedeutungsfunktion, the third and highest mode of symbolic formation. (shrink)

We propose in this article some new elements for the interpretation of Heraclitus' doctrine, concerning in particular the role of the opposition of contraries as generator of harmony, that results from Fragments 8DK and 51DK. This interpretation is based on the conceptual tool of matrices of concepts. After having described the basic elements that govern the latter, we set out to define in this conceptual framework the notions of opposition and contrary, as well as of harmony. This allows (...) us to give an interpretation and also a justification of Heraclitus' specific doctrine, according to which the opposition of opposites generates harmony. (shrink)

Axel Honneth reconstructs Hegel’s social and political philosophy on the basis of the concept of recognition. For Honneth, recognition is a constitutive relation between individuals that is in principle symmetrical. By conceiving recognition through symmetry, Honneth effectively bans the inclusion of power within recognitive relation. He thus regards the relations of power as cases of non-recognition or misrecognition. In this paper, I develop an alternative theory of the constitutive relation between individuals for Hegel, one that is based on the asymmetrical (...) relation of power. To this aim, I focus on the chapter of “determinations of reflection” in the Science of Logic. Through a close analysis of Hegel’s Logic, I argue that the most fundamental form of relation between individuals is the relation of opposition, that individuals are solely constituted in and through the relation of opposition, and that the relation of opposition is essentially asymmetrical. Together, these claims establish... (shrink)

Review of “The Mad Square: Modernity in German Art 1910-37”, National Gallery of Victoria, Melbourne, Australia, November 25, 2011-March 4, 2012. A version of this essay appeared in the Appendices of Gavin Keeney, Not-I/Thou: The Other Subject of Art and Architecture (CSP, 2014), pp. 153-57.

Saba Mahmood’s anthropological work studies the gain in skills, agency and capacity building by the women’s dawa movement in Egypt. These women increase their virtue toward the goal of piety by following dominant, often patriarchal norms. Mahmood argues that “teleological feminism” ignores this gain in agency because this kind of feminism only focuses on opposition or resistance to these norms. In this paper I defend Mahmood’s “anti-teleological” feminist work from criticisms that her project valorizes oppression and has no vision (...) for a nonoppressive feminist future. I argue the future envisioned by teleological feminists gets caught in “the Hegelian” trap of replicating past oppression in their feminist future. I find in Mahmood’s work the tools to escape this trap. I argue, rather than a movement of overcoming oppression, Mahmood’s work suggests an immanent and creative movement that emphasizes difference for a truly new future. I turn to a Bergsonian metaphor and argue that this movement can be seen as akin to the movement of biological evolution. I conclude using the work of Eve Sedgwick that the Egyptian women that Mahmood studies are being read in a “paranoid” fashion and demonstrate using Leila Ahmed a better “reparative” reading of these women. (shrink)

This paper aims to analyze the square beyond an architectural element in the city, but weaves this blank slate, with its contemporary socio political atmosphere as a new paradigm. As a result, this research investigates the historical, social and political concept of Meydan – a term which has mostly applied for the Iranian and Islamic public squares. This interpretation, suggested the idea of Meydan as the core of the projects in the city, which historically exposed in formalization of power (...) relations and religious ideologies. In this sense, studying the spatial transformation of Iranian public squares introduces the framework, which is adaptable to contemporary urban context. (shrink)

The 1960s and 1970s in Britain was a time of revolution in attitudes towards sex, especially in the public education system. The campaign to see sex education established as a subject in primary and secondary schools was gaining traction despite fierce opponents like Mary Whitehouse. This article focuses on the story of a traditionalist Catholic couple named Mr Derrick Taylor and Mrs Irene Taylor who set up a campaign to defend their children against what they saw as the encroachment of (...) immorality, promiscuity and pornography. Mrs Taylor worked to spread the message that sex education was wrong by building a network of mothers who shared her views while Mr Taylor defended in court his decision to remove his children from school altogether. This article gives an account of the lengths Mr and Mrs Taylor went to in order to try to stop sex education and describes the impacts this campaign had on their children. (shrink)

In Squaring the Circle in Descartes’ Meditations, Stephen Wagner aims to show that Descartes’ project in the Meditations is best understood as a ‘strong validation of reason’ i.e., as proving in a non-circular way that human reason is a reliable, truth-conducive faculty. For such an enterprise to qualify as a ‘strong’ validation, Wagner contends, skeptical doubt must be given its strongest force. The most stringent doubt available in the Meditations is the deceiving God. To rule out the possibility that an (...) omnipotent God created humans so that their best functioning cognitive faculties provide misleading information about what the world is like, Descartes must prove that a non-deceiving God exists. Furthermore, only a non-circular proof will count as a ‘validation.’ Wagner spells out the requirements of non-circularity as involving a proof for God’s existence that is not deductive, does not simply achieve a clear and distinct perception of God’s existence, and proceeds on the basis of perceptions that remain true even when the reasons underlying them are not attended to any longer by the meditator. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution (...) and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

I present an argument Marilyn Strathern makes against characterizing Elmdon villagers as innately lazy. It looks as if the eventual direction of this material is going to be a rational actor model.

Light increment thresholds were measured on either side of one of the illusory contours of a white-on-black Kanizsa square and on the illusory contour itself. The data show that thresholds are elevated when measured on either side of the illusory border. These elevations diminish with increasing distance of the target spot from the white elements which induce the illusory figure. The most striking result, however, is that threshold elevations are considerably lower or even absent when the target is located (...) on the illusory contour itself. At an equivalent position in a control figure where no illusory contour is visible, such a threshold decrease does not occur. The present observations add empirical support to neural theories of illusory form perception. (shrink)

This paper discusses knowledge of opposites. In particular, attention is given to the linguistic notion of antonymy and how it represents oppositional relations that are commonly found in perception. The paper draws upon the long history of work on the formalisation of antonymy in linguistics and formal semantics, and also upon work on the perception of opposites in psychology, and an assessment is made of the main approaches. Treatments of these phenomena in linguistics and psychology posit that the principles of (...) minimal difference and invariance are centrally important. It will be suggested that the standard approach employing meaning postulates fails to capture the relevant notion of antonymy, in part because it is not informed by these principles, and in part due to a number of other problems with this kind of approach, many of which may be overcome by building in the central principles from the beginning. The paper also discusses the issue of whether we can know that opposites necessarily exclude each other and, if so, how. This issue is intertwined with what is known as the colour incompatibility problem that Wittgenstein wrangled with at various times during his life. The paper assesses various solutions to these problems including an approach that was first put forward by Jerrold J. Katz. The relation between this approach and the theory of determinables and determinates is also examined. A further development upon this approach is proposed and then applied to the case of the formalisation of antonymy. It is argued that this approach avoids the problems suffered by the main approaches discussed earlier in the paper. (shrink)

An imaginary report of Square’s plans for a journey aimed to find out whether the topology of Flatland is sphere-like or torus-like, intended as a trubute to Hans Herzberger’s uncompromising philosophical style, courage, and passion.

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

We argue that while the new opposition in Azerbaijan between 2005 and 2013 did not realize all the goals set, it influenced a new generation of young activists who became the loudest supporters of democratic and secular values in Azerbaijan. This grassroots activation of the youth brought noticeable changes to some parts of Azerbaijani society by questioning the authority of traditional values. Many young people, especially students found a platform to discuss their problems concerning everyday basic issues such as (...) intimate relationships as well as their freedom to live in accordance with their personal choices and desires without the family interference in the light of theoretical questions such as the importance of liberal democratic values, individual liberties, and the rule of law. The successfully established connections between material problems and transcendental ideals encouraged some young people to participate in the open discussions and seminars organized by the new opposition. Because of the emergence of this new generation of active youth, the government was forced to incorporate some elements of this new discourse at least by making some cosmetic changes within its structures. The government became successful in its attempts of weakening the new opposition by hijacking its ideas and creating similar but pro-government organizations; neutralizing or buying some well-known opposition figures such as writers and journalists; and finally, persecuting the leading members of the youth organizations. (shrink)

In this paper, we propose the introduction of a neutrosophic chi-square-test for consistency, incorporating neutrosophic statistics. Our aim is to modify the existing chi-square -test for consistency in order to analyze imprecise data. We present a novel test statistic for the neutrosophic chi-square -test for consistency, which accounts for the uncertainties inherent in the data. To evaluate the performance of the proposed test, we compare it with the traditional chi-square -test for consistency based on classical statistics. (...) By conducting a comparative analysis, we assess the efficiency and effectiveness of our proposed neutrosophic chi-square-test for consistency. Furthermore, we illustrate the application of the proposed test through a numerical example, demonstrating how it can be utilized in practical scenarios. Through this implementation, we aim to provide empirical evidence of the improved performance of our proposed test when compared to the traditional chi-square-test for consistency based on classical statistics. We anticipate that the proposed neutrosophic chi-square-test for consistency will outperform its classical counterpart, offering enhanced accuracy and reliability when dealing with imprecise data. This advancement has the potential to contribute significantly to the field of statistical analysis, particularly in situations where data uncertainty and imprecision are prevalent. (shrink)

From 1) the main ideas of the Kantian CRP - 2) a reinterpretation of the concept of transcendental subject and - 3) the logical principle of Individuation, we propose a new ontology in which subject and object are of the same reality. We describe the dynamic principle by which the Existence of the subject emerges from formless meta-substance and separates into an animated representation of the world.