We link two concepts from the literature, namely hard sequences for the satisfiability problem sat and so‐called pseudo proof systems proposed for study by Krajíček. Pseudo proof systems are elements of a particular nonstandard model constructed by forcing with random variables. We show that the existence of mad pseudo proof systems is equivalent to the existence of a randomized polynomial time procedure with a highly restrictive use of randomness which produces satisfiable formulas whose satisfying assignments are probably hard to find.

Jules Michelet: Vico and the origins of nationalism -- James Joyce: Vico and the origins of modernism -- Erich Auerbach: Vico and the origins of historism -- Isaiah Berlin: Vico and the origins of pluralism.

Five Groundbreaking Moments in Heidegger's Thinking presents a fresh interpretation of some of Heidegger's most difficult but important works, including his early Beiträge (Contributions) and engages with his theoretical concept of "the reading in thinking." In new translations of central texts, Kenneth Maly invites the reader to think along the way by reading, contemplating, and translating Heidegger's ideas into context. An introduction to the field of philosophy and more specifically to Heidegger's thought, Five Groundbreaking Moments in Heidegger's Thinking asks (...) the reader, in some manner, to actively do the philosophizing. (shrink)

It can be tempting to think of affect as a matter of the present moment – a reaction, a feeling, an experience or engagement that unfolds right now. This paper will make the case that affect is better thought of as not only temporally extended but as saturated with temporality, especially with the past. In and through affectivity, concrete, ongoing history continues to weigh on present comportment. In order to spell this out, I sketch a Heidegger-inspired perspective. It revolves around (...) two claims. The first is that we should understand what Heidegger calls 'Befindlichkeit' (findingness) as radical situatedness. Affectivity is a matter of 'finding oneself' constellated – thrown – into the world in ways that outrun what an individual or collective might grasp and process. The second claim is that the temporal dimension, as a relatedness to the past, takes precedence in affect's situatedness. Key to affect is the way in which the past continues to hold sway over present comportment, collectively and individually. In order to articulate this perspective, it is important to overcome the idea that affect must be understood mainly in terms of feeling or experiential states of other kinds. Better suited to grasp the idea of findingness is the concept of 'disclosive posture', as proposed by Katherine Withy. I suggest that this notion should be put at the fore of a phenomenological approach to situated affectivity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Reconciliation of Myth: Benjamin’s Homage to BachofenJoseph MaliIn the “Tiergarten,” the first chapter of his autobiographical work, Berlin Childhood Around Nineteen-Hundred, Benjamin recalls how, as a child, he experienced the paths, monuments, and people of the park as a “labyrinth” replete with all kinds of mythological figures. Entering the park like a second Theseus following his Ariadne along the thread of erotic sensations, he discovered therein the myth-realm (...) of the ancient gods as transfigured in the bourgeois decorations of the Second Reich, most visibly so in the aristocratic monuments of Friedrich Wilhelm and Queen Louise: “They towered up from their round pedestals among the flower beds as if spellbound by magic curves that a watercourse had inscribed before them in the sand.” 1 As he invoked these primal visions thirty years later, Benjamin realized that they prefigured “the features of what is to come,” that is, he recognized in his early experiential impressions the topical concerns that were to determine his life and works. He then understood that he had been finding signs of “the return of the ancient gods” everywhere:Under their sign the Old West of Berlin was transformed into the West of antiquity, whence the western winds come to the mariners, who navigate their boat with the Hesperidan apples slowly upward the Landwehrkanal, in order to cast anchor near the Herkules Bridge. And yet again, as in my childhood, the Hydra and the Nemean lion found a place in the wild bushes around the big star. 2This chapter may serve as the key to Benjamin’s entire life and works: it reveals what Benjamin himself would have called his “origins.” Benjamin conceived [End Page 165] of origin (Usprung) in genealogical rather than in biological terms, contending that it was not to be found in the moment of intuition but rather in that of recognition. “The term origin is not intended to describe the process by which the existent came into being, but rather to describe that which emerges from the process of becoming and disappearance. Origin is an eddy in the stream of becoming, and in its current it swallows the material involved in the process of genesis.” 3 It occurs, Benjamin continues, when “an idea will constantly confront the historical world, until it is revealed fulfilled, in the totality of its history.” 4 And if, according to Benjamin (quoting Karl Kraus), “origin is the goal” of all philosophical and historical inquiries, then, in Benjamin’s own case, the “origin” must be found in that singular idea by which he had sought to illuminate his historical world. This was an idea which should be “revealed fulfilled, in the totality of its history” in his entire work. In order to find that idea we must concentrate, as it were, on the “eddies” of his life; that is, we must discern his particular current in the intellectual trends of the time and find out how and with what he emerged from it. What, then, were Benjamin’s “origins”? When and where did he recognize what his experiential impressions in the Tiergarten really meant?In his memorial biography, Walter Benjamin: The Story of a Friendship, Gershom Scholem recounts some of the most important of these moments. One of them occurred between 16 and 18 June 1916, while Scholem was visiting Benjamin’s house in Seeshaupt near Munich. Scholem recalls their last and most memorable conversation on that occasion:During a discussion of whether Hegel had wished to deduce the world, we turned to mathematics, philosophy, and myth. Benjamin accepted myth alone as “the world.” He said he was still not sure what the purpose of philosophy was, as there was no need to discover “the meaning of the world”: it was already present in myth. Myth was everything; all else, including mathematics and philosophy, was only an obscuration [Verdunkelung], a glimmer [Schein] that had arisen within it. 5Reflecting on these words, Scholem notes that “Benjamin’s decided turn to the philosophic penetration of myth, which occupied him for so many years, beginning with his study of Hölderlin and probably for the rest of his life, was manifested here for the first... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 14.1 (2006) 77-88 [Access article in PDF] Revealing the Habitual: The Teachings of Unconventional Piano-Playing Tuomas Mali Vantaa, Finland Playing Experiences as a Source of Knowledge As a pianist, I know piano-playing from the inside as something I am accustomed to doing. For me, as for every serious pianist, playing is an everyday activity that has become so habitual as to be inseparable from (...) myself. As I am absorbed in piano-playing, I become musical in a way that more or less makes me forget myself. In the tumult of playing there is no objectifying gaze, no clear distinction between subject and object, performer and music; there is just skilful coping with musical tasks and concerns.1 For an experienced pianist the centrality of the lived body is a commonplace: to know piano-playing is to know one's own body in and through playing as one cultivates a "pianistic" way of existing. This calls for daily training.2 Although it is not always this obvious, the lived body is important to all knowing. Through regular practicing and performing I know piano-playing in the same direct way as we all know the world in and through living "in" it as human bodies, in and through our everyday coping, our "dealings" in the world.3 Juha Varto, the Finnish phenomenologist, uses the word "inspective" to describe this way of knowing, in a sense that emphasizes active bodily being-in-the-world.4 [End Page 77]To reflect on piano-playing, in contrast, requires one to distance oneself from playing, to adopt a perspective that is not present in the playing itself. The relationship between the knower and the world is now different. Here, Varto uses the word "perspective" as an adjective to designate this way of knowing. He illuminates the difference between "inspective" and "perspective" knowing with the image of a burning stake: the spectators certainly know that the stake is hot and that it kills, but the smell of one's own burning flesh makes it clear and certain in a radically different way without intermediary thought.5 Reflection makes it possible to "observe" piano-playing, to see it "in perspective," as part of a larger, ordered, cultural reality, as part of a considered "view" or "theory." When devoting oneself to reflection, it is typical to characterize the activity of playing as objective, as something that lies outside the lived experience of the body. But—and this is often deliberately ignored—a view or a theory arrived at through observation is also irrevocably bound to the embodied existence of the observer, even if the view often seems to be more or less a product of thought alone.While the distinction between concerned coping ("inspective" knowing) and reflective viewing ("perspective" knowing) is important, it should be kept in mind that in human life they are always interwoven. There is no way to eliminate one of them, no way to choose only one or the other. Rather, we are constantly negotiating between the "inspective" and "perspective," dealing on the one hand with our situated bodily experience and on the other hand with our recognition of a larger cultural perspective.Historically, valued knowledge about music-making has often been framed around a conception of reflection as detached, disinterested inquiry which as pure contemplation, has nothing to do with the lived body of the knower. A particular discourse or a quest for definition has often served as starting points for research—starting points that seemingly rule out the relevance of bodily experiences. However, it seems to me that there is no way to cut the link between knowing and experiencing; differences on the level of the lived body are often crucial for knowledge. For example, the difference in the experiential basis often results in a gap between the knowledge of a "maker" and that of a "viewer." When music is known mostly through making it, knowledge gained through observation often seems to miss what is essential, to distort and misinterpret the musical practice. This gap, and... (shrink)

