People are manifestly polarized. On many topics, extreme perspectives are much easier to find than ‘reasonable’, ‘moderate’ perspectives. A natural reaction to this situation is that something epistemically irrational is afoot. Here, I question this natural reaction. I argue that often polarization is epistemically innocuous. In particular, I argue that certain mechanisms that underlie polarization are rational, and polarized beliefs are often fully justified. Additionally, even reflective subjects, who recognize themselves as in a polarized or polarizing situation shouldn’t necessarily reduce (...) confidence in the relevant beliefs. Finally, I draw attention to some often overlooked epistemic _benefits_ associated with polarization. A fuller understanding of the epistemology of polarization requires incorporating both the potential costs and the potential benefits, and being more precise about exactly what is—and is not—epistemically objectionable in these situations. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

Although the cognition is significant in strategic reasoning, its role has been weakly analyzed, because only the average intelligence is usually considered. For example, prisoner's dilemma in game theory, would have different outcomes for persons with different intelligence. I show how various levels of intelligence influence the quality of reasoning, decision, or the probability of psychosis. I explain my original methodology developed for my MA thesis in clinical psychology in 1998, and grant research in 1999, demonstrating the bias of the (...) classic IQ method, and how the intelligence limits thinking. Based on that I defined Personality Model, providing insight into understanding of psychosis (schizophrenia, bi-polar), which has not been explained yet by psychology or psychiatry. In addition, it enables to analyze and assess non-linear problems, utilizable in computer programming, visualization (animation) or other fields including Baduk game. I've already applied some principles in complex information system www.each.co.uk, and video-animations exhibited in London, Germany, Tokyo. I need to mention my experience in chess composition between 1994 and 2000, winning a few international prizes and inventing a special class of fairy rules redefining the mate. The chess composition principles or patterns show the way to organize logical series to higher advanced mechanisms (like calculus), applicable to other fields. One of such principles is a logical aesthetic innovation: new strategy, defined by Italian composers. Finally I show how the simple redefinition of the classic utility concept links economics and psychology to explain irrational / destructive behavior. All presented results (from the research) can be repeated. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a (...) class='Hi'>logic of assertions and conjectures: looking at the S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological (...) reconstruction of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

Explanation of logic of psychoses: schizophrenia and bi-polar, with empirical confirmation - e.g. IQ decreases the likelihood of psychosis, and bi-polar is more likely than schizophrenia... MA thesis in 1998 (Comenius University), Presented at Art exhibition "From Animation", London, Holland Park (W8 6LU), Conferences in Santorini, Daejon, Adelaide 2016.

The present piece, first presented on 19 November 2016 at the Centre Léon Robin (CNRS-Univ. Paris-Sorbonne-ENS Ulm) as part of the“Présocratiques” Seminar, is an investigation of the relationship between Empedocles and Freud. The analysis is divided into three parts: the first section examines the nature of Freud’s engagement with Empedocles; next, consideration is given to the similarities between their doctrines, based on the extant fragments of the Empedoclean corpus; finally, I offer a series of observations about Empedocles’ poetic style, which (...) shares strong affinities with the spoken word in a manner typical of the oral tradition and is freighted with corporeal and emotional significance. It is here that we see the emergence of one of the key concepts of psychoanalysis: the relationship between logos and alogon, between that which can be rationally analysed and that which can be intuited but which eludes the domain of logos. (shrink)

Many philosophers hold that generics (i.e., unquantified generalizations) are pervasive in communication and that when they are about social groups, this may offend and polarize people because generics gloss over variations between individuals. Generics about social groups might be particularly common on Twitter (X). This remains unexplored, however. Using machine learning (ML) techniques, we therefore developed an automatic classifier for social generics, applied it to 1.1 million tweets about people, and analyzed the tweets. While it is often suggested that generics (...) are ubiquitous in everyday communication, we found that most tweets (78%) about people contained no generics. However, tweets with generics received more “likes” and retweets. Furthermore, while recent psychological research may lead to the prediction that tweets with generics about political groups are more common than tweets with generics about ethnic groups, we found the opposite. However, consistent with recent claims that political animosity is less constrained by social norms than animosity against gender and ethnic groups, negative tweets with generics about political groups were significantly more prevalent and retweeted than negative tweets about ethnic groups. Our study provides the first ML-based insights into the use and impact of social generics on Twitter. (shrink)

