Brain activity determines which relations between objects in the environment are perceived as differences and similarities in colour, smell, sound, etc. According to selectionism, brain activity does not create those relations; it only selects which of them are perceptually available to the subject on a given occasion. In effect, selectionism entails that perceptual experience is diaphanous, i.e. that sameness and difference in the phenomenal character of experience is exhausted by sameness and difference in the perceived items. It has been argued (...) that diaphaneity is undermined by phenomenological considerations and empirical evidence. This paper considers five prominent arguments of this sort and shows that none of them succeeds. (shrink)

Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided sequent system for this logic. Here we prove an analogous result for the nonassociative version of this logic. Like Lambek, we consider a left-sided system, but the result also holds for its right-sided version, by a natural symmetry. The treatment of nonassociative sequent systems involves some subtleties, not appearing in associative logics. We also prove the PTime complexity of the multiplicative fragment of (...) NBL. (shrink)

We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form while his opponent, ∀phrodite, attempts to build a counter-model. The determinacy of the game implies therefore both completeness and semantic cut-elimination.

This article takes issue with Kuhn’s description of the ‘Aristotle experience,’ an event that took place in 1947 and that he retrospectively characterized as a revelation that instantly delivered to him the key concepts of The Structure of Scientific Revolutions (1962). We trace a certain transformation of this narrative over time: whereas it commenced from a description of his impression of disparity between the textbook image of science and the study of historical sources, Kuhn started to characterize it as a (...) revelation after learning of the English translation of Fleck’s 1935 Entstehung und Entwicklung einer wissenschaftlichen Tatsache. This book anticipates many central Kuhnian claims. Kuhn read it as early as 1949, but never fully acknowledged it as a source of inspiration. We discuss four hypotheses concerning the possible influence of Fleck’s theory on Kuhn’s in light of the available evidence. We conclude that the degree of similarity between them is too great to be coincidental. (shrink)

In this paper, we consider how an agent may manage a questioning agenda in a situation where multiple information sources are available. We work within the framework of formal dialogue systems with the underpinning of Inferential Erotetic Logic. Firstly, we present the formal dialogue system DL(IEL)mult for managing multi-agent information retrieval. Then, we extend the proposed system so that it is capable of representing group and individual levels for the question decomposition process. We also propose two measures for evaluating information (...) sources: their cooperativeness and success levels; next, we analyse how the choice of agents may influence the way in which a solution for a given problem is reached. (shrink)

According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...) the sense that it postulates that our cognitive contact with the world is mediated by internal representations. However, the exact sense in which PCT is representational remains unclear; neither is it clear that it deserves such status—that is, whether it really invokes structures that are truly and nontrivially representational in nature. In the present article, I argue that the representational pretensions of PCT are completely justified. This is because the theory postulates cognitive structures—namely action-guiding, detachable, structural models that afford representational error detection—that play genuinely representational functions within the cognitive system. (shrink)

Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger framework. Modifying MALL, researchers have explored weaker logics such as Noncommutative MALL (Bilinear Logic, BL) and Cyclic MALL (CyMALL) to investigate variations in commutativity. In this paper, we focus on Cyclic Nonassociative Bilinear Logic (CyNBL), a variant that combines noncommutativity and nonassociativity. We introduce a sequent system for (...) CyNBL, which includes an auxiliary system for incorporating nonlogical axioms. Notably, we establish the cut elimination property for CyNBL. Moreover, we establish the strong conservativeness of CyNBL over Full Nonassociative Lambek Calculus (FNL) without additive constants. The paper highlights that all proofs are constructed using syntactic methods, ensuring their constructive nature. We provide insights into constructing cut-free proofs and establishing a logical relationship between CyNBL and FNL. (shrink)

The article reviews the book Konstytucja wolności [The Constitution of Liberty], by Friedrich August von Hayek.

This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...) system. Then, we discuss crucial differences between S-representations and indicators or detectors, showing that—contrary to claims made in the literature—there is an important theoretical distinction to be drawn between the two. (shrink)

We study the intersection type assignment system as defined by Barendregt, Coppo and Dezani. For the four essential variants of the system (with and without a universal type and with and without subtyping) we show that the emptiness (inhabitation) problem is recursively unsolvable. That is, there is no effective algorithm to decide if there is a closed term of a given type. It follows that provability in the logic of "strong conjunction" of Mints and Lopez-Escobar is also undecidable.