Hastings Center Report, Volume 52, Issue S1, Page S63-S65, March‐April 2022.

The paper examines the interplays between logic and politics in the Polish School of Logic starting from 1914. The Polish School of Logic flourished between 1920 and 1939. Philosophically, it was influenced by Kazimierz Twardowski (1866–1938). For Twardowski logic is fundamental for every kind of human activity, professional and private and this means that every argument should be formulated and proceed by correct inferential rules. These rules involve semiotics, formal logic and methodology of science. The paper shows how this position (...) was shared by Twardowski’s students, including Jan Łukasiewicz, Stanisław Leśniewski, Kazimierz Ajdukiewicz and Tadeusz Kotrabiński, as well as by the next generation of logicians and philosophers and especially by Alfred Tarski. These authors considered logic, philosophy and science as completely neutral with respect to politics and ideology but they also considered logical skills as indispensable in political activities. (shrink)

"[Heidegger's] greatest work... essential for all collections." —Choice "... students of Heidegger will surely find this book indispensable." —Library Journal Contributions to Philosophy, written in 1936-38 and first published in 1989 as Beiträge zur Philosophie, is Heidegger’s most ground-breaking work after the publication of Being and Time in 1927. If Being and Time is perceived as undermining modern metaphysics, Contributions undertakes to reshape the very project of thinking.