This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories is given (...) by the derivability relation of a calculus with residuated and Galois-connected unary operators. (shrink)

When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn't engage with difficult counterarguments and, if you do, you shouldn't engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as what people working in informal logic tend to say about (...) argumentation. -/- Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what's wrong with it. Still, even if you can't figure out what's wrong with an argument, you can know that it's misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence-types employed by the argument. When you know that a counterargument is misleading, you shouldn't engage with it open-mindedly and sometimes shouldn't engage with it at all. You shouldn't engage open-mindedly because you shouldn't be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn't engage closed-mindedly, because to do so can be manipulative or ineffective. -/- In making this case, Jeremy Fantl discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers. (shrink)

Abstract: This essay addresses three specific moments in the history of the role played by intuition in Kant's system. Part one develops Kant's attitude toward intuition in order to understand how ‘sensible intuition’ becomes the first step in his development of transcendental idealism and how this in turn requires him to reject the possibility of an ‘intellectual intuition’ for human cognition. Part two considers the role of Jacobi when it came to interpreting both Kant's epistemic achievement and what were taken (...) to be the outstanding problems of freedom's relation to nature; problems interpreted to be resolvable only via an appeal to ‘intellectual intuition’. Part three begins with Kant's subsequent return to the question of freedom and nature in his Critique of Judgment. With Goethe's contemporaneous Metamorphoses of Plants as a contrast case, it becomes clear that whereas Goethe can embrace the role of an intuitive understanding in his account of nature and within the logic of polarity in particular, Kant could never allow an intuition of nature that in his system would spell the very impossibility of freedom itself. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge (...) or need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Quine’s classical classic interpretation succinctly characterized characterizes Carnap’s Aufbau as an attempt “to account for the external world as a logical construct of sense-data....” Consequently, “Russell” was characterized as the most important influence on the Aufbau. Those times have passed. Formulating a comprehensive and balanced interpretation of the Aufbau has turned out to be a difficult task and one that must take into account several disjointed sources. My thesis is that the core of the Aufbau rested on a problem that (...) had haunted German philosophy since the end of the 19th century. In terms fashionable at the time, this problem may be expressed as the polarity between Leben and Geist that characterized German philosophy during the years of the Weimar Republic. At that time, many philosophers, including Cassirer, Rickert and Vaihinger, were engaged in overcoming this polarity. As I will show, Carnap’s Aufbau joined the ranks of these projects. This suggests that Lebensphilosophie and Rickert’s System der Philosophie exerted a strong influence on Carnap’s projects, an influence that is particularly conspicuous in his unpublished manuscript Vom Chaos zur Wirklichkeit. Carnap himself asserted that this manuscript could be considered “the germ of the constitution theory” of the Aufbau. Reading Chaos also reveals another strong but neglected influence on the Aufbau, namely a specific version of neutral monism put forward by the philosopher and psychologist Theodor Ziehen before World War I. Ziehen’s work contributed much to the invention of the constitutional method of quasi-analysis. -/-. (shrink)

In this article, we argue that there is an essential difference between social intelligence and creative intelligence, and that they have their foundation in human sexuality. For sex differences, we refer to the vast psychological, neurological, and cognitive science research where problem-solving, verbal skills, logical reasoning, and other topics are dealt with. Intelligence tests suggest that, on average, neither sex has more general intelligence than the other. Though people are equals in general intelligence, they are different in special forms of (...) intelligence such as social intelligence and creative intelligence, the former dominant in women, the latter dominant in men. The dominance of creative intelligence in men needs to be explained. The focus of our research is on the strictly anthropological aspects, and consequently our explanation for this fact is based on the male-female polarity in the mating systems. Sexual dimorphism does not only regard bodily differences but implies different forms of sex life. Sex researchers distinguish between two levels of sexual intercourse: procreative sex and recreational sex, and to these we would add “creative sex.” On all three levels, there is a behavioral difference between men and women, including the subjective experience. These differences are as well attributed to culture as genetically founded in nature. Sexual reproduction is only possible if females cooperate. Their biological inheritance makes females play a decisive role in mate choice. Recreational sex for the purpose of pleasure rather than reproduction results from female extended sexual activity. Creative sex, on the contrary, is a specifically male performance of sexuality. We identify creative sex with eroticism. Eroticism evolved through the transformation of the sexual drive into a mental state of expectation and fantasizing. Hence, sex differences (that nowadays are covered up by cultural egalitarianism) continue to be the evolutionary origin of the difference between social and creative intelligence. (shrink)

