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)

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find (...) suitable natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find (...) suitable natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (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)

We are pleased to present this special issue of the journal History and Philosophy of Logic dedicated to the square of opposition.The square of opposition is a diagram and a theory of opposition re...

In this paper, I will show to what extent we can use our modern understanding of the Square of Opposition in order to make sense of Kant 's double standard solution to the cosmological antinomies. Notoriously, for Kant, both theses and antitheses of the mathematical antinomies are false, while both theses and antitheses of the dynamical antinomies are true. Kantian philosophers and interpreters have criticized Kant 's solution as artificial and prejudicial. In the paper, I do not dispute such (...) claims, but I show that our modern understanding of the Square of Opposition enables us to more naturally deliver the result Kant was aiming at. Accordingly, the paper does not pretend to be exegetically accurate. It is an attempt to revise the antinomies with the help of standard classical logic. And although such a revision entails some re-interpretation, in the end, it will actually help to unveil some of Kant 's thoughts. (shrink)

Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.

The square of opposition has never been drawn by classical Arabic logicians, such as al-Fārābī and Avicenna. However, in some later writings, we do find squares, which their authors call rather ‘tables’ (sing. _lawḥ_). These authors are Shihāb al-Dīn al-Suhrawardī and Muhammed b. Yūsuf al-Sanūsī. They do not pertain to the same geographic area, but they both provide squares of opposition. The aim of this paper is to analyse these two squares, to compare them with each other and with (...) the traditional square of opposition drawn by Apuleius and Boethius, with regard to their particular structure and their vertices and to evaluate their validity. We will show that both squares are different from each other and from the traditional square both with regard to their vertices, and to the arrangements of the oppositional relations. In addition, while al-Suhrawardī uses the notion of matter modalities to define the oppositions, al-Sanūsī relies rather on al-Rāzī’s and al-Khūnajī’s distinctions. Both authors agree, however, on the fact that affirmatives have an import while negatives do not. For this reason, their squares are valid from a logical viewpoint. As diagrams, these squares are nevertheless entirely original, due to the particular arrangements of their oppositional relations. Our analysis shows also that the later author does not seem to know the square drawn by the earlier one and that both authors do not seem to know Apuleius’ or Boethius’ squares. (shrink)

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square and of the hexagon in terms of acceptability. Then, we show how to construct probabilistic versions of the square and of the hexagon of opposition by forming suitable (...) tripartitions of the set of all coherent assessments. Finally, as an application, we present new versions of the square and of the hexagon involving generalized quantifiers. (shrink)

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

In logic, Aristotelian diagrams are almost always assumed to be closed under negation, and are thus highly symmetric in nature. In linguistics, by contrast, these diagrams are used to study lexicalization, which is notoriously not closed under negation, thus yielding more asymmetric diagrams. This paper studies the interplay between logical symmetry and linguistic asymmetry in Aristotelian diagrams. I discuss two major symmetric Aristotelian diagrams, viz. the square and the hexagon of opposition, and show how linguistic considerations yield various asymmetric (...) versions of these diagrams. I then discuss a pentagon of opposition, which occupies an uneasy position between the square and the hexagon. Although this pentagon belongs neither to the symmetric realm of logic nor to the asymmetric realm of linguistics, it occurs several times in the literature. The oldest known occurrence can be found in the cosmological work of the 14th-century author Nicole Oresme. (shrink)

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of (...) the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts. (shrink)

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can (...) learn about the nature of non-formal concepts and their use in philosophy. (shrink)

Walt Disney is largely responsible for popularizing the princess story in American culture. These stories are the centerpieces of the Disney collection and their flagship theme parks. Indeed, Cinderella's castle itself is at the heart of Disney's Magic Kingdom. The first of Disney's theme parks, the Magic Kingdom was intended to capture the magic and imagination of the Disney movies, and bring to life the settings of Disney stories. Epcot was the second of four parks built at the Walt Disney (...) World Resort location in Florida. While Liberty Square in the Magic Kingdom celebrates the independence of those who live in liberal democracies, the World Showcase at Epcot celebrates multiculturalism, and the possibility of appreciating and learning from a multitude of cultures. The chapter provides a better understanding of the philosophical tensions in Disney's theme park by taking a tour of the underlying political ideas lurking inside the Epcot and Magic Kingdom theme parks. (shrink)

