There are two main routes to a concept of (generalized) quantifier. The first starts from first‐order logic, FO, and generalizes from the familiar ∀ and ∃ occurring there. The second route begins with real languages, and notes that many so‐called noun phrases, a kind of phrase which occurs abundantly in most languages, can be interpreted in a natural and uniform way using quantifiers.

The main question addressed in this chapter is how to analyze the modal ingredient in the concept of logical consequence or logical validity of an inference, here expressed by saying that the truth of the conclusion of a logically valid inference should follow by necessity of thought from the truth of the premisses. It is claimed that this modal ingredient is not taken care of by Tarski’s requirement, later developed in model theory, that for all interpretations of the non-logical terms (...) of the sentences, the conclusion is true if the premisses are. Instead we must bring in reasoning or the notion of proof in the analysis, and it is shown how one may develop a notion of proof or validity of an argument based on the constructive meaning of the logical constants. It is proposed that from a constructive point of view, a sentence is a consequence of a set of premisses if and only if there is a proof in the sense explained of the sentence from the set of premisses. Knowledge of such a proof compels us to hold the conclusion true given that we hold the premisses true. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

This article provides an introduction to Kaplan-style semantics. The formal semantics usually employs the notion of a model, which, besides supplying the sets utterance contexts, circumstances and a domain M 0 of individuals, and also interprets the nonlogical atomic expressions of the language. Standard compositionality applies only to character: Funct makes immediate sense, since character assigns a semantic value directly to expressions. For semantic functions taking contextual arguments, the notion of compositionality must be revised. Notions of contextual compositionality apply directly (...) to the functional version of the setup that starts with the function char, and defines the other semantics from it. The point of evaluation semantics is indeed basic: if it is compositional, so is the content semantics, and the character semantics. (shrink)

I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...) useful explication of sameness across domains. (shrink)

This paper focuses on how revolts against caste-based oppression in India have been made invisible due to conceptual legacies in European social and political theory. Weber’s and Arendt’s conceptualization of Pariah agency is a case in point. Arendt’s main understanding of Pariah agency is individualized and inadequate to study freedom struggles among untouchable castes. This article argues that one not only needs to move away from analyzing individual to collective action, but it is also crucial to foreground how collective mobilization (...) among excluded groups has focused on contingencies that embed a system of domination. Dr. Bhimrao Ambedkar’s critique of caste-based domination in India is noteworthy in this regard; he foregrounds how the distinction between “Touchables” and “Untouchables” in the caste system is both embedded and contingent. Focusing on untouchability in India, Ambedkar offers insights into hegemonic analyses of social exclusion, human rights articulations before the Universal Declaratio... (shrink)

This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

Ethics in business and economics is often attacked for being too superficial. By elaborating the conclusions of two such critics of business ethics and welfare economics respectively, this article will draw the attention to the ethics behind these apparently well-intended, but not always convincing constructions, by help of the fundamental ethics of Emmanuel Levinas. To Levinas, responsibility is more basic than language, and thus also more basic than all social constructions. Co-operation relations in organizations, markets and value networks are generated (...) from personal relations and personal responsibilities. It is not sufficient to integrate ethics in an impersonal, rational system, neither in business organizations nor in the world economy. Ethics has its source not in rationality, but in the personal. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including business ethics, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including ‘business ethics’, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

How should the policies of search engines and other information intermediaries be ethically evaluated? It is argued that Kant’s principles for the public use of reason are useful starting points for the formulation of criteria for such an evaluation. The suggestion is, furthermore, that a search engine can be seen to provide a testimony to the user concerning what information that is most relevant to her query. This suggestion is used as the basis for the development of a broadly Kantian (...) account of a rational searcher. It is argued that the search engine companies are morally required to publish their information policies and act in accordance with them but given the threat of search engine spam they can have no obligation to publish the details of their algorithms. (shrink)

In the analysis of the ethicalproblems of online research, there is much tobe learned from the work that has already beendone on research ethics in the socialsciences and the humanities. I discuss thestructure of norms in the Norwegian ethicalguidelines for research in the social scienceswith respect to their relevance for the ethicalissues of Internet research. A four-stepprocedure for the ethical evaluation ofresearch is suggested. I argue that eventhough, at one level, the problems of onlineresearch are very similar to those we (...) find intraditional areas of social scientificresearch, there still are some issues that areunique to research online. A general model forthe analysis of privacy and data protection issuggested. This model is then used tocharacterize the special problems pertaining tothe protection of privacy in online contexts,and to argue that one cannot assume a simpledistinction between the private and the publicwhen researching in such contexts. (shrink)

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it (...) makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)

