Papers presented at the Kierkegaard: Resources and Results Conference, held at McGill University, June 6-8, 1980.

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

Community gardens are of increasing interest to scholars, policymakers, and community organizations but there has been little systematic study of community garden management at a broad scale. This study complements case study research by revealing shared experiences of community garden management across different contexts. In partnership with the American Community Gardening Association, we developed an online questionnaire. Results from 445 community garden organizations across the US and Canada reveal common themes as well as differences that are particularly significant across (...) different organizational sizes. The findings suggest that organizers see multiple benefits, and respondents confirmed recent expansion of gardening efforts. Analysis then focuses on challenges, which are closely related to garden management. We address garden losses as well as challenges to routine operation. Key challenges included funding, participation, land, and materials. We developed a typology based on organization size, to reveal distinctions between small organizations (serving 1 garden), medium-sized organizations (2–3 gardens), large organizations (4–30 gardens) and very large organizations (31 or more gardens). These categories shed light on different needs for funding, land, material, and participation. Together, this analysis suggests that community gardens can be linked through the work it takes to sustain them rather than specific causes or outcomes. Community gardens can be better integrated into local food systems through analysis of how people involved with this work navigate these shared processes. (shrink)

There are two ways of representing rational belief: qualitatively as yes-or-no belief, and quantitatively as degrees of belief. Standard rationality conditions are: consistency and logical closure, for qualitative belief, satisfaction of the probability axioms, for quantitative belief, and a relationship between qualitative and quantitative beliefs in accordance with the Lockean thesis. In this paper, it is shown that these conditions are inconsistent with each of three further rationality conditions: fallibilism, open-mindedness, and invariance under independent conceptual expansions. Restrictions of the Lockean (...) thesis that have been suggested in the literature cannot remove the inconsistency. In the outlook we discuss two alternative ways of dealing with this problem: restricting conjunctive closure or going for a dual system account. (shrink)

We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite. Let \(\bf Ord\) denote the class of all ordinals. Let \(\langle \mathbf{K}_{\alpha}: \alpha\in \bf Ord\rangle\) be a system of varieties definable by a schema. Given any ordinal \(\alpha\), we define an operator \(\mathsf{Nr}_{\alpha}\) that acts on \(\mathbf{K}_{\beta}\) for any \(\beta>\alpha\) giving an algebra in (...) \(\mathbf{K}_{\alpha}\), as an abstaction of taking \(\alpha\)-neat reducts for cylindric algebras. We show that for any positive \(k\), and any infinite ordinal \(\alpha\) that \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k+1}\) cannot be axiomatized by a finite schema over \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k}\) given that the result is valid for all finite dimensions greater than some fixed finite ordinal. We apply our results to cylindric algebras and Halmos quasipolyadic algebras with equality. As an application to our algebraic result we obtain a strong incompleteness theorem (in the sense that validitities are not captured by finitary Hilbert style axiomatizations) for an algebraizable extension of \(L_{\omega,\omega}\). (shrink)

Conditional probability is often used to represent the probability of the conditional. However, triviality results suggest that the thesis that the probability of the conditional always equals conditional probability leads to untenable conclusions. In this paper, I offer an interpretation of this thesis in a possible worlds framework, arguing that the triviality results make assumptions at odds with the use of conditional probability. I argue that these assumptions come from a theory called the operator theory and that the (...) rival restrictor theory can avoid these problematic assumptions. In doing so, I argue that recent extensions of the triviality arguments to restrictor conditionals fail, making assumptions which are only justified on the operator theory. (shrink)

We provide a Kripke semantics for a STIT logic with the "next" operator. As the atemporal group STIT is undecidable and unaxiomatizable, we are interested in strict fragments of atemporal group STIT. First we prove that the satisfiability problem of a formula of the fragment made up of individual coalitions plus the grand coalition is also NEXPTIME-complete. We then generalize this result to a fragment where coalitions are in a given lattice. We also prove that if we restrict the language (...) to nested coalitions the satisfiability problem is NP-complete if the number of agents is fixed and PSPACE-complete if the number of agents is variable. Finally we embed individual STIT with the "next" operator into a fragment of atemporal group STIT. (shrink)

Hans van Ditmarsch and Barteld Kooi (2008). Semantic results for ontic and epistemic change. In: G. Bonanno, W. van der Hoek and M. Wooldridge (editors). Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games 3, pp. 87-117, Amsterdam University Press, Amsterdam.

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize (...) nicely to languages containing the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