Hobbes ' geometrical disputes are significant since they highlight several important strands in his thought - issues concerning the right to make definitions, his anti-clericalism, the maker's knowledge argument and his objections to algebra. These are examined, and the foundational position, according to Hobbes, of geomentry in relation to philosophy, science and technology, explained and discussed.

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional combinatorial properties. In particular, in this model, ♦ δ holds for every regular uncountable cardinal δ, and below the least supercompact cardinal κ, □ δ holds on a stationary subset of κ. There are no restrictions in our model on the structure of the class of supercompact cardinals.

The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions has (...) recently become a topic of intense interest due to the development of a general geometry of opposition (polygons and polyhedra) with many applications. A congress on the square with an interdisciplinary character has been organized on a regular basis (Montreux 2007, Corsica 2010, Beirut 2012, Vatican 2014, Rapa Nui 2016). The volume at hand is a sequel to two successful books: The Square of Opposition - A General Framework of Cognition, ed. by J.-Y. Béziau & G. Payette, as well as Around and beyond the Square of Opposition, ed. by J.-Y. Béziau & D. Jacquette, and, like those, a collection of selected peer-reviewed papers. The idea of this new volume is to maintain a good equilibrium between history, technical developments and applications. The volume is likely to attract a wide spectrum of readers, mathematicians, philosophers, linguists, psychologists and computer scientists, who may range from undergraduate students to advanced researchers. (shrink)

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide (...) a detailed picture of the implications between these square principles. (shrink)

We prove that every weakly square compact cardinal is a strong limit cardinal, and therefore weakly compact. We also study Aronszajn trees with no uncountable finitely splitting subtrees, characterizing them in terms of being Lindelöf with respect to a particular topology. We prove that the class of such trees is consistently non-empty and lies between the classes of Suslin and Aronszajn trees.

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

This paper investigates the principles □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{{\rm ta}}}_{\lambda,\delta}}$$\end{document}, weakenings of □λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_\lambda}$$\end{document} which allow δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\delta}$$\end{document} many clubs at each level but require them to agree on a tail-end. First, we prove that □λ,<ωta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm {ta}}}_{\lambda,< \omega}}$$\end{document} implies □λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\square_\lambda}$$\end{document}. Then, by forcing from a model with a measurable cardinal, we show that □λ,2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\lambda,2}}$$\end{document} does not imply □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm{ta}}}_{\lambda,\delta}}$$\end{document} for regular λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}, and □δ+,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm{ta}}}_{\delta^+,\delta}}$$\end{document} does not imply □δ+,<δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\delta^+,< \delta}}$$\end{document}. With a supercompact cardinal the former result can be extended to singular λ, and the latter can be improved to show that □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm {ta}}}_{\lambda,\delta}}$$\end{document} does not imply □λ,<δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\lambda,< \delta}}$$\end{document} for δ<λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\delta < \lambda}$$\end{document}. (shrink)

Various semantics for studying the square of opposition have been proposed recently. So far, only [14] studied a probabilistic version of the square where the sentences were interpreted by (negated) defaults. We extend this work by interpreting sentences by imprecise (set-valued) probability assessments on a sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square in terms of acceptability and show how to construct probabilistic versions (...) of the square of opposition by forming suitable tripartitions. Finally, as an application, we present a new square involving generalized quantifiers. (shrink)