As we have seen in the transition form Part I to Part II of this book, the inductive riskiness of doxastic methods applied in testimonial uptake or prescribed as exemplary of religious faith, helpfully operationalizes the broader social scientific, philosophical, moral, and theological interest that people may have with problems of religious luck. Accordingly, we will now speak less about luck, but more about the manner in which highly risky cognitive strategies are correlated with psychological studies of bias studies and (...) human cognitive ecology. Chapter Four is concerned with connections between psychological study of biases and heuristics, and the comparative study of fundamentalism. The first section looks at work by psychologists and philosophers on our bias blind spot. Later sections ask, ‘In what ways might biases and heuristics play a special role in aiding our understanding of, and response to, fundamentalist orientation?’. The judgments we make in ignorance of our own biases Montaigne calls our importunate presumptions, and he suggests a host of practical factors that make them appealing. Montaigne, as I discuss in the first section, associates many of our errors with one or another kind of presumption, often about our similarity or differences from others, or from God. Our obvious psychographic diversity, and the polemical ground dynamics involved in our ‘culture wars’ are compounded on the agential side by the invisibility of our biases to ourselves. A number of person and social biases are described that plausibly affect all of our beliefs in domains of controversial views, religious views included. The second section continues to study of how etiological symmetry (similar patterns of belief-uptake) gives rise to religious contrariety (diverse narratives and theologies) in testimonial faith traditions, and what the implications of this are for philosophy of religion, generally, and for an improved comparative study of fundamentalism, in particular. Utilizing the work of philosophers such as Rachel Fraser and psychologists such as Emily Pronin and her co-authors, I offer a four-step genealogical account for how etiological symmetry so easily gives rise to religious contrariety. This account begins with the narrative nature of testimony in the Abrahamic family of religions, and how narrative content confounds our “source monitoring.” My genealogy also introduces what I term biased-closure inferences (BCI) as one of the key enablers of religious exclusivism and absolutism. These are the seemingly ‘logical’ but actually very self-serving inferences people often make, inferences from their own belief being true, to any belief contrary to it being false. Those who claim unique truth, epistemic access, and/or virtue and religious value for the home religion are no exception to the broad pertinence of bias studies across domains of controversial view. The proximate causes of belief are all that we can study, and in these there may be significant etiological symmetries. Yet those groups themselves, especially to the extent that they are exclusivist, are tunnel-visioned on claims of doctrinal uniqueness: on content differences of a theological sort. Comparative philosophy is met with the puzzlement that symmetric or essentially similar doxastic strategies should give rise not just to cognitive diversity, but to what we can call polarized or polemical contrariety, contrariety of a kind where each view adamantly rejects all others. Arguably, the more that theologies offer explanations of a counter-inductive sort, or profess counter-inductive thinking as exemplary of faith, the better evidential ground there for inferring that bias involved in the acquisition or maintenance of beliefs. This provides more substance to the question of when censure, and etiological challenges to faith-based beliefs are philosophically well-motivated. (shrink)

