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.

The Justification of Deduction is the title of one of Michael Dummett’s essays. It names also an important theme in his writings to which he returned in the book The Logical Basis of Metaphysics. In the essay he distinguishes different levels of justification of increasing philosophical depth. At the third and deepest level, the focus is on explaining deduction rather than on justifying it. The task is to explain how deduction can be both legitimate and useful in giving us knowledge. (...) I suggest that it can be described as essentially being the task to say what it is that gives a deduction its epistemic force. It is a fact that deduction has such force, consisting in its capacity to provide grounds for assertions and thereby extend our knowledge, but it is a fact that has to be explained. What is it that gives a deduction this capacity? This task is more challenging than is usually assumed. Obviously, it is not the validity of its inferences, as this is usually understood, which gives a deduction its epistemic force. Truth conditional theory of meaning does not seem to have any satisfactory solution to offer, and I argue that nor have inferential theories of meaning, which take the meaning of sentences to be determined by inference rules accepted in a language. In the last part of the paper, I sketch a different approach to the problem. The main idea is here to give the concept of inference a richer content, so that to perform an inference is not only to make a speech act in which a conclusion is claimed to be supported by a number of premisses, but is in addition to operate on the grounds for the premisses with the aim of getting a ground for the conclusion. I suggest that it is thanks to such operations that deductions provide grounds for their final conclusions. (shrink)

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.

Dag Prawitz The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 119-122, March 2013.

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 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)

In terms of Arabic philology, the concept of reason performs the function of bonding and is a key to terms such as wisdom, goodness, duty, and autonomy. By using the reason in its proper place, morality that regulates the self (nafs) emerges. The reason, which is seen as the source of spiritual values, has given human beings the quality of being the subject of trust (amana). In Islamic Wisdom, human beings are distinguished from animals by the characteristics of carrying the (...) Trust and having morality. Morality is not a factual but a spiritual value produced by the self. Thus, having reason also requires being moral. Reason, which is related to both matter and meaning, must move in parallel like a clock with morality, which is related to ideas and deeds. The unity of reason and morality is like the two boat oars that must be pulled in order to navigate the boat at the sea. The disruption of this balance leads to the disruption of the order. Islamic wisdom emphasizes that when this dual plane is well established, order and dynamism arise, and when it is disrupted, chaos and stagnation occur. In this paper, the unity of reason and morality relationship in Islamic wisdom is discussed. (shrink)

This article examines the metaphysical and moral foundations of Spinoza’s account of suicide. Spinoza’s treatment of suicide is brought into question by his conatus doctrine, which posits the striving to preserve one’s own being as the very essence of existence. Accordingly, suicide, or the termination of life, as the destruction of one’s own being, represents the exhaustion of this striving. The analysis of the causes that lead to self-destruction has sparked significant debate in Spinoza’s literature, raising the question of whether (...) suicide is a passive and irrational decision or a free and rational choice. This article, which engages with prominent scholars of this literature, notably Matson, Bennett, LeBuffe and Nadler, aims to alleviate this controversy by offering alternative readings and arguments. It concludes that free and rational suicide does not exist in Spinoza’s thought; instead, the “suicide of reason or rationality” forms the basis for bodily suicide. (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.

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.

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)

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)

Justice is an important concept in philosophy since ancient times and a key phenomenon in human life (in societies). First a judge at a court, two sides, their witnesses, Lawyer-A and Lawyer-B are considered in this quasi-essay inquiry. Then pointed out that, which lawyer better develops his/her arguments, his/her side will be advantageous. Reality conceals on the one side, truth (and rightness) stands on the other. However this will be risky in social life; it may be understood by an ordinary (...) man (or someone who doesn’t have a proper philosophical insight) as “who - obeying the rules- better diverts reality and shows that (s)he is right, his/her side wins.” Not only knowledge, but also philosophy itself loses prestige in such a tableau. Stemming from ‘Gettier-pictures,’ a “murderingevent” is presented thereafter. By help of pseudo-philosophers Prof. Truth, Prof. Reality and E.G. (“eyeglasser”) some perspectives related to “knowledge” and “knowing” are discussed while trying to analyze the mentioned event. At the end, (reflecting in the place of me) E.G. states some features (which are important for him) concerning knowledge. In this paper, ‘subject-dependency’ and internalizability (or better, interiorizability) of knowledge will be traced somehow; in addition to a search towards ‘relevant’, ‘valuable’, ‘illicit’, and ‘proper’ kinds. (shrink)

The article examines national news reports on prostitution of Russian women in northern Norway between 1990 and 2001. Applying critical discourse analysis, the author shows how this particular type of cross-border, rural prostitution is represented as sexual transaction, as a sociopolitical problem, and as a symbolic issue used to legitimize stricter border controls. Images of prostitutes, pimps and customers are also discussed. The different thematizations are in turn connected to various historical practices of state regulation of sexuality, to constructions of (...) group identities based on moral categories, and to social definitions of what is normal and what is deviant. (shrink)

It is not unreasonable to think that the dispute between classical and intuitionistic mathematics might be unresolvable or 'faultless', in the sense of there being no objective way to settle it. If so, we would have a pretty case of relativism. In this note I argue, however, that there is in fact not even disagreement in any interesting sense, let alone a faultless one, in spite of appearances and claims to the contrary. A position I call classical pluralism is sketched, (...) intended to provide a coherent methodological stance towards the issue. Some reasons to recommend this stance are given, as well as some speculations as to why not everyone might want to follow the recommendation. (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)

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)

Bu makale genel olarak karşılaştırmalı teoloji alanını Türkçe okuyucuya tanıtmayı amaçlamaktadır. Karşılaştırmalı teoloji, son yıllarda Batıda yeniden yorumlanmış ve ötekinden öğrenme düsturuyla yola çıkan akademik bir disiplin alanıdır. Bu makale karşılaştırmalı teolojiyi tanıtmakla beraber Hristiyan teolojisi içindeki yerini de sorgulayacaktır. Bu bağlamda, karşılaştırmalı teolojinin dinler teolojisine bir alternatif olup olmadığı, karşılaştırmalı teolojinin dinler teolojisinden bağımsız bir alan olarak değerlendirilip değerlendirilemeyeceği, dinler teolojisi içerisinde bir tipoloji olarak görülüp görülmediği gibi sorunlara da cevap arayacaktır. Nihayetinde bu makalede karşılaştırmalı teolojinin dinler teolojisine alternatif (...) olarak görülemeyeceği, aynı zamanda dinler teolojisi içerisinde üç veya dört yönlü tipolojilerden biri olarak da değerlendirilemeyeceği sonucuna varılmıştır. Sonuçta karşılaştırmalı teoloji ve dinler teolojisinin birbirinden bağımsız ama birbirlerini tamamlayan iki alan olduğu iddia edilecektir. (shrink)