On the dust jacket of The Subject's Point of View there is a detail from Vilhelm Hammershoi's Interior with Sitting Woman. It is hard to think of a painter who better captures the inner in his work. From the monochrome colour, to the back that faces us, to the door swung open to reveal yet another doorway, we are led to interiority – to the inner. This is a perfect image for a book whose author wants to persuade us to (...) return to the interior – a Cartesian interior.The Cartesian interior has come in for quite a drubbing in philosophy for some considerable time. In the mid-to-late 1970s, a style of argument emerged, designed to challenge this conception of mind and establish in its place an externalist conception of language and of mind. One version of the argument was due to Hilary Putnam and emerged in the context of considerations concerning linguistic meaning; another was due to Tyler Burge and emerged first in the context of considerations concerning the individual in relation to his/her social environment. In his earliest paper, on this topic, Burge wrote of ‘the elderly Cartesian tradition’ where ‘the spotlight is on what exists or transpires “in” the individual – his secret cognition, his innate cognitive structures, his private perceptions and introspections, his grasping of ideas, concepts or forms’. Farkas wants to defend this ‘elderly tradition’, but she does add to it some interesting twists. First and foremost, she places to one side ideas of privacy, of incorrigibility and infallibility. She also wishes to place the issue of dualism to one side. What Farkas concentrates on is privileged access and argues that this is …. (shrink)

Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature.

The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implicational types by combinators over (...) the base $\{\textsf{B},\textsf{B}',\textsf{I},\textsf{W}\}$. (shrink)

Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...) the suggestion by first considering a pair of opposing views on the question of whether Kant can be understood to develop a real alternative to realism about beauty at all. (shrink)

The purpose of our study was to measure the relationship between performance on various attentional tasks and hypnotic susceptibility. Healthy volunteers participated in a study, where they had to perform several tasks measuring various attention components in a waking state: sustained attention, selective or focused attention, divided attention and executive attention in task switching. Hypnotic susceptibility was measured in a separate setting by the Waterloo-Stanford Groups Scale of Hypnotic Susceptibility, Form C .We found no significant correlation between any of the (...) attentional measures and hypnotic susceptibility. Highly hypnotizables did not prove to be superior to or worse than the other individuals in any of the tests.These results do not support the neuropsychophysiological model of hypnosis, as they show no consistent relationship between hypnotic susceptibility and waking attentional performance. (shrink)

A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the logic (...) of entailment that includes a De Morgan negation. (shrink)

The study explores the future of AI-driven media and info-communication as envisioned by experts from all world regions, defining relevant terminology and expectations for 2050. Participants engaged in a 4-week series of surveys, questioning their definitions and projections about AI for the field of media and communication. Their expectations predict universal access to democratically available, automated, personalized and unbiased information determined by trusted narratives, recolonization of information technology and the demystification of the media process. These experts, as technology ambassadors, advocate (...) AI-to-AI solutions to mitigate technology-driven misuse and misinformation. The optimistic scenarios shift responsibility to future generations, relying on AI-driven solutions and finding inspiration in nature. Their present-based forecasts could be construed as being indicative of professional near-sightedness and cognitive dissonance. Visualizing our findings into a Glasses Model of AI Trust, the study contributes to key debates regarding AI policy, developmental trajectories, and academic research in media and info-communication fields. (shrink)

Not so long ago, people had a very different concept of the mind and human nature. Our European heritage is a vision of the body as our mortal coil which we feel and command with our soul. The soul was thought to be immortal and exempt from the laws of nature so that our actions are not determined by anything outside of the boundaries of the soul. Souls of all sorts, of angels and spirits in addition to humans, permeated the (...) universe. The universe was an ordered cosmos with human beings at the center of it with a very special role to play in it. It was commonly held that only the soul can truly exhibit creativity and intelligence which no mere mechanism could replicate. Dreams and visions were considered important messengers. All this is quite intuitive; and its remnants are probably deeply ingrained in the everyday manner in which we still think about ourselves. -/- There is not much about the premodern conception that has survived these changes, except the view that we are conscious beings, i.e., that there is, in Thomas Nagel’s expression, something it is like to be us. Illusionists deny that there consciousness is real; this strange view is spreading from the halls of academia to popular media. I investigate the causes and consequences of this latest development in our conception of the mind. (shrink)

This paper investigates set-theoretical semantics for logics that contain unary connectives, which can be viewed as modalities. Indeed, some of the logics we consider are closely related to linear logic. We use insights from the relational semantics of relevance logics together with a new version of the squeeze lemma in our semantics for logics with disjunction. The ideal-based semantics, which takes co-theories to be situations, dualizes the theory-based semantics for logics with conjunction.