The central thesis of this article is that populism is a side effect of liberal democracy and a reliable indicator of the relationship between liberal democracy and its polar opposite ‒ illiberal majoritarianism. As long as liberal democracy prevails over illiberal majoritarianism, populism remains dormant. Populism rises and becomes conspicuous only if certain manifestations of illiberal majoritarianism or illiberal elitism reach a critical point in terms of number and impact. More exactly, populism becomes active when there are too few (...) reasonable and effective responses to the growth of illiberal majoritarianism. Illustrating the defense mechanism of compensation, the rise of populism correlates with a cluster of exaggerated or overdone reactions to actions inspired by illiberal majoritarianism. These reactions vary sharply from one society to another according to (a) the specific challenges of illiberal majoritarianism, (b) the reactivity of people who bear the liberal democratic values, and (c) the credibility enjoyed by the mainstream liberal democratic forces in that society. In brief, although illiberal majoritarianism sets off a cluster of populist reactions in any society, the rise of populism always takes distinct forms. Thus, it is confirmed the status of populism as a chameleonistic phenomenon. The argumentative thread has four main parts. Firstly, it is developed a constitutive model of liberal democracy as an ideal political system that is underpinned by the following organizing principles or attractors: inclusiveness, political equality, political participation, predominance of concurrent majority, the containment and predictability of the government power, and the enforcement of the non-aggression principle. Secondly, the attractors of liberal democracy are contrasted against the recent state of affairs in the Euro-Atlantic space to illustrate the assertion presented here that today illiberal majoritarianism tends to prevail over liberal democracy. In the third step, it is argued that the countless definitions of populism only emphasize different symptoms of the rise of populism, depending on the particular circumstances in which society evolves. Finally, it is substantiated the claim that populism and populists can and should be integrated into the democratic political system, in particular into the democratic public sphere. (shrink)

The radical redefinition of the landscape of physics that followed the contributions of Niels Bohr and Werner Heisenberg at the start of the 20th century led to plethora [of] new perspectives on age-old metaphysical questions on determinism and the nature of reality. The main contention of this article is that the work of Gilbert Simondon - whose magnum opus possesses a scope uniting the most basic philosophical concerns with the most recent breakthroughs in natural sciences - is highly relevant for (...) an adequate understanding of the split between determinism and indeterminism, as well as the underlying presuppositions which have driven some influential contributions to this topic. To this end, the article shows that the more deterministic interpretation of quantum mechanics offered by David Bohm and Louis de Broglie proves to be a valuable reference point for a more precise use and understanding of Simondon'ss transductive logic - especially when its philosophical lapses are considered closely. Finally, following the considerations of both thinkers, we aim at a more precise reconsideration of the stakes of indeterminism in modern physics, as well as a restructuration of what is often understood as a polarization. (shrink)

We have witnessed the athleticization of political discourse, whereby debate is treated like an athletic contest in which the aim is to vanquish one's opponents. When political discourse becomes a zero-sum game, it is characterized by suspicions, accusations, belief polarization, and ideological entrenchment. Unfortunately, athleticization is ailing the classroom as well, making it difficult for educators to prepare students to make valuable contributions to healthy civic discourse. Such preparation requires an educational environment that fosters the intellectual virtues that characterize an (...) examined life. This, in turn, requires an amicable and hospitable atmosphere in which a student enjoys the freedom to discover and articulate what she believes, how well her beliefs hang together, and what underlying assumptions or biases might be at work—without the fear that her self-disclosure will trigger immediate accusations and pigeonholing from fellow students. Educating for intellectual virtue is crucial for meeting these challenges and in this chapter we contribute to this strategy by offering some tools and guidance for promoting productive discussion of controversial issues. In the first two sections, we identify and explain two fallacious patterns of thought that often encumber discussion of controversial issues: assailment-by-entailment and the attitude-to-agent fallacy. In effect, these sections diagnose two diseases of discourse. We conclude each section with practical suggestions—in the form of thinking routines—for curing these ills. We will argue that part of the cure is to be found in the intellectual virtues. In particular, we will discuss how the virtues of intellectual charity, humility and carefulness can inoculate the mind against the fallacies we identify. (shrink)

Recently there is a renewed academic interest in religion bringing it back on the global political agenda. Religion in the post modern global order is fast emerging as a new organizing principle in the face of multi-polarity, trans-nationality and sweeping pluralisation of peoples. Contrary to the secularist self believe, the modern has failed to take over the tradition including religion. Rather a logical opposite seems to be happening, questioning the very presumptions of the modernity project. The present paper is a (...) narrative on this creative tension in the religious modern and post modern. The paper is crafted into four sections. First section seeks to pin down the genesis of “religious” in the search for social order and consciousness beyond the material world. Second section deals with the unfolding of enlightenment project and its manifest consequence with the birth of secularism master theory. Third section delves deep into the immediate Indian religious lived experiences under foreign rule up to the sweeping spell of globalisation. Fourth and last part of the essay makes a case for universality of a multicultural world and religious secularism. (shrink)

