We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}[email protected]_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}[email protected]_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret [email protected]_i$ in propositional and first-order hybrid logic. This means: interpret [email protected]_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

This is the first modern edition of an important work by a previously neglected early 19th century woman philosopher, Mary Shepherd. Shepherd develops a distinctive philosophical system that can be seen as a competitor to Kant's Transcendental Idealism. The edition is aimed at researchers in early modern philosophy and is also intended to be used in graduate and undergraduate courses. It contains a concise introduction as guide for the reader.

Antonia Lolordo presents an original interpretation of John Locke's metaphysics of moral agency, in which to be a moral agent is simply to be free, rational, and a person.

Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, (...) e Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto. DOI:10.5007/1808-1711.2011v15n2p225. (shrink)

Teaching and learning in a virtual learning environment poses some difficulties, but also challenges and opportunities to rethink the whole learning process, particularly in abstract subjects like logic or high level mathematics. On the other hand, resources and ways to work, now available in VLEs, might soon extend to all kinds of environments. In this paper, we will present experiences at the Open University of Catalonia , a particular VLE, concerning the whole process of teaching logic and mathematics. In addition, (...) we will discuss some challenges and we will present some innovation projects allowed by the present and near future technologies. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

A systematic reconstruction of Adorno’s philosophy of language in the framework of contemporary linguistic philosophy.