Epicurean ethics has been subject to withering ancient and contemporary criticism for the supposed irreconcilability of Epicurus’s emphatic endorsement of friendship and his equally clear and striking ethical egoism. Recently, Matthew Evans (2004) has suggested that the key to a plausible Epicurean response to these criticisms must begin by understanding why friendship is valuable for Epicurus. In the first section of this paper I develop Evans’ suggestion further. I argue that a shared conception of the human telos and of what (...) is required to attain it structures the confidence that characterizes friendship. In the second part of the paper I return to two contemporary criticisms of Epicurean friendship. The first criticism focuses on the problem of free riders. The second criticism points to a seeming inconsistency in Epicurean doctrine. I suggest that both criticisms can be adequately addressed once we understand Epicurean friendship in greater depth. (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.

The paper discusses various relationships between the concepts mentioned in the title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. In Section 2 the theme is of supplements to morasses which have some of the flavour of square. Distinctions are drawn between differing concepts. In Section 3 forcing axioms related to the ideas in Section 2 are discussed.

. In logic, diagrams have been used for a very long time. Nevertheless philosophers and logicians are not quite clear about the logical status of diagrammatical representations. Fact is that there is a close relationship between particular visual (resp. graphical) properties of diagrams and logical properties. This is why the representation of the four categorical propositions by different diagram systems allows a deeper insight into the relations of the logical square. In this paper I want to give some examples.

In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus. We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.

Hobbes and Wallis's "battle of the books" illuminates the intimate relationship between science and crucial seventeenth-century debates over the limits of sovereign power and the existence of God.

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is (...) represented by relations between certain terms of the language in which the algebraic structure is formulated. This representation is sometimes called the modal square of opposition. Several generalizations of the monadic first order logic can be obtained by changing the underlying Boolean structure by another one giving rise to new possible interpretations of the square. (shrink)

We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ holds (...) iff κ is not subcompact. (See Theorem 15; the only if direction is essentially due to Jensen.). (shrink)

Descartes' Meditations is one of the most thoroughly analyzed of all philosophical texts. Nevertheless, central issues in Descartes' thought remain unresolved, particularly the problem of the Cartesian Circle. Most attempts to deal with that problem have weakened the force of Descartes' own doubts or weakened the goals he was seeking. In this book, Stephen I. Wagner gives Descartes' doubts their strongest force and shows how he overcomes those doubts, establishing with metaphysical certainty the existence of a non-deceiving God and the (...) truth of his clear and distinct perceptions. Wagner's innovative and thorough reading of the text clarifies a wide range of other issues that have been left unclear by previous commentaries, including the nature of the cogito discovery and the relationship between Descartes' proofs of God's existence. His book will be of great interest to scholars and upper-level students of Descartes, early modern philosophy and theology. (shrink)

This is a collection of new investigations and discoveries on the theory of opposition by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various (...) systems of logic and those related with applications of the theory of opposition to conceptual analysis and pedagogy. (shrink)

The theory of the square of opposition has been worked out many centuries ago as a part of Aristotelian logic of terms.In spite of its inexactness (for instance it is not possible to decide whether the termsquare of opposition is a logical or a metalogical term) this theory is included without any changes in the usual elementary course of logic.The author defines the square of opposition in the language of the logic of propositions (see Def. 1.000) and derives (...) from this definition the usual laws of the square of opposition and several new theorems. (shrink)

Can an appeal to the difference between contrary and contradictory statements, generated by a non-uniform behaviour of negation, deal adequately with paradoxical cases like the sorites or the liar? This paper offers a negative answer to the question. This is done by considering alternative ways of trying to construe and justify in a useful way (in this context) the distinction between contraries and contradictories by appealing to the behaviour of negation only. There are mainly two ways to try to do (...) so: i) by considering differences in the scope of negation, ii) by considering the possibility that negation is semantically ambiguous. Both alternatives are shown to be inapt to handle the problematic cases. In each case, it is shown that the available alternatives for motivating or grounding the distinction, in a way useful to deal with the paradoxes, are either inapplicable, or produce new versions of the paradoxes, or both. (shrink)

Attentive readers of Bakhtin are familiar with the importance he attributed to “semiliterary” or folkloristic genres and art works. Bakhtin came to the interesting conclusion that emerging and historically representative, types of literary works often build from semi-literary blocks. These blocks may be fragmented and incomplete, purely raw materials from the aesthetic viewpoint. Nonetheless, they are harbingers of the emergence of a significant literary form. This is the case with Red Square, apparently a thriller written by two Soviet defectors, (...) Edward Topol and Fridrikh Neznasky, in reality a significant, albeit semi-literary, historical novel in the style of Walter Scott. All constituents analyzed by Lukács in his famous description of Scott's historical novels are present. (shrink)

The square of a language L is the set of all words pp where p ∈ L. The square of a regular language may be regular too or context-free or none of both. We give characterizations for each of these cases and show that it is decidable whether a regular language has one of these properties.