Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was (...) much of a parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

Parallel lives is a model which provides an interpretation of quantum theory that is both local and realistic. This model assumes that all quantum fields are composed of point beings called “lives”. Lives interact locally and have a memory of their previous interactions. The reduction of the state vector is not included in this model: lives can be divided into different worlds. This feature resembles many worlds interpretation. However in the parallel lives model, the division of lives into (...) different worlds takes place locally. The parallel lives model is expected to be compatible with special relativity, as the lives propagate at a speed that does not exceed the speed of light and interact locally. On the other hand, it is open to paradoxes based on counterfactual propositions, as it provides a realistic interpretation of quantum theory. In this paper, we confront the parallel lives model with the paradox proposed by Hardy. We show that the parallel lives model cannot overcome the dilemma in Hardy’s paradox. We discuss implications of this confrontation on special theory of relativity, and speculate a solution that we believe, fits the spirit of the parallel lives model. (shrink)

The splitting theorem says that any set of formulae has a finest representation as a family of letter-disjoint sets. Parikh formulated this for classical propositional logic, proved it in the finite case, used it to formulate a criterion for relevance in belief change, and showed that AGMpartial meet revision can fail the criterion. In this paper we make three further contributions. We begin by establishing a new version of the well-known interpolation theorem, which we call parallel interpolation, use it (...) to prove the splitting theorem in the infinite case, and show how AGM belief change operations may be modified, if desired, so as to ensure satisfaction of Parikh’s relevance criterion. (shrink)

An important question in epistemology concerns how the two species of justification, propositional and doxastic justification, are related to one another. According to the received view, basing one’s belief p on the grounds that provide propositional justification to believe p is sufficient for the belief to be doxastically justified. In a recent paper, however, John Turri has suggested that we should reverse the direction of explanation. In this paper, I propose to see the debate in a new light by suggesting (...) that the best way to understand the relationship between these species of justification is by viewing propositional justification as an dispositional property that a subject can have with doxastic justification as its manifestation. I show how the debate in metaphysics over the question of how disposition statements should be analyzed runs parallel to the epistemological debate, and bring some of the results in the dispositions debate to bear on the epistemological question. I end by offering some tentative remarks regarding the order of priority of these two species of justification. (shrink)

An important objection to sententialist theories of attitude reports is that they cannot accommodate the principle that one cannot know that someone believes that p without knowing what it is that he believes. This paper argues that a parallel problem arises for propositionalist accounts that has gone largely unnoticed, and that, furthermore, the usual resources for the propositionalist do not afford an adequate solution. While non-standard solutions are available for the propositionalist, it turns out that there are parallel (...) solutions that are available for the sententialist. Since the difficulties raised seem to show that the mechanism by which sentential complements serve to inform us about attitudes and about sentence meaning does not depend on their referring to propositions, this casts doubt on whether talk of propositions should retain a significant theoretical role in the enterprise of understanding thought, language and communication. (shrink)

Cirquent calculus is a proof system with inherent ability to account for sharing subcomponents in logical expressions. Within its framework, this article constructs an axiomatization $$\text{ CL18 }$$ CL18 of the basic propositional fragment of computability logic—the game-semantically conceived logic of computational resources and tasks. The nonlogical atoms of this fragment represent arbitrary so called static games, and the connectives of its logical vocabulary are negation and the parallel and choice versions of conjunction and disjunction. The main technical result (...) of the article is a proof of the soundness and completeness of $$\text{ CL18 }$$ CL18 with respect to the semantics of computability logic. (shrink)

We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it.

Contemporary epistemology has assumed that knowledge is represented in sentences or propositions. However, a variety of extensions and alternatives to this view have been proposed in other areas of investigation. We review some of these proposals, focusing on (1) Ryle's notion of knowing how and Hanson's and Kuhn's accounts of theory-laden perception in science; (2) extensions of simple propositional representations in cognitive models and artificial intelligence; (3) the debate concerning imagistic versus propositional representations in cognitive psychology; (4) recent treatments (...) of concepts and categorization which reject the notion of necessary and sufficient conditions; and (5) parallel distributed processing (connectionist) models of cognition. This last development is especially promising in providing a flexible, powerful means of representing information nonpropositionally, and carrying out at least simple forms of inference without rules. Central to several of the proposals is the notion that much of human cognition might consist in pattern recognition rather than manipulation of rules and propositions. (shrink)