Does one’s causal responsibility increase the degree of one’s moral responsibility? The proponents of resultant moral luck hold that it does. Until quite recently, the causation literature has almost exclusively been interested in the binary question of whether one factor is a cause of an outcome. Naturally, the debate over resultant moral luck also revolved around this binary question. However, we have seen an increased interest in the question of degrees of causation in recent years. And some philosophers have already (...) explored various implications of a graded notion of causation on resultant moral luck. In this paper, I will do the same. But the implications that I will draw attention to are bad news for resultant moral luck. I will show that resultant moral luck entails some implausible results that leave resultant moral luck more indefensible than it was previously thought be. I will also show that what is typically taken to be the positive argument in favor of resultant moral luck fails. I will conclude that we should reject resultant moral luck. (NOTE: Email me for a copy.). (shrink)

Unprecedented levels of access to adolescents' time and attention provide opportunities to convert traditional character and socioemotional competencies interventions into behavioral intervention technologies. However, these new tools must be evaluated rather than assuming previously validated activities will be efficacious when converted to a mobile platform. Thus, we sought to design and provide initial data on the effectiveness of the CharacterMe smartphone app to build self-control and patience, which are built on underlying social-emotional regulation competencies, in a sample of 618 adolescents. (...) We also sought to examine whether framing the app activities as having a transcendent rather than instrumental purpose would increase engagement and change in self-control, patience, and emotion regulation. Finally, we tested the impact of framing activities as building strengths vs. fixing weaknesses. Results highlight the difficulty of translating psychological interventions to behavioral intervention technologies. Overall, the CharacterMe smartphone app was unsuccessful in increasing self-control, patience, or emotion regulation in adolescents, with analyses showing no significant mean changes over time. Framing conditions and user engagement were largely not significant predictors of change in self-control, patience, and emotion regulation. (shrink)

The result model of precedent holds that a legal precedent controls a fortiori cases—those cases, that is, that are at least as strong for the winning side of the precedent as the precedent case itself. This paper defends the result model against some objections by Larry Alexander, drawing on ideas from the field of Artificial Intelligence and Law in order to define an appropriate strength ordering for cases.

Resultatives raise important questions for the syntax-semantics interface, and this is why they have occupied a prominent place in recent linguistic theorizing. What is it that makes this construction so interesting? Resultatives are submitted to a cluster of not obviously related constraints, and this fact calls out for explanation. There are tough constraints for the verb, for example.

Resultant moral luck occurs whenever aspects of an agent’s moral responsibility are affected by luck pertaining to the outcomes of their actions. Many authors reject the existence of moral luck in this sense, but they do so in different ways. Michael Zimmerman argues that resultant luck affects the scope of moral responsibility, but not its degree. That is, it affects what agents are responsible for, but not how responsible they are. Andrew Khoury takes a more resolute approach, arguing that both (...) the scope and the degree of moral responsibility are free from resultant luck. -/- In this paper, I criticize both accounts and develop an alternative. I argue, first, that Khoury’s approach leads to an implausibly far-reaching error-theory about moral responsibility. Second, Zimmerman’s account cannot account for all the ways in which moral responsibility comes in degrees. Third, these problems can be overcome by introducing a distinction between two concepts of responsibility that both come with scope and degree. The first concept I call internal responsibility, as it applies exclusively to agent-internal factors. The second concept I call external responsibility, as it applies to (partly) agent-external factors such as actions and their outcomes. Given this distinction, we can avoid the problems of Khoury’s as well as Zimmerman’s accounts while preserving the central intuition behind the rejection of resultant moral luck. (shrink)

We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest.

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach (...) in Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

Conflicting results undermine making inferences from the empirical literature. So far, the replication crisis is mainly seen as resulting from honest errors and questionable research practices such as p-hacking or the base-rate fallacy. We discuss the malleability (researcher degrees of freedom) of quantitative research and argue that conflicting results can emerge from two studies using different but plausible designs (e.g., eligibility criteria, operationalization of concepts, outcome measures) and statistical methods. We also explore how the choices regarding study design (...) and statistical techniques bias results in a way that makes them more or less relevant for a given policy or clinical question. (shrink)

We solve some open questions on the amalgamation porperty in various algebras of logic . Some of these problems first appeared in Pigozzi [3].