The paper raises the theoretical question of the cultural mediational nature of literary intertexts from the point of view of generic and transformational dynamics. The intertextual complex as mediational operator is examined at two levels – in the context of cultural diachrony by observing how the literary work establishes its place in the history of literature closely connected to the metapoiesis of the text; at various kinds of intratextual interlevel movements regulating the evolution of a whole intertextual system within the (...) work. Differentiating the ontological, generative and transformational conceptualization of intertextual poetics, an attempt is made to define the basic textual modes of the pretext, the intext and the intertext by describing their functionality in the building of an intersemiotic literary system. The relevant functions are grasped by shedding light upon the types of the sign of which the given signifying structures consist and their textual semantics in terms of referential and relational quality. In the first place, however, the paper aims at outlining the structure and content of the generic-transformational semiotic processes in which the dynamic aspects of intertextual semiosis are revealed. Within this framework, the processuality of the development of the intertextual signifying structure is elucidated, shown as a chain of reciprocal sign activities resulting in constantly evolving semantic shifts within the intra- and intertextual semiosis processes, all relying on mediational operations. Text examples are taken from and references made to works by A. S. Pushkin, I. S. Turgenev, F. M. Dostoevsky and J. M. Coetzee. (shrink)

Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of the earlier semantics for this system (...) and prove soundness and completeness. Then, with some modifications to this semantics, we arrive at a mathematically elegant yet powerful semantics that we call generalized Kripke semantics. (shrink)

Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- including a wide (...) range of variations. The focus is on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi, the so-called consecution calculi, have seen important new developments in the last decade or so. The invention of new consecution calculi for various relevance logics allowed the last major open problem in the area of relevance logic to be solved positively: pure ticket entailment is decidable. An exposition of this result is included in chapter 9 together with further new decidability results (for less famous systems). A series of other results that were obtained by J. M. Dunn and me, or by me in the last decade or so, are also presented in various places in the book. Some of these results are slightly improved in their current presentation. Obviously, many calculi and several important theorems are not new. They are included here to ensure the completeness of the picture; their original formulations may be found in the referenced publications. This book contains very little about semantics, in general, and about the semantics of non-classical logic in particular. (shrink)

Frankish positions his view, illusionism about qualia (a.k.a. eliminativist physicalism), in opposition to what he calls radical realism (dualism and neutral monism) and conservative realism (a.k.a. non-eliminativist physicalism). Against radical realism, he upholds physicalism. But he goes along with key premises of the Gap Arguments for radical realism, namely, 1) that epistemic/explanatory gaps exist between the physical and the phenomenal, and 2) that every truth should be perspicuously explicable from the fundamental truth about the world; and he concludes that because (...) physicalism is true, there could be no phenomenal truths, and no qualia. I think he is wrong to accept 2); and even if he was right to accept it, the more plausible response would be not to deny the existence of qualia but to deny physicalism. In either case, denying the existence of qualia is the wrong answer. I present a physicalist realist alterative that refutes premise 2 of the Gap Argument; I also make a general case against the scientism that accompanies Frankish’s metaphysics. (shrink)

Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique—attributable to Gentzen—that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional (...) inductions. We also give a new purely inductive proof of the cut theorem for the original single cut rule in Gentzen’s sequent calculus $ LK $ without any use of mix. (shrink)

Descartes's philosophy has had a considerable influence on the modern conception of the mind, but many think that this influence has been largely negative. The main project of The Subject's Point of View is to argue that discarding certain elements of the Cartesian conception would be much more difficult than critics seem to allow, since it is tied to our understanding of basic notions, including the criteria for what makes someone a person, or one of us. The crucial feature of (...) the Cartesian view defended here is not dualism--which is not adopted--but internalism. Internalism is opposed to the widely accepted externalist thesis, which states that some mental features constitutively depend on certain features of our physical and social environment. In contrast, this book defends the minority internalist view, which holds that the mind is autonomous, and though it is obviously affected by the environment, this influence is merely contingent and does not delimit what is thinkable in principle. Defenders of the externalist view often present their theory as the most thoroughgoing criticism of the Cartesian conception of the mind; Katalin Farkas offers a defence of an uncompromising internalist Cartesian conception. (shrink)

We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical relational and operational - semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation.

Immanuel Kant's Critique of Judgment is widely recognized as a founding document of modern aesthetics, but its legacy has fallen into disrepute. In this book Katalin Makkai calls for the rediscovery of Kant's aesthetics, showing that its centerpiece, his investigation of the judgment of taste, paints a compelling portrait of our relationships with works of art that we love. At its heart is a scene of aesthetic encounter in which one feels oneself to be 'animated' - brought to life (...) - by an object, finding there to be something in one's experience of it, beyond what there is to know about it, that one wants to explore and articulate. Tracing Kant's insight that to judge is to reveal one's sense of what bears judging, and hence of what matters, Makkai situates Kant's aesthetics within his larger study, begun in the first Critique, of judgment's fundamental role in the life of the mind. (shrink)