Argument that Q∃ expresses more than one proposition: (1) Q∃ expresses the proposition that Q∃ expresses some proposition that isn’t true. ((E)) (2) If Q ∃ expresses only true propositions, then the proposition that Q ∃ expresses some proposition that isn’t true is true. ((1)) (3) If Q∃ expresses only true propositions, then some proposition expressed by Q∃ is not true. (2, T) (4) Some proposition expressed by Q ∃ is not true. ((3)) (5) The proposition that Q (...) ∃ expresses some proposition that isn’t true is true. (4, T) (6) Q∃ expresses at least one true proposition. (1,5) (7) Q∃ expresses at least two propositions. (3, 6) (A parallel argument shows that Q∀ expresses both true and false propositions. (shrink)

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.

Natural deduction systems were motivated by the desire to define the meaning of each connective by specifying how it is introduced and eliminated from inference. In one sense, this attempt fails, for it is well known that propositional logic rules underdetermine the classical truth tables. Natural deduction rules are too weak to enforce the intended readings of the connectives; they allow non-standard models. Two reactions to this phenomenon appear in the literature. One is to try to restore the standard readings, (...) for example by adopting sequent rules with multiple conclusions. Another is to explore what readings the natural deduction rules do enforce. When the notion of a model of a rule is generalized, it is found that natural deduction rules express “intuitionistic” readings of their connectives. A third approach is presented here. The intuitionistic readings emerge when models of rules are defined globally, but the notion of a local model of a rule is also natural. Using this benchmark, natural deduction rules enforce exactly the classical readings of the connectives, while this is not true of axiomatic systems. This vindicates the historical motivation for natural deduction rules. One odd consequence of using the local model benchmark is that some systems of propositional logic are not complete for the semantics that their rules express. Parallels are drawn with incompleteness results in modal logic to help make sense of this. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in (...) offering explanations and making predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

RésuméDans son analyse des propositions hypothétiques, conditionnelles et disjonctives, Ibn Sīnā suggère que ces propositions peuvent être quantifiées et présente dans la section VI de son traité un système hypothétique contenant les propositions conditionnelles, qui est exactement parallèle à la syllogistique des propositions catégoriques et utilise les mêmes règles de conversion et les mêmes démonstrations. Dans la section VII, il présente quatre listes de propositions hypothétiques quantifiées dont les composants sont eux-mêmes quantifiés et affirme que (...) les relations du carré aristotélicien des oppositions valent pour ces propositions. Par ailleurs, il affirme que certaines propositions conditionnelles universelles affirmatives sont équivalentes à certaines universelles négatives dont les conséquents sont opposés, et également à certaines propositions disjonctives. Le problème est que ces thèses sont incompatibles entre elles, car elles requièrent deux lectures différentes de la proposition conditionnelle universelle affirmative, qu'Ibn Sīnā ne distingue pas clairement. Dans le présent article nous résolvons le problème en distinguant explicitement entre ces deux interprétations et en montrant que la première valide la conversion de l'universelle affirmative et les relations du carré des oppositions ainsi que tous les modes admis, alors que la seconde valide la règle de contraposition et les équivalences énoncées par Ibn Sīnā, ce qui rend compte des affirmations d'Ibn Sīnā et rend le système cohérent. (shrink)

This paper defends a key aspect of the Peircean conception of truth—the idea that truth is in some sense epistemically-constrained. It does so by exploring parallels between Peirce’s epistemology of inquiry and that of Wittgenstein in On Certainty. The central argument defends a Peircean claim about truth by appeal to a view shared by Peirce and Wittgenstein about the structure of reasons. This view relies on the idea that certain claims have a special epistemic status, or function as what are (...) popularly called ‘hinge propositions’. (shrink)

The early thirteenth century tract Ars Meliduna deals with the issue whether categorical propositions entail, or are entailed by, ‘continuing’ propositions, i.e. by implications. From the perspective of modern logic, with implication interpreted as a material, truth-functional connective, the first question has to be answered in the affirmative because, e.g. β entails (α ⊃ β). But conversely (α ⊃ β) ‘normally’ doesn’t entail the truth (or the falsity) of any of the components α, β; hence the second question (...) should be answered in the negative. These results cannot, however, be directly transferred to medieval logic because implication was there usually interpreted as a strict implication. Yet, within the framework of modal logic, one obtains parallel results. In particular, whenever β is necessary, then (α → β) must be true. Furthermore, if (α → β) is itself necessary, then it is entailed by α. Thus, in particular, ‘Socrates is a man’ entails the analytically true implication ‘If Socrates is a man, Socrates is an animal’, and the same premiss also entails the tautological consequent ‘If Socrates is white, Socrates is white’. (shrink)

The early thirteenth century tract Ars Meliduna deals with the issue whether categorical propositions entail, or are entailed by, ‘continuing’ propositions, i.e. by implications. From the perspective of modern logic, with implication interpreted as a material, truth-functional connective, the first question has to be answered in the affirmative because, e.g. β entails (α ⊃ β). But conversely (α ⊃ β) ‘normally’ doesn’t entail the truth (or the falsity) of any of the components α, β; hence the second question (...) should be answered in the negative. These results cannot, however, be directly transferred to medieval logic because implication was there usually interpreted as a strict implication. Yet, within the framework of modal logic, one obtains parallel results. In particular, whenever β is necessary, then (α → β) must be true. Furthermore, if (α → β) is itself necessary, then it is entailed by α. Thus, in particular, ‘Socrates is a man’ entails the analytically true implication ‘If Socrates is a man, Socrates is an animal’, and the same premiss also entails the tautological consequent ‘If Socrates is white, Socrates is white’. (shrink)

In this paper we show that some versions of Dung’s abstract argumentation frames are equivalent to classical propositional logic. In fact, Dung’s attack relation is none other than the generalised Peirce–Quine dagger connective of classical logic which can generate the other connectives ${\neg, \wedge, \vee, \to}$ of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel to variations of classical logic, such as resource logics, predicate logic, etc., etc., and create resource (...) argumentation frames, predicate argumentation frames, etc., etc. We also offer the notion of logic proof as a geometrical walk along the nodes of a Dung network and thus we are able to offer a geometrical abstraction of the notion of inference based argumentation. Thus our paper is also a contribution to the question: “What is a logical system” in as much as it integrates logic with abstract argumentation networks. (shrink)

In this article we explore how two enactments of HIV – the UN’s AIDS Clock and clinical trials for an HIV biomedical prevention technology or pre-exposure prophylaxis – entail particular globalizing and localizing dynamics. Drawing on Latour’s and Whitehead’s concept of proposition, and Serres’ call for a philosophy of prepositions, we use the composite notion of pre/pro-positions to trace the shifting topological status of HIV. For example, we show how PrEP emerges through topological entwinements of globalizing biomedical standardization, localizing protests (...) against PrEP trials and globalizing ethical principles. We go on to examine how our own analysis manifests a parallel topological pattern in which we deploy a globalizing argument about the localizing of the globalizing found in the AIDS Clock and the PrEP trails. Finally, we consider how the movement of ‘topology’ into the social sciences might itself benefit from a topological treatment. (shrink)

There are parallels between certain responses to local epistemological scepticism about religious belief and an influential reply to radical epistemological scepticism. What ties both accounts together is that they utilise, either implicitly or explicitly, a “hinge” proposition thesis which maintains that the pivotal beliefs in question are immune to sceptical attack even though they lack sufficient epistemic grounds. It is argued that just as this strategy lacks any anti-sceptical efficacy in the context of the radical sceptical debate, so it offers (...) no defence against a localised scepticism regarding religious belief either. What the defender of religious belief should do, it is claimed, is re-examine the manner in which a commitment to the doctrine of epistemological internalism underlies the sceptical attack. (shrink)

The aim of being able to reason about quantities, time or space has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning modulo theories are an approximation inspired by satisfiability modulo theories that generalize the integration of arbitrary theories with propositional planning. Parallel plans are crucial to reduce plan lengths and hence the time needed to reach a feasible plan in many approaches. Parallelization of actions relies on (...) the notion of interference, which is usually determined syntactically at compile time. In this paper we define a semantic notion of interference between actions in PMT. Apart from being strictly stronger than any syntactic notion of interference, we show how semantic interference can be easily and efficiently checked by calling an off-the-shelf SMT solver at compile time, constituting a technique orthogonal to the solving method. (shrink)

I draw attention to a 12-page Vorarbeit to Kant’s Prolegomena from the so-called Scheffner-Nachlaß and argue that the parallel Kant draws there between the possibility of theoretical and practical synthetic a priori propositions provides important insight into the development of his account of practical autonomy in the Groundwork. Based on a brief sketch of the role synthetic a priori propositions play in the development of Kant’s critical philosophy, I conclude that for Kant the objective validity of any (...) science depends on the objective validity of a number of synthetic a priori propositions. (shrink)

In at least some cases of future directed propositional hoping, facts about the hoper become puzzling if one supposes that the object of hoping is a future tensed proposition. These facts are easily explained by the alternative suppostion that the hoper accepts a future tensed proposition but bears the hopingattitude toward a disjunctively tensed proposition. Parallel remarks apply to past directed and present directed prepositional hoping. Thus, at least some instances of hoping have as their objects disjunctively tensed rather (...) than purely tensed propositions. Propositional remembering may possibly resemblepropositional hoping in this respect. (shrink)

Several authors assume that evaluative conditioning (EC) relies on high-level propositional thinking. In contrast, the dual-process perspective proposes two processing pathways, one associative and the other propositional, contributing to EC. Dual-process theorists argue that attitudinal ambiguity resulting from these two pathways’ conflicting evaluations demonstrate the involvement of both automatic and controlled processes in EC. Previously, we suggested that amplitude variations of error-related negativity and error-positivity, two well-researched event-related potentials of performance monitoring, allow for the detection of attitudinal ambiguity at the (...) neural level. The present study utilises self-reported evaluation, categorisation performance, and neural correlates of performance monitoring to explore associative-propositional ambiguity during social attitude formation. Our results show that compared to associative-propositional harmony, attitudinal ambiguity correlates with more neutral subjective evaluations, longer response times, increased error commission, and diminished error-related negativity amplitudes. While our findings align with dual-process models, we aim to offer a propositional interpretation. We discuss dual-process theories in the context of evolutionary psychology, suggesting that associative processes may only represent a small piece of the EC puzzle. (shrink)

Bolzano's position on logic and his theory of sentences-in-themselves and their analysis, as well as his position on existence statements and subjective representations show a striking and profound similarity to Frege's theory of thoughts, his analysis of propositions, representations and judgment, as well as his position on the nature of logic in general. Bolzano's theories on these points, therefore, may well have been seminal to the development of Frege's position.

In contrast with some recent theories of infinitesimals as non-Archimedean entities, Leibniz’s mature interpretation was fully in accord with the Archimedean Axiom: infinitesimals are fictions, whose treatment as entities incomparably smaller than finite quantities is justifiable wholly in terms of variable finite quantities that can be taken as small as desired, i.e. syncategorematically. In this paper I explain this syncategorematic interpretation, and how Leibniz used it to justify the calculus. I then compare it with the approach of Smooth Infinitesimal Analysis (...) (SIA), as propounded by John Bell. Despite many parallels between SIA and Leibniz’s approach —the non-punctiform nature of infinitesimals, their acting as parts of the continuum, the dependence on variables (as opposed to the static quantities of both Standard and Non-standard Analysis), the resolution of curves into infinitesided polygons, and the finessing of a commitment to the existence of infinitesimals— I find some salient differences, especially with regard to higher-order infinitesimals. These differences are illustrated by a consideration of how each approach might be applied to Newton’s Proposition 6 of the Principia, and the derivation from it of the v2/r law for the centripetal force on a body orbiting around a centre of force. It is found that while Leibniz’s syncategorematic approach is adequate to ground a Leibnizian version of the v2/r law for the “solicitation” ddr experienced by the orbiting body, there is no corresponding possibility for a derivation of the law by nilsquare infinitesimals; and while SIA can allow for second order differentials if nilcube infinitesimals are assumed, difficulties remain concerning the compatibility of nilcube infinitesimals with the principles of SIA, and in any case render the type of infinitesimal analysis adopted dependent on its applicability to the problem at hand. (shrink)

Doctors and dentists have traditionally used antibiotic prophylaxis in certain patient groups in order to prevent infective endocarditis (IE). New guidelines, however, suggest that the risk to patients from using antibiotics is higher than the risk from IE. This paper analyses the relative risks of prescribing and not prescribing antibiotic prophylaxis against the background of Pascal’s Wager, the infamous assertion that it is better to believe in God regardless of evidence, because of the prospective benefits should He exist. Many doctors (...) seem to believe the parallel proposition that it is better to prescribe antibiotics, regardless of evidence, because of the prospective benefit conferred upon the patient. This has been called the “no lose philosophy” in medicine: better safe than sorry, even if the evidence inconveniently suggests that following this mantra is potentially more likely to result in sorry than safe. It transpires that, just as Pascal’s Wager fails to convince because of a lack of evidence to support it and the costs incurred by trying to believe, so the “belts and braces” approach of prescribing antibiotic prophylaxis is unjustifiable given the actual evidence of potential risk and benefit to the patient. Ultimately, there is no no-lose if your clinical decisions, like Pascal’s Wager, are based on faith rather than evidence. (shrink)

The paper presents a logical treatment of actions based on dynamic logic. This approach makes it possible to reflect clearly the differences between static and dynamic elements of the world, a distinction which seems crucial to us for a representation of actions.Starting from propositional dynamic logic a formal system (DLA) is developed, the programs of which are used to model action types. Some special features of this system are: Basic aspects of time are incorporated in DLA as far as they (...) are needed for our purpose. Names for states and for instants are simulated by formulas. It is possible to express formally that a formula is satisfiable or valid. A special program is introduced to reflect developments which are not caused by an official agent but by external influences. (shrink)

The distinction between propositional and doxastic justification is normally applied to belief. The goal of this paper is to apply the distinction to faith and hope. Before doing so, I discuss the nature of faith and hope, and how they contrast with belief—belief has no essential conative component, whereas faith and hope essentially involve the conative. I discuss implications this has for evaluating faith and hope, and apply this to the propositional/doxastic distinction. There are two key upshots. One, bringing in (...) faith and hope makes salient additional normative categories, including the way the distinction between epistemic and practical justification interacts with the distinction between propositional and doxastic justification. Two, a paradigm example of propositional without doxastic justification is a belief that is evidentially supported but based on wishful thinking. Surprisingly, parallel cases of faith and hope may actually enjoy both propositional and doxastic justification. I conclude by exploring what it might look like for faith and hope to have propositional justification without doxastic justification. (shrink)

I intended to write four papers whose topics faintly concerned separate issues in meaning and modality. As it turned out, chapters 1-3 all roughly concern the same topic: propositions. While I argue for two different theses in chapters 1 and 2, I try to understand the changing propositions literature in both. In addition to arguing for the respective theses in chapters 1 and 2, accounting for this change is a parallel goal for the chapters taken together. Chapter (...) 3 examines particular propositional roles---the objects of the attitudes and the objects of credence. Finally, chapter 4 changes the subject to the second conjunct in the title---modality, specifically of the epistemic kind. (shrink)

This paper examines three propositions: “First to arise within intellectual awareness is the notion of Being”; the human being is defined as “the rational animal”; and knowing involves “the complete return of the subject into itself.” Its starting point is an examination of what seems trivial: the letter ‘F’ in ‘First.’ It involves eidetic recognition of the alphabet and is identically the same, not only in different times and places and in different type-faces or hand-written form, but in differing (...) media: visual, audile, tactual. And eidetic recognition is also involved in the terms into which the letters or sounds or embossings enter, each of which is definable in terms of other terms which, in turn, are definable in other terms until we see that the whole itself is articulated in terms of the interlacing of meanings. What grounds such recognition is the openness to the whole introduced by the notion of being. The unrestrictedness of the openness is paralleled by the coemergence of the principle of noncontradiction which governs coherent discourse. In both sensory presentation and intellectual apprehension we are outside our spatial inside, with the things manifest in the environment and in terms of the world of public meaning expressed in language. The second part of the paper traces the various options for understanding the notion of being in the history of Western thought: Parmenides, Plato, Aristotle, Aquinas, Scotus, Spinoza, Hegel, Nietzsche, Heidegger, and Derrida. (shrink)

In the debate between literalism and contextualism in semantics, Kent Bach’s project is often taken to stand on the latter side of the divide. In this paper I argue that this is a misleading assumption and justify this by contrasting Bach’s assessment of the theoretical eliminability of minimal propositions arguably expressed by well-formed sentences with standard minimalist views, and by further contrasting his account of the division of interpretative processes ascribable to the semantics and pragmatics of a language with (...) a parallel analysis carried out by the most radical opponent to semantic minimalism, i.e., by occasionalism. If my analysis proves right, the sum of its conclusions leaves Bach’s proposal in an invisible region of the literalism/contextualism debate. (shrink)

Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.

In diesem Aufsatz argumentiere ich, dass die Standardauffassung von Propositionen und propositionalen Einstellungen inadäquat ist, ein Artefakt der gegenwärtig herrschenden theorielastigen Auffassung von Intentionalität, Sprache und Rationalität, und skizziere eine alternative Auffassung. Im folgenden Abschnitt belege ich erst einmal die These der Theorielastigkeit anhand einiger Beispiele vor allem aus der gegenwärtigen analytischen Philosophie. Der dritte Abschnitt erklärt, wie diese Theorielastigkeit im Standardverständnis von Propositionen und propositionalen Einstellungen verkörpert ist. Im vierten Abschnitt argumentiere ich, dass dieses Standardverständnis der Proposition zwei unvereinbare (...) Rollen zuweist. Sie kann nicht sowohl einen Sachverhalt repräsentieren, der Gegenstand praktischer genauso wie theoretischer Stellungnahmen sein kann, als auch wie eine theoretische Stellungnahme Wahrheitswertträger sein. In den folgenden Abschnitten versuche ich eine partielle Diagnose, wie es zu dieser Auffassung kommen kann: gewisse Formen der Neutralisierung von Stellungnahmen durch das bloße „in den Raum stellen“ (fünfter Abschnitt), durch fiktionale Kontexte (sechster Abschnitt) und den Kontext logischer Verknüpfungen (der so genannte „Frege-Punkt“; siebter Abschnitt) werden verwechselt mit der Neutralität zwischen dem Praktischen und Theoretischen, zwischen Wollen und Wahrheit, die die Standardauffassung erfordern würde. Der achte Abschnitt skizziert in groben Umrissen ein alternatives Bild. Demnach wird eine Repräsentation eines Sachverhalts erst durch die dazu kommende theoretische oder praktische Position zu einer Stellungnahme und damit zum Träger eines Erfüllungswerts. Die Bereiche des Praktischen und des Theoretischen sind parallel strukturiert und unterschieden sich im Wesentlichen nur durch die Verschiedenheit der Passrichtungen. Grundlegende rationale Operationen wie Deduktion, Abduktion und Induktion können auf praktischen Stellungnahmen genauso ausgeführt werden wie auf theoretischen. Im neunten Abschnitt verorte ich die tieferen Wurzeln der Theorielastigkeit in dem Verlangen, das Praktische an die dem Theoretischen eigene Form der Objektivität zu assimilieren. Dieses Verlangen muss aber fruchtlos bleiben, und die dem Praktischen eigene Form der Objektivität wird so verfehlt. Der letzte Abschnitt deutet an, wie sich Werturteile in dem skizzierten Rahmen deuten lassen. (shrink)

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

Resumo O objetivo central deste texto é mapear a influência da sociologia weberiana na produção intelectual sobre o fenômeno religioso no Brasil. Mais especificamente, buscaremos compreender de que forma a prédica weberiana que estabelece a "afinidade" do protestantismo pietista com o "desencantamento" das imagens religiosas do mundo e a modernidade capitalista foi apropriada pela Sociologia da Religião, na tentativa de compreender o crescimento do pentecostalismo no Brasil. Assim, rastrearemos a produção sociológica, buscando estabelecer um paralelo entre as representações da sociedade (...) e da cultura brasileiras presentes na forma como os pesquisadores recortam e analisam o fenômeno pentecostal. Concentraremos nossas atenções nos trabalhos que seguem a linha teórica traçada por Cândido Procópio de Camargo, que podemos expressar esquematicamente da seguinte forma: conversão, ruptura com o passado tradicional (aqui representada pela pertença impensada a uma religião - catolicismo), desencantamento das crenças, que levaria à individuação e à ação racional e, finalmente, a modernização da sociedade brasileira. Vemos, portanto, que a reflexão procopiana e a de seus seguidores insere-se em um quadro intelectual mais amplo, que remonta à década de 1930, preocupado com as razões do atraso brasileiro e suas possibilidades de superação. Palavras-chave: Max Weber; Pentecostalismo; Desencantamento; Secularização; Modernização.The main purpose of this text is to map the influence of Weberian sociology on the intellectual production of the religious phenomenon in Brazil. Specifically, it endeavors to understand how the Weberian proposition, which establishes the "affinity" of pietist Protestantism with the "disenchantment" of religious images in the capitalist world and modernity, was appropriated by the Sociology of Religion in an attempt to understand the growth of Pentecostalism in Brazil. Thus, we review the sociological production, seeking to establish a parallel between representations of Brazilian society and culture evident in the way researchers consider and analyze the Pentecostal phenomenon. We focus our attention on the works that follow Cândido Procópio de Camargo's theory, which can be expressed schematically as: conversion, breaking with the traditional past (represented here by belonging thoughtlessly to a religion - Catholicism); disenchantment of beliefs, which would lead to individuation and rational action; and, finally, the modernization of Brazilian society. The conclusion points out that Camargo's thought and that of his followers are inserted into a broader intellectual framework, which dates back to the 1930s and is concerned with the reasons behind Brazilian underdevelopment and the chances of overcoming it. Key words: Max Weber; Pentecostalism; Disenchantment; Secularization; Modernization. (shrink)

I argue that joint attention solves the “base problem” as it arises for Schiffer’s and Lewis’s theories of common knowledge. The problem is that an account is needed of the perceptual base of some forms of common knowledge that gets by without itself invoking common knowledge. The paper solves the problem by developing a theory of joint attention as consisting in the exercise of joint know-how involving particular and sometimes distal targets and arguing that certain joint perceivers can always have (...) a minimal form of propositional common knowledge about the location of these targets. On such a view, perceptual common knowledge is based on the experience of a process that is maintained by way of perceivers’ exercise of an object-involving form of joint know-how. Some reductive theories of collective intentionality require that agents’ intentions and subplans are common knowledge (or “out in the open”) between them. For these theories the base problem arises again. The enacted theory of joint attention can solve the problem. The argument is exactly parallel to the common knowledge case. The openness of joint agents’ intentions and meshing subplans is explained by appeal to their practical knowledge of how to maintain the process by way of which they pursue the collective intention. They can then make this knowledge explicit by linguistic communication. When they succeed in communicating knowledge of their meshing subplans as pursued in a joint action context, they necessarily have this knowledge in common. For theories of collective intentionality that include a common knowledge condition, the experience of participating in a perceptually constituted joint action provides the base that renders harmless the regress that otherwise threatens reductive analyses. (shrink)

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural (...) rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models. (shrink)

This article further explains and develops a recent, comprehensive semantic naturalization theory, namely the interactive indexing (II) theory as described in my 2008 Minds and Machines article Semantic Naturalization via Interactive Perceptual Causality (Vol. 18, pp. 527–546). Folk views postulate a concrete intentional relation between cognitive states and the worldly states they are about. The II theory eliminates any such concrete intentionality, replacing it with purely causal relations based on the interactive theory of perception. But intentionality is preserved via purely (...) abstract propositions about the world that index, or correlate with, appropriate cognitive states. Further reasons as to why intentionality must be abstract are provided, along with more details of an II-style account of representation, language use and propositional attitudes. All cognitive representation is explained in terms of classification or sorting dispositions indexed by appropriate propositions. The theory is also related to Fodor’s representational theory of mind, with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory. In particular, Fodor’s insistence that thinking about an item cannot be reduced to sorting dispositions is supported via a novel two-level account of cognition—upper level propositional attitudes involve significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions. To conclude, the weak intentional realism of the II theory—which makes intentional descriptions of the world dispensable—is related to Dennett’s ‘intentional stance’ view, and distinguished from strong (indispensable) intentional realist views. II-style dispositions are also defended. (shrink)

At the outset, the philosopher being challenged hopes that the whole question rests on a false assumption. Maybe one can in fact fit together all of the doctrines of major philosophers in a single system which will be consistent, and so prove that there is no contradiction? But that plan hits a snag almost at once: for there are types of philosophic system so related that whenever a given proposition is true in one, its contrary is true in the other. (...) Sextus Empiricus was particularly ingenious at arranging these dual positions in parallel column, but even without his help, brief experiment shows that a simple conjunction rule will not answer the skeptic’s question. (shrink)

Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest (...) a reinterpretation of substitutional quantification, rendering the substitutional interpretation immune to problems that often arise as to the relation between substitutional range and referential range. (shrink)

Several authors have detected profound analogies between Kant and Wittgenstein. Their claims have been contradicted by scholars, such being the agreed penalty for attributions to authorities. Many of the alleged similarities have either been left unsubstantiated at a detailed exegetical level, or have been confined to highly general points. At the same time, the 'scholarly' backlash has tended to ignore the importance of some of these general points, or has focused on very specific issues or purely terminological matters. To advance (...) the debate, I distinguish four different topics: questions of actual influence; parallels at the methodological level; substantial similarities in philosophical logic; substantial similarities in the philosophy of mind. The article concentrates on the second and third topic. Section I argues that the critical conception of philosophy shared by Kant and Wittgenstein is itself due to the fact that they explain the a priori status of necessary propositions by reference to the way we experience or represent reality. Section II shows how the Tractatiis linguistically transforms this 'reflective turn', replacing Kant's preconditions of experience by preconditions of symbolic representation. Section III suggests that this explanation of the a priori involves the idea of an isomorphism between thought and reality, and that both Kant's transcendental idealism and Wittgenstein's early metaphysics of symbolism distort this isomorphism. Wittgenstein later rejected this metaphysics of symbolism, on the grounds that language is autonomous, and section IV detects parallels between that idea and Kant's 'diallelus' argument against the correspondence theory of truth. Finally, I claim that while Wittgenstein is right to insist that all a priori propositions are conceptual, Kant, in calling them synthetic a priori, is right to deny that they simply unpack the concepts involved in the propositions themselves. (shrink)

There are close parallels between Frank Jackson's case of black-and-white Mary and David Lewis's case of the two omniscient gods. This essay develops and defends what may be called “the ability hypothesis” about the knowledge that the gods lack, by adapting Lewis's ability hypothesis about the knowledge that Mary acquires. What the gods might lack despite their propositional omniscience is not any distinctive kind of information, but certain abilities of introspection. The motivating idea is that knowledge one acquires by exercising (...) introspective abilities cannot fail to be knowledge about oneself or indexical knowledge. So in order to envisage the gods' epistemic situation coherently, we need to assume that they lack those introspective abilities. But once we recognize that, it turns out that positing a special kind of information is a gratuitous addition. The two gods' ignorance simply consists in their lack of introspective abilities. (shrink)

The doctrine that whatever could exist does exist leads to a proliferation of possibly concrete objects given certain principles of recombination. If, for example, there could have been a large infinite number of concrete objects, then there is at least the same number of possibly concrete objects in existence. And further cardinality considerations point to a tension between the preceding doctrine and the Cantorian conception of the absolutely infinite. This paper develops a parallel problem for a variety of possible (...) worlds accounts of modality which eschew the commitment to a plethora of possibly concrete objects. Moreover, the difficulty is importantly different from more familiar threats of paradox exemplified by certain descendants of Russell's paradox of propositions and Kaplan's paradox. (shrink)

In several recent essays, Sydney Shoemaker argues that introspective knowledge lacks certain central features which parallel the conditions satisfied by ordinary cases of sense perception. In one influential paper, he discusses and criticizes the “broad perceptual” model of the nature of introspective knowledge of mental states, the view which claims that our introspective awareness of internal facts is analogous to our awareness of facts about the external world. This model may be characterized by its conformance to two conditions of (...) ordinary perceptual awareness which Shoemaker dubs the causation condition and the independence condition. Shoemaker attacks the broad perceptual model by arguing that certain mental facts are “self-intimating”, with the implication being that introspective awareness of mental states does not satisfy the independence condition, and hence its character is not adequately captured by the broad perceptual model. In what follows, I will discuss the main arguments of Shoemaker’s essay. I will argue that a broad perceptual model of introspection can successfully circumvent the central problems he raises; and along the way I will develop some criticisms regarding certain aspects of Shoemaker’s positive proposal.U nekolicini recentnih tekstova, Sydney Shoemaker tvrdi da introspektivnom znanju nedostaju određene ključne centralne značajke koje odgovaraju uvjetima zadovoljenima u običnim slučajevima osjetilne percepcije. U jednom utjecajnom radu on razmatra i kritizira »široki perceptualni « model prirode introspektivnog znanja mentalnih stanja, stajalište koje tvrdi da je naša introspektivna svijest unutrašnjih činjenica analogna našoj svijesti o činjenicama izvanjskoga svijeta. Ovaj model može biti okarakteriziran njegovom sukladnošću dvama uvjetima obične perceptivne svijesti koje Shoemaker naziva uvjet kauzacije i uvjet neovisnosti. Shoemaker napada široki perceptualni model tvrdeći da su određene mentalne činjenice »samozadane«, implicirajući da introspektivna svijest o mentalnim stanjima ne zadovoljava uvjet neovisnosti, te stoga njen karakter nije adekvatno obuhvaćen širokim perceptualnim modelom. U onome što slijedi razmotrit ću glavne argumente Shoemakerovoga rada. Tvrdim da široki perceptualni model introspekcije može uspješno zaobići centralne problem koje on ističe; i usput ću razviti neke kritike vezane uz određene aspekte Shoemakerovog pozitivnog prijedloga.Dans plusieurs essais récents, Sydney Shoemaker affirme que la connaissance introspective est dépourvue de certaines caractéristiques centrales correspondant aux conditions qui, elles, sont remplies dans les cas ordinaires de perception sensorielle. Dans un article influent, il examine et critique le modèle « perceptuel large » de la nature de la connaissance introspective des états mentaux, une position qui affirme que notre conscience introspective des faits internes est analogue à notre conscience des faits du monde externe. Ce modèle peut se définir par sa conformité à deux conditions de la conscience perceptuelle ordinaire que Shoemaker appelle condition de causation et condition d’indépendance. Shoemaker attaque d’abord le modèle perceptuel large en affirmant que certains faits mentaux se « laissent entendre d’eux-mêmes », impliquant que la conscience introspective des états mentaux ne remplit pas la condition d’indépendance et que, par conséquent, son caractère n’est pas saisi de manière adéquate par le modèle perceptuel large. Dans ce qui suit, j’examinerai les principaux arguments de l’essai de Shoemaker. J’affirmerai qu’un modèle perceptuel large de l’introspection peut contourner avec réussite les problèmes centraux qu’il soulève ; ce faisant, je développerai quelques critiques à l’égard de certains aspects de la proposition positive de Shoemaker.In ein paar rezenten Essays postuliert Sydney Shoemaker, das introspektive Wissen ermangele gewisser zentraler Spezifika, die den in herkömmlichen Fällen der Sinneswahrnehmung erfüllten Umständen gleichkommen. In einem wirkungsreichen Paper behandelt und kritisiert er das „breite perzeptive“ Modell der Natur des introspektiven Wissens von Mentalzuständen, eine Betrachtungsweise, die besagt, unser introspektives Bewusstsein der internen Tatsachen sei übereinstimmend mit unserem Bewusstsein der Tatsachen über die Außenwelt. Dieses Modell lässt sich aufgrund seiner Deckungsgleichheit mit zwei Voraussetzungen des ordinären perzeptiven Bewusstseins illustrieren, die Shoemaker Bedingung der Kausalität bzw. Bedingung der Unabhängigkeit nennt. Shoemaker attackiert das breite perzeptive Modell, indem er bekräftigt, bestimmte mentale Fakten seien „selbstimplizierend“; zudem befriedige das introspektive Bewusstsein der Mentalzustände nicht die Bedingung der Unabhängigkeit, weswegen dessen Charakterzug inadäquat vom breiten perzeptiven Modell umfasst werde. Im Folgenden gehe ich die Hauptargumente von Shoemakers Essay durch. Ich stelle die Behauptung auf, das breite perzeptive Modell der Introspektion könne die von ihm aufgeworfenen Kernprobleme erfolgreich umgehen. Nebenher erarbeite ich einige Kritik in puncto gewisser Aspekte von Shoemakers positivem Vorschlag. (shrink)

Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that logical form may have more to do (...) with deeper structures that might be studied in transformational grammar. Adverbs are treated as surface forms of the underlying predicates represented by corresponding adjectives and verbs. 'Slowly' is derived from 'slow'; 'intentionally' from 'intentional' or 'intend'; etc. And new rules of logic are avoided where they can be. -/- In this paper I attempt to state some of the advantages of the second sort of theory. My procedure will be this. First, I will try to say in outline what theories of logical form are. Then I will state five principles for evaluating such theories. Next, I will sketch the sorts of analyses acceptance of principles (1)-(5) leads to. In particular I will talk about adverbial phrases (e.g. locatives) that are best analyzed in terms of implicit references to events, relative modifiers (like 'large') which relate something to a comparison class, and 'that' clauses taken as names of propositions. By appealing to principles (1)-(5) I will defend these analyses against certain others, one that appeals to many logical operators, a second that treats all sentences as names of propositions, and a third that sees implicit reference to possible worlds in the language being analyzed. Finally, I will offer a pragmatic defense of my approach in terms of principles (1)-(5) as against a different approach that appeals to possible world semantics. (shrink)

It is natural and important to have a formal representation of plain belief, according to which propositions are held true, or held false, or neither. (In the paper this is called a deterministic representation of epistemic states). And it is of great philosophical importance to have a dynamic account of plain belief. AGM belief revision theory seems to provide such an account, but it founders at the problem of iterated belief revision, since it can generally account only for one (...) step of revision. The paper discusses and rejects two solutions within the confines of AGM theory. It then introduces ranking functions (as I prefer to call them now; in the paper they are still called ordinal conditional functions) as the proper (and, I find, still the best) solution of the problem, proves that conditional independence w.r.t. ranking functions satisfies the so-called graphoid axioms, and proposes general rules of belief change (in close analogy to Jeffrey's generalized probabilistic conditionalization) that encompass revision and contraction as conceived in AGM theory. Indeed, the parallel to probability theory is amazing. Probability theory can profit from ranking theory as well since it is also plagued by the problem of iterated belief revision even if probability measures are conceived as Popper measures (see No. 11). Finally, the theory is compared with predecessors which are numerous and impressive, but somehow failed to explain the all-important conditional ranks in the appropriate way. (shrink)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between (...) Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

This research aims to clarify, by constructing and testing a computer simulation, the use of multiple representations in problem solving, focusing on their role in visual reasoning. The model is motivated by extensive experimental evidence in the literature for the features it incorporates, but this article focuses on the system's structure. We illustrate the model's behavior by simulating the cognitive and perceptual processes of an economics expert as he teaches some well‐learned economics principles while drawing a graph on a blackboard. (...) Data in the experimental literature and concurrent verbal protocols were used to guide construction of a linked production system and parallel network, CaMeRa (Computation with Multiple Representations), that employs a “Mind's Eye” representation for pictorial information, consisting of a bitmap and associated node‐link structures. Propositional list structures are used to represent verbal information and reasoning. Small individual pieces from the different representations are linked on a sequential and temporary basis to form a reasoning and inferencing chain, using visually encoded information recalled to the Mind's Eye from long‐term memory and from cues recognized on an external display. CaMeRa, like the expert, uses the diagrammatic and verbal representations to complement one another, thus exploiting the unique advantages of each. (shrink)