We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

The COVID-19 pandemic has impacted data collection for longitudinal studies in developmental sciences to an immeasurable extent. Restrictions on conducting in-person standardized assessments have led to disruptive innovation, in which novel methods are applied to increase participant engagement. Here, we focus on remote administration of behavioral assessment. We argue that these innovations in remote assessment should become part of the new standard protocol in developmental sciences to facilitate data collection in populations that may be hard to reach or engage due (...) to burdensome requirements. We present a series of adaptations to developmental assessments and a detailed discussion of data analytic approaches to be applied in the less-than-ideal circumstances encountered during the pandemic-related shutdown. Ultimately, these remote approaches actually strengthen the ability to gain insight into developmental populations and foster pragmatic innovation that should result in enduring change. (shrink)

We present here the papers selected for the volume on the Unity of Propositions problems. After summarizing what the problems are, we locate them in a spectrum from those aiming to provide substantive, reductive explanations, to those with a more deflationary take on the problems.

This paper begins with the decisive moment of the 2010 Champions League final, as Diego Milito dribbles past van Buyten to settle the score. By taking a closer look at this situation we witness a complex and ambiguous movement phenomenon that seems to transcend established phenomenological accounts of performance, as a creative performance such as this cannot be reduced to bodily self-awareness or absorbed skilful coping. Instead, the phenomenon of the feint points to a central question we need to ask (...) when investigating performance in football: ?How can one intentionally transcend the expectations of others?? In order to clarify this, the paper will conduct a contextual analysis of a feint drawing on existential philosophy and phenomenology. The main argument is that the feint incarnates a fundamental and indispensable strategy in the game context of football and the analysis of it throws light on central existential phenomena involved in game creativity, with appearance, seduction, commitment and value being the focal ones. The analysis suggests a broader notion of expertise by pointing to the need of stressing the dynamic and social game context. What the feint explicates is that in football it is not enough to be aware of your own body or rely on your embodied habits. In order to cope in the game situation it is also necessary to be absorbed in the other and transcend his or her expectations. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

This paper advances the research on personalization of political communication by investigating whether this process of focusing on politicians instead of political issues plays a role on Twitter. Results of a content analysis of 5,530 tweets posted in the run-up to the German federal election provide evidence that Twitter communication refers more often to politicians than to issues. However, tweets containing personal characteristics about political leaders play only a marginal role. When distinguishing among different groups of actors on Twitter (journalists, (...) politicians, citizens), we find that citizens focus more on candidates than do journalists or politicians. Investigating the impact of a televised debate on Twitter communication, we observe that this person-centered event puts the focus on individual politicians instead of issues. (shrink)

Following its publication in Germany in 1963, Otto Friedrich Bollnow's Human Space quickly became essential reading within a cross-disciplinary field of subject areas including architecture, anthropology, and philosophy. In this first English translation, Bollnow conceives the human experience of space not merely as a philosophical problem but also as an extension of his research into psychology, human behavior, and the conventional domains of architecture: living in a building, in an apartment, in a house. Human Space is a remarkable investigation (...) of space as we experience it, by a man many consider to be the father of spatial and architectural anthropology. This lush hardcover edition includes an afterword by Joseph Kohlmaier that situates the work in the context of philosophical and architectural discussion. (shrink)

An “insightful” and in-depth look at anti-science politics and its deadly results (Maria Konnikova, New York Times–bestselling author of The Biggest Bluff). Thomas Jefferson said, “Wherever the people are well informed, they can be trusted with their own government.” But what happens when they aren’t? From climate change to vaccinations, transportation to technology, health care to defense, we are in the midst of an unprecedented expansion of scientific progress—and a simultaneous expansion of danger. At the very time we need them (...) most, scientists and the very idea of objective knowledge are being bombarded by a vast, well-funded war on science, and the results are deadly. Whether it’s driven by identity politics, ideology, or industry, the result is an unprecedented erosion of thought in Western democracies as voters, policymakers, and justices actively ignore scientific evidence, leaving major policy decisions to be based more on the demands of the most strident voices. This compelling book investigates the historical, social, philosophical, political, and emotional reasons why evidence-based politics are in decline and authoritarian politics are once again on the rise on both left and right—and provides some compelling solutions to bring us to our collective senses, before it's too late. “If you care about attacks on climate science and the rise of authoritarianism, if you care about biased media coverage and shake-your-head political tomfoolery, this book is for you.”—The Guardian. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, (...) a malfunctioning F is an F; if privative, a malfunctioning F is not an F. An intensional logic is required to raise and answer the question, because modifiers operate directly on properties and not on sets or individuals. This new logic provides the formal tools to reason about technical malfunction by means of a logical analysis of the sentence “a is a malfunctioning F”. (shrink)