Every person is equipped with both the Dionysian or life force soul (in Greek Eros), and the Apollonian or death force soul (in GreekThanatos). Dionysus was a Greek fertility god from c. 580 BCE associated with wine, music, and choral dance (Csapso 2016). In Attic art, Dionysus was often depicted as a slumping god on a ship, which had a vineover laden with grapes as a mast, surrounded by a sea with a pod of dolphins; the dolphins being the rescuers (...) of sailors (life force) (Carpenter 1990). Dionysus, who was resurrected from death, repre- sented hedonism, happiness, and the good life that he celebrated with a glass of wine. His half-brother Apollo was in many respects his polar opposite. Apollo was a cerebral god associated with the sun, light, and intellectual pursuit. Dio- nysus symbolized the ability of (wo) man to submerge him- or herself in a greater whole, the ecstatic, and the chaotic emotions. Apollo, on the contrary, symbolised his or her formally rational and reasoning mind. The Dionysian and Apollonian natural forces are complementary and one needs both to be a balanced person; one needed to be capable of creating form and struc- ture as well as being passionate and vital. Brown believed that a utopian society would primarily consist of such balanced persons who are at home in both the world of rationality and logic and of symbols and emotions. (shrink)

The thesis defended, the “guise of the ought”, is that the formal objects of desires are norms (oughts to be or oughts to do) rather than values (as the “guise of the good” thesis has it). It is impossible, in virtue of the nature of desire, to desire something without it being presented as something that ought to be or that one ought to do. This view is defended by pointing to a key distinction between values and norms: positive and (...) negative norms (obligation and interdiction) are interdefinable through negation; positive and negative values aren’t. This contrast between the norms and values, it is argued, is mirrored, within the psychological realm, by the contrast between the desires and emotions. Positive and negative desires are interdefinable through negation, but positive and negative emotions aren’t. The overall, Meinongian picture suggested is that norms are to desires what values are to emotions. (shrink)

Universalist and nihilist answers to philosophical questions may be extreme, but they are clear enough. Aliquidist answers, by contrast, are typically caught between the Scylla of vagueness and indeterminacy and the Charybdis of ungroundedness and arbitrariness, and steering a proper middle course—saying exactly where in the middle one is going to settle—demands exceptional navigating powers. I myself tend to favor extreme answers precisely for this reason. Here, however, I consider one sense in which Something may claim superiority over its (...) class='Hi'>polar competitors, Everything and Nothing, when it comes to answerting the ontological question, “What is there?”. (shrink)

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

If modus ponens is valid, then you should take up smoking.

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of (...) the original pure system with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...) the other does not.). (shrink)

An electronic poster from "Polarity from Different Perspectives," New York University, 2005. The authors present an experiment that investigated to what extent six negative polarity items (slept a wink, in ages, ever, much, at all, and yet) are licensed by 9 potential licensers.

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in (...) particular, Löwenheim and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Public discussions of political and social issues are often characterized by deep and persistent polarization. In social psychology, it’s standard to treat belief polarization as the product of epistemic irrationality. In contrast, we argue that the persistent disagreement that grounds political and social polarization can be produced by epistemically rational agents, when those agents have limited cognitive resources. Using an agent-based model of group deliberation, we show that groups of deliberating agents using coherence-based strategies for managing their limited resources tend (...) to polarize into different subgroups. We argue that using that strategy is epistemically rational for limited agents. So even though group polarization looks like it must be the product of human irrationality, polarization can be the result of fully rational deliberation with natural human limitations. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...) directly motivated in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume (...) of inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...) holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...) present six different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...) to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...) deductions in normal form have the subformula property. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) (...) “pure logic”; (ii) philosophical logic investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...) longer play a distinctive role. This account employs a new notion of semantic. (shrink)

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude (...) that Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...) obstacle to any such view. (shrink)

The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (...) and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic'. Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities. (shrink)