In the past centuries Maṇḍana Miśra was regarded as the most prominent figure of the advaita school of philosophy, to the extent that the whole system of advaita was frequently described by his name as ‘maṇḍana-matam’ (‘the view of Maṇḍana’). Nowadays advaita is almost exclusively associated, if not identified, with the name of Maṇḍana’s contemporary Śaṅkara. Both thinkers philosophizing along advaita lines, their views on the ultimate being, the highest bliss, ignorance etc. were substantially different. The present paper is intended (...) as a bird’s eye view on the whole of Maṇḍana’s legacy, including his Sphoṭasiddhi, being his contribution to the grammatical tradi­tion of Bhartṛhari. It is also aimed at finding the reason why in the hierarchy of eminent advaita thinkers Maṇḍana was eventually supplanted by Śaṅkara and his œuvre unacknowledged. (shrink)

Modernity and What Has Been Lost comes out of a conference held at the Jagiellonian University in Krakw̤, Poland, on June 4-5, 2009 that sought to identify Leo Strauss's intellectual background in re: the repudiation of a modern idea of homogenous, universal state (considered as an illegitimate synthesis of Jerusalem and Athens, i.e., the claims of Reason and Revelation). The world we live in, molded by science and historical relativism, may be described as hostile to human dignity or perfection, or (...) abhorrent to those who love the search for wisdom. Straussian teaching consisted in the steady effort to reopen "the quarrel between the Ancients and the Moderns," and refers to the esoteric way of writing practiced by the most profound thinkers of the past which has been apparently forgotten in the last three centuries. Strauss binds the concept of natural right with the question of maintenance of conditions for philosophizing, and it probably seems to him that such defense of philosophy is the highest task in our times. However, one must be well aware that philosophizing always means a perilous way of life. Indeed, it may be destructive of the city (polis) itself as far as the city exists due to some crucial beliefs the philosopher might put in doubt. Reflecting on those issues, Strauss engaged in several highly important debates with his contemporaries, in an open way with, e.g., Carl Schmitt, Karl Lw̲ith and Alexandre Kojv̈e, and more tacitly with Martin Heidegger"--Provided by publisher. (shrink)

The title of this article refers to one of the best-known essays written by David Hume, That Politics may be reduced to a Science. Hume assumed that politics was a science because it admitted of some general truths, which could not be varied by human beings. He adopted a similar stance, albeit indirectly, in the case of economics, discovering several general truths concerning the origins of wealth, money and international trade. At times, however, he was far from being consistent and (...) this undermined these truths. Consequently, it can be argued that, from his perspective, economics was a science on a theoretical level, but it lost this character at a more practical level. Similar doubts can be raised when it comes to Hume’s role in the history of economic thought. In some respects he was an original thinker, but several of his key concepts resembled to some extent ideas that had been put forward by ‘mercantilists’, especially those ‘mercantilists’ who were active in his native Scotland in the first decade of the 18 th century. (shrink)

I borrow part of the title of my paper from Susan Sontag. In 2003, a year before her death, Susan Sontag published an essay entitled Regarding the Pain of Others. There she takes up the subject of the moral significance of presenting the views of war, violent human death exposed to the lenses of cameras. Her approach to the contemporary issue of mediatisation through the image of the sight of human suffering provokes a question: Do we need teleethics today, the (...) ethics of remote moral relations? Using the method of comparative analysis in the area of cultural determinants of ethics, I draw attention to the contemporary challenges that the culture of late modernity imposes on the morality of everyday life. My thesis is this: The images of human suffering provided by the media reveal the imperfection of our morality. As moral subjects, we are not prepared to respond to the suffering of human beings absent from face-to-face relationships. So, we need teleethics. The paper is devoted to this issue. (shrink)

Perceptual experience usually comes with “phenomenal force”, a strong sense that it reflects reality as it is. Some philosophers have argued that it is in virtue of possessing phenomenal force that perceptual experiences are able to non‐inferentially justify beliefs. In this article, I introduce an alternative, inferentialist take on the epistemic role of phenomenal force. Drawing on Bayesian modeling in cognitive science, I argue that the sense of reality that accompanies conscious vision can be viewed as epistemically appraisable in light (...) of its rational etiology. (shrink)