The present study investigated 3-year-old children’s learning processes about object functions. We built on children’s tendency to commit scale errors with tools to explore whether they would selectively endorse object functions from a linguistic in-group over an out-group model. Participants ( n = 37) were presented with different object sets, and a model speaking either in their native or a foreign language demonstrated how to use the presented tools. In the test phase, children received the object sets with two modifications: (...) the original tool was replaced by one that was too big to achieve the goal but was otherwise identical, and another tool was added to the set that looked different but was appropriately scaled for goal attainment. Children in the Native language condition were significantly more likely to commit scale errors – that is, choose the over-sized tool – than children in the Foreign language condition (48 vs. 30%). We propose that these results provide insight into the characteristics of human-specific learning processes by showing that children are more likely to generalize object functions to a category of artifacts following a demonstration from an in-group member. (shrink)

This paper briefly overviews some of the results and research directions. In the area of substructural logics from the last couple of decades. Substructural logics are understood here to include relevance logics, linear logic, variants of Lambek calculi and some other logics that are motivated by the idea of omitting some structural rules or making other structural changes in LK, the original sequent calculus for classical logic.

This paper offers an analysis of the effect of the identity combinators in dual systems. The result is based on an easy technical trick, namely, that the identity combinators collapse all the combinators which are dual with respect to them. After reviewing dual combinators I consider the possible combinatory systems and l-calculi in which the functions and/or the application operation are bidirectional. The last section of the paper shows the devastating effect the identity combinators have for a dual system: they (...) half trivialize simple combinatory bases, although they are not sufficient to cause real triviality for what cancellative combinators are needed. (shrink)

The paper begins with the account of a focus group discussion of Hungarian female managers who demonstrated high level of trust. Drawing on the discussion the author explores the nature of trust and looks at works and research findings in different disciplines. In psychology Erikson’s findings on human growth and development are discussed. Representatives of Eastern and Western philosophy are quoted to highlight the underlying differences of thinking in relation to trust. The impact of cultural heritage and the influence of (...) the environment on trust add further dimensions to the argument. In conclusion it is suggested that management education could be a platform for further research and exploration of trust in individuals and organisations. (shrink)

Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in both left and right associated terms. (...) Perhaps surprisingly, we are also able to show that certain symmetric combinatory logics that include just one particular constant are not confluent. This result (beyond other differences) clearly sets apart symmetric combinatory logic from dual combinatory logic, since all dual combinatory systems with a single combinator or a single dual combinator are Church-Rosser. Lastly, we prove that a symmetric combinatory logic that contains the fixed point and the one-place identity combinator has the Church-Rosser property. (shrink)

Aus dem Inhalt: Das wissende und wollende Subjekt im Tractatus. - Die gemeinsame menschliche Handlungsweise: das Verstehen des anderen in Wittgenstein's Spatphilosophie. - Das Rot, der Schmerz, der Leopard und die Sprache: aussersprachliche Gegenstande und die Grenzen des Relativismus im Spatwerk. - Schmerzen und Schmerzausserungen als vorsprachliche Phanomene: Nachtrag zum Kapitel Das Rot, der Schmerz, der Leopard und die Sprache. - Bedeutungserlebnisse: Privatsprachenkritik und Gebrauchstheorie der Bedeutung im Licht der psychologischen Aufzeichnungen.".

Ms. Neumer and her team began their project with a critical analysis of the various theories of the relationship between language and thought. Their aim was to develop a theoretical position concerning the issue of universalism versus relativism. This issue is closely bound up with one of the main questions of the history of East and Central Europe, namely, the question of the nation, and the possibility of mutual understanding between national cultures. The team attempted to avoid falling into an (...) all-too-common trap, that of allowing a political perspective to obscure the central theoretical issues. In a project whose outcome totalled over 1000 pages of manuscript in German, English and Hungarian, they touched on cognitive psychological, linguistic, semiotic, socio-semiotic, and other such themes. Their experience has convinced them of the fruitful heuristic possibilities of the interaction of scientific and philosophical approaches in this area of research. A preliminary analysis of the history of philosophy and inquiries into conceptual fields revealed that, in order to reach strong relativist conclusions concerning the unity of thought and language, it is required to take as a point of departure the widest possible sense of these concepts. But in fact, such an option ends up refuting itself: pursuing the premises to their final conclusion one arrives at the restriction of relativism. The team outlined a theory of the understanding of the Other which, borrowing from analytical as well as continental-hermeneutic trends, does not underestimate, on the one hand, the difficulties of understanding between various forms of life, cultures, and languages, but, on the other hand, can provide an alternative solution to the theory of incommensurabiltiy. Within the boundary of this problematic the team studied the problems of translatability, the acquisition of the mother and foreign languages, and natural or cultural determinacy of kind terms. The team regards its most original contribution to be the association of the problem of relativism-universalism and the language-thought relation with contemporary investigations into the question of orality, literacy, and secondary orality. Their conclusion was that, although certain connections can be revealed both between forms of communication and the thesis of the unity of language and thought, and between periods in the history of communication and the predominance of relativistic or universalistic tendencies, forms of communication do not unequivocally determine the answers to these questions. (shrink)