It follows from Bell’s theorem and quantum mechanics that the detection of a particle of an entangled pair can (somehow) “force” the other distant particle of the pair into a well-defined state (which is equivalent to a reduction of the state vector): no property previously shared by the particles can explain the predicted quantum correlations. This result has been corroborated by experiment, although some loopholes still remain. However, it has not been experimentally proved—and it is far from obvious—that the absence (...) of detection, as in null-result (NR) experiments could have the very same effect. In this paper a way to try to bridge this gap is suggested. (shrink)

What do philosophers think about arguments for the existence of God? To find out, I launched a survey among professional philosophers. This is a short summary of the results.

In this paper we study numeral systems in the -calculus. With one exception, we assume that all numerals have normal form. We study the independence of the conditions of adequacy of numeral systems. We find that, to a great extent, they are mutually independent. We then consider particular examples of numeral systems, some of which display paradoxical properties. One of these systems furnishes a counterexample to a conjecture of Böhm. Next, we turn to the approach of Curry, Hindley, and Seldin. (...) We dwell with the general problem of obtaining their results with the additional requirement of nonconvertibility of numerals. In particular we solve a problem that they left open. Finally, we give the first example of an adequate unsolvable numeral system without a test for zero in the usual sense, thus solving a problem of Barendregt and Barendsen. (shrink)

In recent years, a number of theorists have claimed that beliefs about probability are transparent. To believe probably p is simply to have a high credence that p. In this paper, I prove a variety of triviality results for theses like the above. I show that such claims are inconsistent with the thesis that probabilistic modal sentences have propositions or sets of worlds as their meaning. Then I consider the extent to which a dynamic semantics for probabilistic modals can (...) capture theses connecting belief, certainty, credence, and probability. I show that although a dynamic semantics for probabilistic modals does allow one to validate such theses, it can only do so at a cost. I prove that such theses can only be valid if probabilistic modals do not satisfy the axioms of the probability calculus. (shrink)

The aim of this abstract ie to present the latest results concerning a system of nonsense-logic, known as the system W. Thus, we recall only those of previous results which are indispensable for our present considerations. A more exhaustive survey and bibliography can be found in [1]; our notation and terminology are those of [1], too.

In 2005 The Institute for Philosophy and Social Theory has undertaken a reputed interview, based on identical methodology but on a reduced sample in six towns in Serbia. The objective was to examine how citizens see the circumstances in society today, five years after the October turn, and what conditions their attitudes towards: the policy of new democratic powers, of democratic parties and those of the ex-regime, as well as towards the problems they are confronted with, and whether the initial (...) optimism has gone and why. The results obtained by this interview show that after five years of experience with democratic transition the interviewees are more critical regarding the actual democratic policy, and more likely to forget the reasons created by the former regime as obstacles to a successful democratic transition. For this reason, disappointment has grown, and an initial optimism gives its place to pessimism, with vanishing of the hope in the possibility of radical democratic change. This makes it possible to give a chance to the Radical Party in a future election. But, in spite of current confusion among citizens produced by the examined state of affairs, as well as the ambiguities in certain attitudes, this inquiry suggests that the interviewees have provided a quite realistic evaluation of the actual conditions in Serbian society today, and that their criticism, which arises from disappointment, does not completely cancel a positive attitude towards democratic transition, since their criticism results from dissatisfaction with the unrealized democratic principles and values after October 5th. Institut za filozofiju i drustvenu teoriju je obavio 2005. ponovljeni intervju, radjen istom metodologijom, ali na skracenom, desetoprocentnom uzorku i u sest gradova Srbije, sa ciljem da se proveri sta se promenilo u vidjenju gradjana o politici u drustvu posle pet godina od oktobarskog prevrata i sta uslovljava njihove stavove prema: politici demokratskih vlasti, prema strankama bivseg rezima i problemima sa kojima se suocavaju, kao i da li je nestao pocetni optimizam i zasto. Rezultati pokazuju da su posle petogodisnjeg iskustva ispitanici kriticniji prema politici demokratskih vlasti, skloniji da zaborave razloge koje je proizveo bivsi rezim kao prepreke za demokratski preobrazaj drustva, te da je poraslo razocaranje i nezadovoljstvo postignutim, a pocetni optimizam sve vise ustupa mesto pesimizmu i gubljenju nade u mogucnost radikalnijih demokratskih promena, sto uslovljava i stav o mogucem davanju sanse radikalima na sledecim izborima. Ali i pored zbunjenosti gradjana zbog nastale nepovoljne situacije i ambivalentnosti izvesnih stavova, istrazivanje sugerise da su ispitanici realnije procenili aktualno stanje drustva i da kriticnost, koja proizlazi iz nezadovoljstva zbog neostvarenih obecanja, ali i zbog neartikulisanih ciljeva razvoja, ne potire u potpunosti pozitivni stav prema demokratskoj transformaciji, buduci da se kritika uglavnom pokazuje kao rezultat razocaranja sto se ne ostvaruju demokratski principi posle 5. oktobra. (shrink)