We introduce a cyclic proof system for the two-way alternation-free modal μ-calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modalities by allowing analytic applications of the cut rule. The global effect of backwards modalities on traces is handled by making the semantics relative to a specific strategy of the opponent in the evaluation game. This allows us to augment sequents by so-called trace atoms, describing traces that the proponent can construct against the opponent’s strategy. The (...) idea for trace atoms comes from Vardi’s reduction of alternating two-way automata to deterministic one-way automata. Using the multi-focus annotations introduced earlier by Marti and Venema, we turn this trace-based system into a path-based system. We prove that our system is sound for all sequents and complete for sequents not containing trace atoms. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This study aims to present Heraclitus as Heidegger read him and offers an account of the discussion generated by this perspective on Heraclitus.

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

International institutions such as UNESCO are deliberating on a new standard setting instrument for neurotechnologies. This will likely lead to the adoption of a soft law document which will be the first global document specifically tailored to neurotechnologies, setting the tone for further international or domestic regulations. While some stakeholders have been consulted, these developments have so far evaded the broader attention of the neuroscience, neurotech, and neuroethics communities. To initiate a broader debate, this target article puts to discussion twenty-five (...) considerations and desiderata for recognition by a future instrument. They are formulated at different levels of abstraction, from the big picture to technical details, seek to widen the perspective of preparatory reports and transcend the narrow debate about “neurorights” which overshadows many richer and more relevant aspects. These desiderata are not an exhaustive enumeration but a starting point for discussions about what deserves and what requires protection by an international instrument. (shrink)

Evidence-Based Medicine has little consideration for mechanisms and philosophers of science and medicine have recently made pleas to increase the place of mechanisms in the medical evidence hierarchy. However, in this debate the notions of mechanisms seem to be limited to 'mechanistic processes' and 'complex-systems mechanisms,' understood as 'componential causal systems'. I believe that this will not do full justice to how mechanisms are used in biological, psychological and social sciences and, consequently, in a more biopsychosocial approach to medicine. Here, (...) I propose, following (Kuorikoski, 2009), to pay more attention to 'abstract forms of interaction' mechanisms. The present work scrutinized review articles on depression and medically unexplained pain, which are considered to be of multifactorial pathogenesis, for their use of mechanisms. In review articles on these disorders there seemed to be a range of uses between more 'abstract forms of interaction' and 'componential causal system' mechanisms. I therefore propose to expand the notions of mechanisms considered in medicine to include that of more 'abstract forms of interaction' to better explain and manage biopsychosocial disorders. (shrink)

This book provides for the first time a complete history of the doctrine of the transcendentals and shows its importance for the understanding of philosophy in the Middle Ages.