The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits well into a modern study of generalized quantifiers.

La philosophie de Jean-Paul Sartre dans L'être et le néant et Critique de la raison dialectique garde toujours sa validité comme élucidation de notre liberté située. Néanmoins, il faut la critiquer – au double sens de limiter et corriger – sur deux thèmes : 1) l'interprétation sartrienne de la matière et de la science de la physique ressemble à celle des positivistes logiques , dont on sait la faiblesse ; 2) les relations sociales analysées par Sartre non seulement avec profondeur, (...) mais aussi avec brillance, mettent à coté ou ignorent une socialité plus fondamentale et anonyme, dont il faut aussi rendre compte. Les contributions néo-kantiennes de l'École de Marbourg, en particulier celles de Ernst Cassirer, peuvent suppléer ou rectifier la philosophie sartrienne, en en faisant un situationnisme critique. (shrink)

We characterize the generalized quantifiers Q which satisfy the scheme $QxQy\phi \leftrightarrow QyQx\phi$ , the so-called self-commuting quantifiers, or quantifiers with the Fubini property.

This is a reply to H. Ben-Yami, 'Generalized quantifiers, and beyond' (this journal, 2009), where he argues that standard GQ theory does not explain why natural language quantifiers have a restricted domain of quantification. I argue, on the other hand, that although GQ theory gives no deep explanation of this fact, it does give a sort of explanation, whereas Ben-Yami's suggested alternative is no improvement.

The aim of this paper is to make a critical assessment of Krister Segerberg''s theory of action. The first part gives a critical presentation of the key concepts in Segerberg''s informal theory of action. These are the ideas that motivate the formal models he develops. In the second part it is argued that if one takes all of Segerberg''s motivating ideas seriously, problems are forthcoming. The main problem is that on this theory the agents seem to be bound to realize (...) all of their intentions, a problem that stems from Segerberg''s attempt to individuate actions in terms of the agent''s intentions. On the ground that this unfortunate result is forthcoming in both of Segerberg''s approaches to the logic of action it is concluded that the conceptual basis of the theory is problematic. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

This note explains the circumstances under which a type 1 quantifier can be decomposed into a type 1, 1 quantifier and a set, by fixing the first argument of the former to the latter. The motivation comes from the semantics of Noun Phrases (also called Determiner Phrases) in natural languages, but in this article, I focus on the logical facts. However, my examples are taken among quantifiers appearing in natural languages, and at the end, I sketch two more principled linguistic (...) applications. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

As in classical Latin philosophical and theological texts, Spinoza did not make any semantic distinction between the concepts of conscientia and conscius, and used one interchangeably. But the concept of conscientia is used as an “inner voice” or “conscience” meaning “moral sensitivity” or “moral awareness” and expresses both rational and irrational processes in traditioanl philosophy. On the other hand, the concept of conscius is used in the sense of “consciousness” and expresses a mental or psychological reflexive activity based on rational (...) processes in the same tradition. Based on Spinoza's use of the two concepts in the same sense, this study claims that “moral sensitivity” is formed as a result of reflexive thinking, which is a mental action. Where consciousness is understood as a reflexive activity based on the relationship between ideas, it is argued that “moral awareness” occurs in the mind as an idea formed as a result of the relationship between ideas. In the study, it is determined that Spinoza developed a kind of “moral consciousness” theory based on the awareness in question, rather than a “conscience theory”. The main focus of the study is that the idea of “good” and “evil”, which are the basic concepts in Spinoza’s ethics, arise from the idea of “joy” and “sadness” that occur as emotions in the mind. Here, “joy” or “sadness” is considered as the primary ideas that occur in the mind as a result of the affection of the body, and “good” or “bad” as secondary ideas formed by the mind as a result of contemplation on these primary ideas. In the article, the theory of “moral consciousness” is based on the “ideas of ideas”, which are the secondary ideas in question. Keywords: Consciousness, Conscience, Awareness, Moral Consciousness, Good-Evil, Joy-Sadness. (shrink)