This Alternate View column marks three milestones: This is the 3rd anniversary of my start as an AV columnist for Analog, this is the 20th AV column I've written, and it is also the 7th anniversary of my first publication in Analog. I enjoy writing these columns on scientific subjects, but it can be frustrating. Science is continually changing as new experimental results and observations are made, as new ideas and theories are conceived and old ideas are rejected. Often (...) by the time an Alternate View column on some new development in physics or astronomy appears in these pages the field has already progressed further and there is more to be said. So this third anniversary column will be used as an occasion for a backward look at some of the subjects covered in previous columns and articles, giving an update on more recent developments. An index of my first 20 AV columns and articles is provided below. This can be used as a reference guide to indicate which topics were discussed in which columns and articles. (shrink)

In this paper I contrast Husserlian transcendental eidetic phenomenology with some other views of what phenomenology is supposed to be and argue that, as eidetic, it does not admit of being ‘naturalized’ in accordance with standard accounts of naturalization. The paper indicates what some of the eidetic results in phenomenology are and it links these to the employment of reason in philosophical investigation, as distinct from introspection, emotion or empirical observation. Eidetic phenomenology, unlike cognitive science, should issue in a (...) ‘logic’ of consciousness. Instead of being derived from empirical investigations its results should consist of high-level background conditions that are necessary for cognitive science to be possible in the first place. To negate these conditions is to be faced with certain types of ‘material’ contradictions. Some analogies with science – mathematical science – are used to develop the argument. (shrink)

The percentage of bachelor's degrees awarded in computer science to women has decreased almost every year over the last decade. That is, even though more women are awarded bachelor's degrees, and even though the percentages of bachelor's degrees awarded to women in disciplines similar to computer science increased, the percentage of bachelor's degrees awarded in computer science to women decreased. Thus, the pipeline, which represents the ratio of women involved in computer science from high school to graduate school, shrinks both (...) from one end to the other _and_ in the middle. Since the number of women at the bachelor's level affects the number of women at levels higher in the pipeline and in the job market, these facts are of great concern to many in the computing community.In this paper, we review the harsh facts concerning the percentage of degrees awarded in computer science to women. When we presented these facts in CACM, we requested that the community respond to the facts through an interactive survey. At this time, 120 people have responded to the survey. In this paper, we present the results we have obtained from compiling these 120 survey responses. (shrink)

Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is complete for nondeterministic (...) exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

We present dualities for implicative and residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article contributes in filling in a gap in the development of Orłowska and Rewitzky’s research program of discrete dualities, which seemed to have stumbled on the case of non-distributive lattices with operators. We discuss dualities via truth, which are essential in relating the non-distributive logic of two-sorted frames with their sorted, residuated modal logic, as (...) well as full Stone duality for residuated lattices. Our results have immediate applications to the semantics of related substructural logical calculi. (shrink)

Bd. 1. Wissenschaftliche Erklärung und Begründung.

The origin and development of consciousness is poorly understood. Although it is clearly a naturalistic phenomenon evolved through Darwinian evolution, explaining it in terms of physicochemical, neural, or symbolic mechanisms remains elusive. Here I propose that two steps had to be taken in its evolution. First, living systems evolved an intrinsic goal-directedness by internalizing Darwinian fitness as a self-estimated fitness. The self-estimated fitness participates in a feedback loop that effectively produces intrinsic meaning in the organism. Second, animals with advanced nervous (...) systems evolved a special form of communication that modifies the way each partner estimates fitness. The resulting change in intrinsic meaning is experienced subjectively as a primary form of consciousness. This primary form is subsequently used to generate, partly through internalized dialogue, more complex forms of consciousness, such as consciousness of the natural and social worlds, consciousness of the self, and language-dependent forms of consciousness. An updated version of the theory in this paper can be found as Chapter 12 ('Consciousness') in my book 'The estimator theory of life and mind: how agency and consciousness can emerge', see VANTET-8 at philpapers . (shrink)