On Mary Shepherd's view of our perception of the external world, perceived qualities are "as a landscape, sent from an unseen country by which we may know it". Originally published in 1827, Shepherd's Essays on the Perception of an External Universe made important contributions in epistemology and the philosophy of perception, among other areas. In Antonia LoLordo's much-anticipated new edition of the text, advanced undergraduate students and scholars alike will find an inviting and authoritative introduction to Shepherd's work, followed (...) by a modernized and annotated copy of the text.LoLordo's is the first modern edition of Shepherd's EPEU. Inexpensive... (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some (...) influential theories of imagination and use their insights to distil an algorithm describing such process. Then, we use this algorithm to define a dynamic logical system built upon on a single-agent epistemic logic that provides the necessary tools to capture how the agent voluntarily creates new imaginary worlds; in other words, our system allows the model to be expanded dynamically at any time as a result of the agent performing an act of imagination. Furthermore, we provide an axiomatization and prove that the system is sound and complete. (shrink)

This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities rather it focusses on the (...) underlying instruments, and the way they work together. We hope the reader will be tempted to sing a long. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

Locke claims that we have sensitive knowledge of the external world, in virtue of the fact that simple ideas are real, true, and adequate. However, despite his dismissive remarks about Cartesian external-world skepticism, Locke gives us little to go on as to how knowledge of the external world survives the fact of perceptual error, or even how perceptual error is possible. I argue that Locke has an in-principle problem explaining perceptual error.

Aesthetic value empiricism claims that the aesthetic value of an object is grounded in the value of a certain kind of experience of it. The most popular version of value empiricism, and a dominant view in contemporary philosophical aesthetics more generally, is aesthetic hedonism. Hedonism restricts the grounds of aesthetic value to the pleasure enjoyed in the right kind of experience. But hedonism does not enjoy any clear advantage over a more permissive alternative version of value empiricism. This alternative is (...) aesthetic liberalism. On this view, an object’s aesthetic value is fully grounded in any value—not just the hedonic value—of a correct and complete experience of its sensory features. To demonstrate the advantages of liberalism over hedonism, I apply both views to analyze the aesthetic value of the Spring Temple Buddha and Anselm Kiefer’s Seraphim. I detail four advantages of liberalism over hedonism, and I conclude by defending liberalism from two kinds of objection. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

This book offers a comprehensive treatment of the philosophical system of the seventeenth-century philosopher Pierre Gassendi. Gassendi's importance is widely recognized and is essential for understanding early modern philosophers and scientists such as Locke, Leibniz and Newton. Offering a systematic overview of his contributions, LoLordo situates Gassendi's views within the context of sixteenth- and early seventeenth-century natural philosophy as represented by a variety of intellectual traditions, including scholastic Aristotelianism, Renaissance Neo-Platonism, and the emerging mechanical philosophy. LoLordo's work will be essential (...) reading for historians of early modern philosophy and science. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

In several early 19th century works, Mary Shepherd articulates a theory of causation that is intended to respond to Humean skepticism. I argue that Shepherd's theory should be read in light of the science of the day and her conception of her place in the British philosophical tradition. Reading Shepherd’s theory in light of her conception of the history of philosophy, including her claim to be the genuine heir of Locke, illuminates the broader significance of her attempt to reinstate reason (...) as the source of scientific knowledge. Reading Shepherd's theory in light of the science of the day helps make plausible her claim that there are robust natural kinds in nature, defined by their causal powers: this is precisely what then-recent advances in chemistry hold. (shrink)

In October 2013, the Declaration of Helsinki was revised a seventh time in its 50 year history. While it is the most widely accepted set of ethical principles for the protection of patients participating in medical research, the Declaration of Helsinki has also been subject of constant controversy. In particular, its paragraph on the use of placebo controls in clinical trials divides the research community into active-control and placebo orthodox proponents, both continuously demanding revisions of the Declaration of Helsinki in (...) favour of their position. The goal of the present project is to compare the mainly theoretical controversy with regulatory implementation. We distributed a questionnaire to national drug regulatory authorities from different countries to collect information on the authorities’ respective approaches to interpretation and implementation of the Declarations’ placebo paragraph in the conduct of medical research. Our findings suggest that the majority of drug regulatory authorities have established a practice of a middle ground, allowing placebo controls in some instances. Various interpretations of “serious harm” and “methodological reasons” are proposed as well as safeguards to avoid abuse of the option to use placebo-controls. Leaving the placebo paragraph open to various interpretation is a result of the Declaration of Helsinki’s character as a guidance document. With the current version controversy will continue. The Declaration should be continued to be strengthened to enforce the appreciation of conducting medical research with the highest ethical standard. (shrink)

Thomas Aquinas asked the essential philosophical question which continues to resound to the modern day: what constitutes a human being? This volume looks at Aquinas's views on bodily and spiritual identity through a lens of theological concerns, pagan and Arabic authoritative sources, and contemporary polemic with dualist heresy.

This is about Gassendi's 5th Objections to the Meditations and Descartes' Reply. The main issue is what clear and distinct perception consists in and whether we need a criterion in order to know if we perceive something clearly and distinctly.

This paper argues that Locke cannot provide a satisfactory account of perceptual error.

This paper gives three arguments for why Lockean persons must be modes rather than substances.

Gassendi holds that matter is intrinsically active - it possesses an innate active force or power. This paper explains what that active power consists in and why Gassendi adopted this view.

The 18th-century American philosopher Jonathan Edwards argues that nothing endures through time. I analyze his argument, paying particular attention to a central principle it relies on, namely that “nothing can exert itself, or operate, when and where it is not existing”. I also consider what I supposed to follow from the conclusion that nothing endures. Edwards is sometimes read as the first four-dimensionalist. I argue that this is wrong. Edwards does not conclude that things persist by having different temporal parts; (...) he concludes that nothing persists. (shrink)

In this paper I consider Otto Neurath’s late discussion of the political and social context of Plato’s Republic, especially how Neurath conceived them in the 1940s. Neurath’s argumentation is contrasted with the ideas of Karl Popper, both with regard to the latter’s reading of Plato and to his general methodology. The distinction between Neurath’s treatments of epistemology and politics is also discussed, by highlighting how these two were interwoven in the discussion, and how they differentiated Neurath’s articles from Popper’s considerations (...) in the Open Society. (shrink)

Edgar Morin is one of the most important contemporary European philosophers. His name has recently also become well known on the American continent, especially in South America, where his works have given rise to several interesting cultural initiatives. The analysis of his pedagogical proposal can be a stimulating adventure for educators and teachers alike. Morin's proposal to link methodologically what is disjoined suggests re-establishing the connection between thought and action, in order to re-establish on rational and critical bases the ethical (...) principles of solidarity and responsibility and enable us to face the challenges of our times. (shrink)

The 18th-century American philosopher Jonathan Edwards argues that nothing endures through time. I analyze his argument, paying particular attention to a central principle it relies on, namely that “nothing can exert itself, or operate, when and where it is not existing”. I also consider what I supposed to follow from the conclusion that nothing endures. Edwards is sometimes read as the first four-dimensionalist. I argue that this is wrong. Edwards does not conclude that things persist by having different temporal parts; (...) he concludes that nothing persists. (shrink)

This paper attempts to reconstruct Hume's argument in Treatise 1.4.1, 'Of Scepticism with Regard to Reason'.

You can come to know that you believe that p partly by reflecting on whether p and then judging that p. Call this procedure “the transparency method for belief.” How exactly does the transparency method generate known self-attributions of belief? To answer that question, we cannot interpret the transparency method as involving a transition between the contents p and I believe that p. It is hard to see how some such transition could be warranted. Instead, in this context, one mental (...) action is both a judgment that p and a self-attribution of a belief that p. The notion of embedded mental action is introduced here to explain how this can be so and to provide a full epistemic explanation of the transparency method. That explanation makes sense of first-person authority and immediacy in transparent self-knowledge. In generalized form, it gives sufficient conditions on an attitude’s being known transparently. (shrink)

In his 1987 novel Foe, J. M. Coetzee re-introduces the figure of Friday, a speechless cannibal, who is Robinson Crusoe’s slave and who allegedly had his tongue severed by slave-traders. Evidently, Friday’s bestialization and his peculiar position within the narrative are inextricably linked to his status as a nonspeaking character. In contrast to Susan, Coetzee’s “failed narrator”, Friday narrates nothing in the novel. Hence, his silence can be seen as a site of resistance to the oppressive power that tries to (...) define him, marking the limit of a language and a literature that seek to place him within western logocentrism. Thus, the enigma of Friday and the enigma that is Friday, are the major axis around which the novel and all relationships within it unfold. Susan’s -and by extension, Coetzee’s own- inability to interpret Friday’s silence does not incapacitate the narrative but quite the contrary: it is only through her productive failure to determine, to identify and to define the figure of Friday that Coetzee is able to restore agency and meaningfulness to Friday’s silence, opening up its void to the possibility of a restitution to come. (shrink)

: Wittgenstein raises the notion of "conversion" in philosophy through his claims that philosophical understanding is a matter of the will rather than the intellect. Soulez examines this notion in Wittgenstein's philosophy through a series of reflections on the aims and methodology of his philosophical "grammar," in relation to comparable models among Wittgenstein's contemporaries (Freud, James) and from the history of philosophy (Saint Augustine, Descartes).

Publication date: 22 December 2020 Source: International Letters of Social and Humanistic Sciences Vol. 89 Author: Dhikru Adewale Yagboyaju, Antonia Taiye Simbine Party system and the administration of political parties are critical factors in determining the direction of politics and democracy. Three political parties contested at the inception of Nigeria’s Fourth Republic in 1999, but the number increased to more than 91 as at 2019. This paper raises fundamental questions as to whose interest – public or private interest of (...) promoters and financiers - these parties serve, and whether the increase in the number of political parties has significantly entrenched democratic values in the country? These questions are compelling because of several events in political party operations in the 20 years of the Fourth Republic. These include controversial and vexatious party primaries preceding every major election, often leading to protracted and distractive litigations and rampant political defections. Unregulated use of money has, in particular, restrained ample participation by women and youths, while violence is almost becoming a norm and permanent characteristic of the electoral and political system. The paper draws data from secondary documentary sources for its conceptual and theoretical contents. Primary data are generated from events analyses by the authors as observers at party conventions and other meetings for the selection of candidates for political offices as well as during general elections. This is complimented by content analyses of relevant documents including electoral laws, court and law reports, and reports by special committees such as the Electoral Reform Committee. A combination of the ecological approach and conspiratorial theory is deployed for the paper’s analytic frame. (shrink)

Wittgenstein raises the notion of "conversion" in philosophy through his claims that philosophical understanding is a matter of the will rather than the intellect. Soulez examines this notion in Wittgenstein's philosophy through a series of reflections on the aims and methodology of his philosophical "grammar," in relation to comparable models among Wittgenstein's contemporaries and from the history of philosophy.