Theories of structured meanings are designed to generate fine-grained meanings, but they are also liable to overgenerate structures, thus drawing structural distinctions without a semantic difference. I recommend the proliferation of very fine-grained structures, so that we are able to draw any semantic distinctions we think we might need. But, in order to contain overgeneration, I argue we should insert some degree of individuation between logical equivalence and structural identity based on structural isomorphism. The idea amounts to forming an equivalence (...) class of different structures according to one or more formal criteria and designating a privileged element as a representative of all the elements, i.e., a first among equals. The proposed method helps us to a cluster of notions of co-hyperintensionality. As a test case, I consider a recent objection levelled against the act theory of structured propositions. I also respond to an objection against my methodology. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The topic of this paper is the notion of technical (as opposed to biological) malfunction. It is shown how to form the property being a malfunctioning F from the property F and the property modifier malfunctioning (a mapping taking a property to a property). We present two interpretations of malfunctioning. Both interpretations agree that a malfunctioning F lacks the dispositional property of functioning as an F. However, its subsective interpretation entails that malfunctioning Fs are Fs, whereas its privative interpretation entails (...) that malfunctioning Fs are not Fs. We chart various of their respective logical consequences and discuss some of the philosophical implications of both interpretations. (shrink)

In his preface to the English edition, Apel (identified with critical theory) explains that the title of his two-volume German collection connotes both a reconstruction of the process of hermeneutic transformation in recent philosophy and the author's semiotical transformation of transcendental logic. The emphasis here is on the latter with discussions of the a priori nature of language per Wittgenstein, Peirce, and Chomsky, and its implications for a rational foundation for ethics in modern science. Includes a new foreword. Name index (...) only. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's (...) three propositions are identical to. I argue on philosophical grounds against identifying β-equivalent propositions. The reason is that β-conversion obliterates too many of the procedural distinctions that are central to an act-based theory such as Soames's and which are worth preserving. In fact, β-expansion allows the addition of a fifth proposition that highlights additional procedural distinctions and propositional structure. The welcome conclusion is that we have five procedurally distinct, if equivalent, propositions. (shrink)

This Festschrift is in honour of Professor Marie Duzí, VSB - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication to personal recollections. Marie Duzí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or (...) co-authored, has appeared in various high-level journals. In 2008 the Rector of her home university granted Marie the award Outstanding Results in the Development of Science and Research. The 2010 monograph Procedural Semantics for Hyperintensional Logic earned Marie and her coauthors the prestigious Award for Outstanding Results of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent Intensional Logic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected Recent Essays, also published by College Publications. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...) Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)

Keine ausführliche Beschreibung für "Zur Analysis der Wirklichkeit" verfügbar.

Keine ausführliche Beschreibung für "Zur Analysis der Wirklichkeit" verfügbar.

La juridicisation croissante de notre vie publique et le fonctionnement de l'Etat de droit ont rendu nécessaire de reposer la question des modes de raisonnement fondant désormais les décisions judiciaires, de plus en plus importantes, de plus en plus nombreuses, qui régissent notre activité quotidienne. L'enjeu n'en est pas négligeable. Au-delà d'une vision "technologique" du droit - le droit, une technique, un outil... -, c'est aussi, et de manière peut-être plus inquiétante, une vision plus politique qui en est souvent suggérée (...) : la mort annoncée du droit comme technique autonome, capable de résister au politique - simple habillage, habile camouflage, d'une décision dont la motivation ne serait jamais - ne pourrait jamais être - mise en échec, orientée, ou commandée par les contraintes du droit. Entre positivisme et réalisme, l'oscillation risque d'être catastrophique. Entre ces deux abîmes, cet ouvrage tente d'ouvrir les voies d'une réflexion rigoureuse et scientifique sur les moyens intellectuels les plus nécessaires à l'affirmation - et à l'affermissement - de l'Etat de droit. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) (...) One rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

Routledge is now re-issuing this prestigious series of 204 volumes originally published between 1910 and 1965. The titles include works by key figures such asC.G. Jung, Sigmund Freud, Jean Piaget, Otto Rank, James Hillman, Erich Fromm, Karen Horney and Susan Isaacs. Each volume is available on its own, as part of a themed mini-set, or as part of a specially-priced 204-volume set. A brochure listing each title in the "International Library of Psychology" series is available upon request.