Niels Bohr and Philosophy of Physics: Twenty-First Century Perspectives examines the work, influences and legacy of the Nobel Prize physicist and philosopher of experiment Niels Bohr. While covering Bohr's groundbreaking contribution to quantum mechanics, this collection reveals the philosophers who influenced his work. Linking him to the pragmatist C.I. Lewis and the Danish philosopher Harald Høffding, it draws strong similarities between Bohr's philosophy and the Kantian way of thinking. Addressing the importance of Bohr's views of classical concepts, it discusses how (...) his interpretation of quantum mechanics now compares with a variety of issues that have arisen only since his lifetime, including decoherence and other non-collapse arguments. Balancing historical themes with contemporary ideas, Niels Bohrs and Philosophy of Physics reveals Bohr's on-going contribution to the philosophy of science and confirms his place in the history of philosophy. (shrink)

Kearns (2021) reconstructs Berkeley’s (1713) Master Argument as a formally valid argument against the Materialist Thesis, with the key premise the Distinct Conceivability Thesis, namely the thesis that truths about sensible objects having or lacking thinkable qualities are (distinctly) conceivable and as its conclusion that all sensible objects are conceived. It will be shown that Distinct Conceivability Thesis entails the Reduction Thesis, which states that de dicto propositional (ordinary or distinct) conceivability reduces to de re propositional (ordinary or distinct) conceivability. (...) While Kearns (2021) set out to avoid the confusion of a de re claim with a de dicto claim, which Prior (1955) accused Berkeley of, Kearns can be accused of making a similar conceptual confusion. (shrink)

A number of well-developed theories shed light on the question, under what circumstances our beliefs enjoy epistemic justification. Yet, comparatively little is known about epistemic defeat--when new information causes the loss of epistemic justification. This book proposes and defends a detailed account of epistemic defeaters. The main kinds of defeaters are analyzed in detail and integrated into a general framework that aims to explain how beliefs lose justification. It is argued that defeaters introduce incompatibilities into a noetic system and thereby (...) prompt a structured re-evaluation process that makes a justified reinstatement of the defeated belief impossible. The account is then applied to the topic of disagreement, where it is used in an argument for conciliationism, as well as a new explanation for higher-order defeat. Throughout the book, the notion of defeat is the center of attention, while a number of new issues are discussed at the intersections of defeat and justification. Specifically, new problems are raised for broadly internalist accounts of defeat, a fully descriptive reliabilist account of defeat is provided, and the case for normative defeat is revisited. (shrink)

This book maps the entire development of Comenius’s considerations on man, from his earliest writings to his philosophical masterwork. Although this book primarily offers an analysis and description of the conception of man in Comenius’s work, it may also serve the reader as a more general introduction to his philosophical conception. The author shows that, in spite of the fact that Comenius has received no small amount of academic attention, funded studies or monographs in English language remain in single figures. (...) Thus, a range of Comenius’s remarkable ideas are still unknown to the wider public. (shrink)

Wprowadzenie -- Roman ingarden -- Antoni kępiński -- Karol wojtyła -- Władysław stróżewski -- Józef tischner.

Introduction: what is a sentence? -- Slogans and other one-liners -- The poetic line -- Sentences terminable and interminable -- The democratic sentence -- Conclusion: the sentence fetish.

This book traces the development of the Polish theory of history, analyzing how Jerzy Topolski, Krzysztof Pomian, and Olga Tokarczuk have both built upon and transgressed the metahistorical theories of American historian Hayden White. By deconstructing and reconstructing contemporary theories of history, this research is a unique contribution to the fields of historiography and the philosophy of history.

Forms of understanding -- Understanding as organized beliefs -- On interpretation -- Representations -- Scientific explanation -- Causal explanations -- Other types of explanations -- The pragmatics of explanation -- Not just why-questions -- A rhetorical approach to explanation -- Pluralism and the unity of science.

Forms of understanding -- Understanding as organized beliefs -- On interpretation -- Representations -- Scientific explanation -- Causal explanations -- Other types of explanations -- The pragmatics of explanation -- Not just why-questions -- A rhetorical approach to explanation -- Pluralism and the unity of science.

G. A. Cohen’s Rescuing Justice and Equality proposes that both concepts need rescuing from the work of John Rawls. Especially, it is concerned with Rawls’ famous second principle of justice according to which social primary goods should be distributed equally unless an unequal distribution is to the benefit of the worst off. The question is why this would ever be necessary if all parties are just. Cohen and I agree that Rawls cannot really justify inequalities on the basis given. But (...) he also thinks equality is the correct analysis of justice, though he provides no actual direct arguments for this. He does, however, provide a striking analytical argument claiming that fundamental principles of justice must be fact insensitive, and that Rawls’s view of justice violates this requirement. I argue that the requirement is itself misconceived and that principles of justice cannot possibly be fact insensitive in the sense developed by Cohen. Few philosophers share this view of Cohen’s—which I argue is due to several conceptual mistakes. With these ironed out, the contractarian view, broadly speaking, is seen to be plausible and powerful. Meanwhile Cohen appears to embrace intuitionism, a stance that cannot possibly be acceptable in social philosophy. In the end, Cohen is successful in arguing that Rawls cannot have what he wants, but neither is Cohen successful in claiming that justice is equality. (shrink)

Humanitarian aid’s psycho-therapeutic turn in the 1990s was mirrored by the increasing emotionalization and subjectivation of fund-raising campaigns. In order to grasp the depth of this interconnectedness, this article argues that in both cases what we see is the post-Fordist production paradigm at work; namely, as Hardt and Negri put it, the direct production of subjectivity and social relations. To explore this, the therapeutic and mental health approach in humanitarian aid is juxtaposed with the more general phenomenon of psychologization. This (...) allows us to see that the psychologized production of subjectivity has a problematic waste-product as it reduces the human to Homo sacer, to use Giorgi Agamben’s term. Drawing out a double matrix of a de-psychologizing psychologization connected to a politicizing de-politicization, it will further become possible to understand psycho-therapeutic humanitarianism as a case of how, in these times of globalization, psychology, subjectivity and money are all interrelated. (shrink)

We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP $_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q) (...) Kim-non-forking extension, then $D_Q(q)=D_Q(p)$ for every Q that involves only invariant types whose Morley powers are -stationary. We give natural examples of families of invariant types satisfying this property in some NSOP $_1$ theories. We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory $T_\infty $ of vector spaces with a generic bilinear form. We conclude that forking equals dividing in $T_\infty $, strengthening an earlier observation that $T_\infty $ satisfies the existence axiom for forking independence. Finally, we slightly modify our definitions and go beyond NSOP $_1$ to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example, if T is dp-minimal. Hence, our notion of rank identifies a non-trivial class of theories containing all NSOP $_1$ and NTP $_2$ theories. (shrink)

This article considers the critical theory of the Frankfurt School in the context of decolonisation and asks whether it can have continuing relevance given its foundations in white, western traditions which bear the hallmarks of colonialism. Despite critical theory, particularly in its early radical figurations, situating itself as an alternative to traditional western philosophy it undoubtedly shares some of the myopic and Eurocentric traits of this tradition. Mindful of not wishing to perpetuate colonial impulses to appropriate Indigenous philosophies, this article (...) harnesses the twin ideas of a decolonial conversation and interacting in a third space, both of which foreground historical power imbalances and injustices. Only on that basis can a genuine engagement occur between western and Indigenous thought. My aim, as a western scholar, is to explore the relevance of critical theory in this decolonial age. By highlighting intersections, while acknowledging crucial differences, between critical theory and Indigenous philosophies I seek to show that critical theory can play a crucial role in how western scholars respond to and embrace the necessary and compelling movement of decolonialisation, but only first by acknowledging their own shortcomings, particularly in relation to race, racism and colonialism. (shrink)

The philosophy of the humanistic sciences has been a blind-spot in analytic philosophy. This book argues that by adopting a pragmatic analysis of explanation and interpretation it is possible to show that scientific practice of humanistic sciences can be understood on similar lines to scientific practice of natural and social sciences.

The oral eye is a metaphor for the dominance of global designer capitalism. It refers to the consumerism of a designer aesthetic by the 'I' of the neoliberalist subject, as well as the aural soundscapes that accompany the hegemony of the capturing attention through screen cultures. An attempt is made to articulate the historical emergence of such a synoptic machinic regime drawing on Badiou, Bellmer, Deleuze, Guattari, Lacan, Rancir̈e, Virilio, Ziarek, and Zizek to explore contemporary art (post-Situationism) and visual cultural (...) education. Jagodzinski develops the concept of an 'avant-garde without authority,' 'self-refleXion' and 'in(design)' to further the questions surrounding the posthuman as advanced by theorists such as Hansen, Stiegler and Ziarek's 'force' of art. (shrink)

'What is real?' has been one of the key questions of philosophy since its beginning in antiquity. But it is not just a question that philosophers ask. This Very Short Introduction discusses what reality is by looking at a variety of arguments, theories, and thought-experiments from philosophy, physics, and cognitive science.