It is commonly presumed that abiotic membranes were colonized by proteins later on. Yet, hydrophobic peptides could have formed primordial protein‐dominated membranes on their own. In a metabolism‐first context, “autocatalytically closed” sets of statistical peptides could organize a self‐maintaining protometabolism, assisted by an unfolding set of ribotide‐related cofactors. Pairwise complementary ribotide cofactors may have formed docking guides for stochastic peptide formation, before replicating RNA emerged from this subset. Tidally recurring wet‐drying cycles and an early onset of photosynthetic activities are considered (...) most likely to meet the thermodynamic requirements. Conceivably, the earliest peptide‐dominated vesicles were engaged in light harvesting, together with isoprenoid‐tethered pigments, rather than providing an external boundary. Early on, the bulk of prebiotic organic matter can have formed a contiguous layer covering the mineral sediment, held in place by colloidal coherence of a hydrogel matrix. This unconventional scenario assumes a late onset of cellular individualization – perhaps from within, resembling endosporogenesis. (shrink)

For many epistemologists, and for many philosophers more broadly, it is axiomatic that rationality requires you to take the doxastic attitudes that your evidence supports. Yet there is also another current in our talk about rationality. On this usage, rationality is a matter of the right kind of coherence between one's mental attitudes. Surprisingly little work in epistemology is explicitly devoted to answering the question of how these two currents of talk are related. But many implicitly assume that evidence (...) -responsiveness guarantees coherence, so that the rational impermissibility of incoherence will just fall out of the putative requirement to take the attitudes that one's evidence supports, and so that coherence requirements do not need to be theorized in their own right, apart from evidential reasons. In this paper, I argue that this is a mistake, since coherence and evidence -responsiveness can in fact come into conflict. More specifically, I argue that in cases of misleading higher-order evidence, there can be a conflict between believing what one's evidence supports and satisfying a requirement that I call “inter-level coherence ”. This illustrates why coherence requirements and evidential reasons must be separated and theorized separately. (shrink)

A central issue in epistemology concerns the connection between truth and justification. The burden of our paper is to explain this connection. Reliabilism, defended by Goldman, assumes that the connection is one of reliability. We argue that this assumption is too strong. We argue that foundational theories, such as those articulated by Pollock and Chisholm fail to elucidate the connection. We consider the potentiality of coherence theories to explain the truth connection by means of higher level convictions about probabilities, (...) which we call doxastic ascent, and defend such a theory. Our defense appeals to the work of Reid and contemporary cognitive psychology in order to account for the psychological reality of higher level evaluations. (shrink)

Intentions matter. They have some kind of normative impact on our agency. Something goes wrong when an agent intends some end and fails to carry out the means she believes to be necessary for it, and something goes right when, intending the end, she adopts the means she thinks are required. This has even been claimed to be one of the only uncontroversial truths in ethical theory. But not only is there widespread disagreement about why this is so, there is (...) widespread disagreement about in what sense it is so. In this paper I explore an underdeveloped answer to the question of in what sense it is so, and argue that resolving an apparent difficulty with this view leads to an attractive picture about why it is so. (shrink)

Autism is often taken to be a specific kind of mind. The dominant neuro‐cognitivist approach explains this via static processing traits framed in terms of hyper‐systemising and hypo‐empathising. By contrast, Wittgenstein‐inspired commentators argue that the coherence of autism arises relationally, from intersubjective disruption that hinders access to a shared world of linguistic meaning. This paper argues that both camps are unduly reductionistic and conflict with emerging evidence, due in part to unjustifiably assuming a deficit‐based framing of autism. It then (...) develops a new Wittgensteinian account—autism as a different form of life—which avoids these issues. Rather than autistic systemising being the basis of autistic cognition, it is taken to be a reaction to pre‐epistemic and semantic anxieties that come with developing as a minority within a different form of life. This re‐framing can provide a coherent account of the autistic mind, and has significant conceptual, practical, and ethical implications. (shrink)

Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict (...) it gives as to whether the set is coherent tout court) depends on how beliefs (or propositions) that represent the set are individuated. Indeed, logically equivalent belief sets that represent the same information set can be given drastically different degrees of coherence. This feature clashes with our natural and reasonable expectation that the coherence degree of a belief set does not change unless the believer adds essentially new information to the set or drops old information from it; or, to put it simply, that the believer cannot raise or lower the degree of coherence by purely logical reasoning. None of the accounts in question can adequately deal with coherence once logical inferences get into the picture. Toward the end of the paper, another notion of coherence that takes into account not only the contents but also the origins (or sources) of the relevant beliefs is considered. It is argued that this notion of coherence is of dubious significance, and that it does not help solve the problem of belief individuation. (shrink)

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account of two (...) distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)

According to the doctrine of the Incarnation, one person, Christ, has both the attributes proper to a human being and the attributes proper to God. This claim has given rise to the coherence objection, i.e., the objection that it is impossible for one individual to have both sets of attributes. Several authors have offered responses which rely on the idea that Christ has the relevant human properties in virtue of having a concrete human nature which has those properties. I (...) show why such responses should be rejected and, in light of that, propose an alternative response to the coherence objection. (shrink)

In intuitions concerning semantic coherence participants are able to discriminate above chance whether a word triad has a common remote associate or not . These intuitions are driven by increased fluency in processing coherent triads compared to incoherent triads, which in turn triggers a brief and short positive affect. The present work investigates which of these internal cues, fluency or positive affect, is the actual cue underlying coherence intuitions. In Experiment 1, participants liked coherent word triads more than (...) incoherent triads, but did not rate them as being more fluent in processing. In Experiment 2, participants could intuitively detect coherence when they misattributed fluency to an external source, but lost this intuitive ability when they misattributed affect. It is concluded that the coherence-induced fluency by itself is not consciously experienced and not used in the coherence intuitions, but the fluency-triggered affective consequences. (shrink)

Relative overlap measures of coherence have recently been shown to have two devastating properties: according to the plain relative overlap measure, the degree of coherence of any set of propositions cannot be increased by adding further propositions, and according to the refined relative overlap measure, no set can be more coherent than its most coherent two-element subset. This result has been taken to rule out relative overlap as a foundation for a probabilistic explication of coherence. The present (...) paper shows that this view is premature: we propose a relative overlap measure that does not fall victim to the two properties. The guiding idea is to employ a well-established recipe for the construction of coherence measures and to adapt it to the idea of relative overlap. We show that this new measure keeps up with, or even outperforms, former overlap measures in a set of desiderata for coherence measures and a collection of popular test cases. This result re-establishes relative overlap as a candidate for a proper formalization of coherence. (shrink)

Among many reasons for which contemporary philosophers take coherentism in epistemology seriously, the most important is probably the perceived inadequacy of alternative accounts, most notably misgivings about foundationalism. But coherentism also receives straightforward support from cases in which beliefs are apparently justified by their coherence. From the perspective of those against coherentism, this means that an explanation is needed as to why in these cases coherence apparently justifies beliefs. Curiously, this task has not been carried out in a (...) serious way in the anti-coherentist literature although there is no scarcity of objections to coherentism. The traditional charge has been that justification by coherence is circular. More recently the isolation problem allegedly reveals that coherentism justifies beliefs that should not be justified. Questions have also been raised with respect to the basing relation and feasibility.1 However, these objections do not explain why some beliefs appear to be justified by their coherence. This paper fills this gap in the anti-coherentist literature by offering a noncoherentist account of justification by coherence. The paper proceeds as follows. Section I delineates the framework of discussion and develops some conceptual tools needed in later analyses. Section II argues that there are genuine cases of an increase in existing empirical justification by coherence, but that it does not require coherence to generate additional justification—coherence serves as a channel of justification among beliefs, which is no more problematic than channeling of justification from basic to derived beliefs in foundationalism. Section III makes a stronger case for justification by coherence, where each of the coherent beliefs has no independent empirical justification; but Section IV argues that even in these cases coherence need not generate justification—coherence licenses the channeling of justification from outside sources.. (shrink)

Many people believe that there is a Dutch Book argument establishing that the principle of countable additivity is a condition of coherence. De Finetti himself did not, but for reasons that are at first sight perplexing. I show that he rejected countable additivity, and hence the Dutch Book argument for it, because countable additivity conflicted with intuitive principles about the scope of authentic consistency constraints. These he often claimed were logical in nature, but he never attempted to relate this (...) idea to deductive logic and its own concept of consistency. This I do, showing that at one level the definitions of deductive and probabilistic consistency are identical, differing only in the nature of the constraints imposed. In the probabilistic case I believe that R.T. Cox's ‘scale-free’ axioms for subjective probability are the most suitable candidates. 1 Introduction 2 Coherence and Consistency 3 The Infinite Fair Lottery 4 The Puzzle Resolved—But Replaced by Another 5 Countable Additivity, Conglomerability and Dutch Books 6 The Probability Axioms and Cox's Theorem 7 Truth and Probability 8 Conclusion: ‘Logical Omniscience’ CiteULike Connotea Del.icio.us What's this? (shrink)

Science strives for coherence. For example, the findings from climate science form a highly coherent body of knowledge that is supported by many independent lines of evidence: greenhouse gas emissions from human economic activities are causing the global climate to warm and unless GHG emissions are drastically reduced in the near future, the risks from climate change will continue to grow and major adverse consequences will become unavoidable. People who oppose this scientific body of knowledge because the implications of (...) cutting GHG emissions—such as regulation or increased taxation—threaten their worldview or livelihood cannot provide an alternative view that is coherent by the standards of conventional scientific thinking. Instead, we suggest that people who reject the fact that the Earth’s climate is changing due to greenhouse gas emissions oppose whatever inconvenient finding they are confronting in piece-meal fashion, rather than systematically, and without considering the implications of this rejection to the rest of the relevant scientific theory and findings. Hence, claims that the globe “is cooling” can coexist with claims that the “observed warming is natural” and that “the human influence does not matter because warming is good for us.” Coherence between these mutually contradictory opinions can only be achieved at a highly abstract level, namely that “something must be wrong” with the scientific evidence in order to justify a political position against climate change mitigation. This high-level coherence accompanied by contradictory subordinate propositions is a known attribute of conspiracist ideation, and conspiracism may be implicated when people reject well-established scientific propositions. (shrink)

In Crull it is argued that, in order to confront outstanding problems in cosmology and quantum gravity, interpretational aspects of quantum theory can by bypassed because decoherence is able to resolve them. As a result, Crull concludes that our focus on conceptual and interpretational issues, while dealing with such matters in Okon and Sudarsky, is avoidable and even pernicious. Here we will defend our position by showing in detail why decoherence does not help in the resolution of foundational questions in (...) quantum mechanics, such as the measurement problem or the emergence of classicality. (shrink)

This paper concerns the normative status of coherence of desires, in the context of moral rationalism. I argue that 'desiderative coherence' is not tied to rationality, but is rather of pragmatic, instrumental, and sometimes moral value. This means that desire-based views cannot rely on coherence to support non-agent-relative accounts of moral reasons. For example, on Michael Smith's neo-rationalist view, you have 'normative reason' to do whatever your maximally coherent and fully informed self would want you to do, (...) whether you want to do it or not. For these reasons to be non-agent-relative, coherence would have to be grounded in rationality, but I argue that it is not. I analyze, and reject, various strategies for establishing a coherence-rationality connection, considering in detail a purported analogy between desires and a priori beliefs, with particular attention to the case of mathematics. (shrink)

If you believe more things you thereby run a greater risk of being in error than if you believe fewer things. From the point of view of avoiding error, it is best not to believe anything at all, or to have very uncommitted beliefs. But considering the fact that we all in fact do entertain many specific beliefs, this recommendation is obviously in flagrant dissonance with our actual epistemic practice. Let us call the problem raised by this apparent conflict the (...) Addition Problem. In this paper we will find reasons to reject a particular premise used in the formulation of the Addition Problem, namely, the fundamental premise according to which believing more things increases the risk of error. As we will see, acquiring more beliefs need not decrease the probability of the whole, and hence need not increase the risk of error. In fact, more beliefs can mean an increase in the probability of the whole and a corresponding decrease in the risk of error. We will consider the Addition Problem as it arises in the context of the coherence theory of epistemic justification, while keeping firmly in mind that the point we wish to make is of epistemological importance also outside the specific coherentist dispute. The problem of determining exactly how the probability of the whole system depends on such factors as coherence, reliability and independence will be seen to open up an interesting area of research in which the theory of conditional independence structures is a helpful tool. (shrink)

Three ethics program components, a code of ethics, ethics training initiatives and ethics-oriented performance appraisal content, were examined for their relationship to ethical intent using a sample of 525 employees from the Spanish financial services industry. As expected, all three components contributed to the prediction of ethical intent. Importantly, clusters of employees who reported experiencing distinct combinations of the program components were identified and compared for their level of ethical intent. Employees who perceived all three components to be strongly implemented (...) reported significantly higher levels of ethical intent relative to those who viewed the components as either all weakly implemented or not present. Combinations including training initiatives plus one other element had a similar impact to the fully implemented approach. Contrary to expectations, ethics-oriented performance appraisal content did not relate more strongly to ethical intent than codes of ethics. (shrink)

This paper is about the cluster of issues that orbit a well-known thesis of Quine’s, as it applies to attitude ascriptions.

Many skeptics throughout the centuries have accused the New Testament characterization of the incarnation as being incoherent. The reason is that it appears impossible that any person can exemplify human properties such as ignorance, fatigability, and spatial limitation, as the New Testament testifies of Jesus, while possessing divine properties such as omniscience, omnipotence, and omnipresence at the same time. This paper proposes a possible model which asserts that at the incarnation, the Logo's mind was divided into conscious and preconscious, and (...) the divine properties were transferred from the conscious into the preconscious, which became part A of Jesus' preconscious. Simultaneously, the conscious acquired newly created human properties, while a human preconscious which would become part B of Jesus' preconscious and a human body were also created. It is demonstrated that this model does not suffer from the problems that beset other models such as Apollinarianism, two-consciousness Christology, and ontological Kenoticism, and that based on this model the full attributes of divinity and humanity of Jesus as testified by the Scriptures could have simultaneously coexisted in one person without contradiction. (shrink)

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

Over the past years, a number of probabilistic measures of coherence have been proposed. As shown in the paper, however, many of them do not conform to the intuitition that equivalent testimonies are highly coherent, regardless of their prior probability.

How can we determine the adequacy of a probabilistic coherence measure? A widely accepted approach to this question besides formulating adequacy constraints is to employ paradigmatic test cases consisting of a scenario providing a joint probability distribution over some specified set of propositions coupled with a normative coherence assessment for this set. However, despite the popularity of the test case approach, a systematic evaluation of the proposed test cases is still missing. This paper’s aim is to change this. (...) Using a custom written computer program for the necessary probabilistic calculations a large number of coherence measures in an extensive collection of test cases is examined. The result is a detailed overview of the test case performance of any probabilistic coherence measures proposed so far. It turns out that none of the popular coherence measures such as Shogenji’s, Glass’ and Olsson’s, Fitelson’s or Douven and Meijs’ but two rather unnoticed measures perform best. This, however, does not mean that the other measures can be rejected straightforwardly. Instead, the results presented here are to be understood as a contribution among others to the project of finding adequate probabilistic coherence measures. (shrink)

According to the truth-conduciveness problem of coherentism, the coherence theory of justification can hardly show that coherentist justification is truth-conducive. This problem is generally conceived as the most recalcitrant problem with the coherence theory. The purpose of this paper is to show that it does not pose a serious problem for a certain version of coherentism, namely a Sellarsian explanatory coherence theory of justification combined with the deflationary theory of truth. On this version of coherentism, our epistemic (...) goal is to gradually improve our conceptual framework so as to maximize its explanatory coherence, and there is no substantial norm of truth independent of the norms of justification, so that we cannot evaluate the truth-conduciveness of a belief independently of the norms of justification. I argue that this version of coherentism can cope with the truth-conduciveness problem. (shrink)

Two of the probabilistic measures of coherence discussed in this paper take probabilistic dependence into account and so depend on prior probabilities in a fundamental way. An example is given which suggests that this prior-dependence can lead to potential problems. Another coherence measure is shown to be independent of prior probabilities in a clearly defined sense and consequently is able to avoid such problems. The issue of prior-dependence is linked to the fact that the first two measures can (...) be understood as measures of coherence as striking agreement, while the third measure represents coherence as agreement. Thus, prior (in)dependence can be used to distinguish different conceptions of coherence. (shrink)

The debate on probabilistic measures of coherence has focused on evaluating sets of consistent propositions. In this paper we draw attention to the largely neglected question of whether such measures concur with intuitions on test cases involving inconsistent propositions and whether they satisfy general adequacy constraints on coherence and inconsistency. While it turns out that, for the vast majority of measures in their original shape, this question must be answered in the negative, we show that it is possible (...) to adapt many of them in order to improve their performance. (shrink)

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

This article offers an approach that combines, on the one hand, the philosophical notion of reflexivity, which is related to the ideas of self-reference and paradox, and, on the other hand, the sociological discussion of epistemic reflexivity as a problem of coherence, which was mainly initiated by certain branches of ethnomethodology and social constructionism. This combinatory approach argues for reflexivity as an epistemic criterion of ontological coherence, which suggests that social ontologies should account for the possibility of self-reflective (...) subjectivity – for otherwise they result in a paradoxical conclusion according to which a social scientist reflects on her or his ontological commitments even though these commitments deny her or him the capacity for self-reflection. This analysis presupposes that all human sciences are categorically premised on social ontologies; and it argues for an analytical distinction between self-reflection, which refers to the agential capacity for reflecting on one’s own commitments, and the epistemic criterion of reflexivity hereby proposed. These two analytically distinct though interdependent socio-theoretical concepts are frequently conflated in the literature; thus, this article also aims at a ‘clearing of the ground’ that can be of categorical use to the human sciences. (shrink)

In Stig Hjarvard’s characterization, mediatization studies move beyond the positivist origins of the social sciences, as they must in order to avoid the fundamental contradiction between original commitments to classical determinism vis-à-vis human agency as acknowledged within mediatization studies. In order to sustain and enhance Hjarvard’s vision of the coherence between human agency and mediatization studies as a species of social science, I first sharpen these theoretical tensions by developing a robust account of human freedom as informed by Kant (...) and virtue ethics. I then adopt precise understandings of complementarity and epistemological pluralism as initially developed in Quantum Mechanics and subsequently by Karen Barad and Judith Simon as frameworks that can coherently conjoin contemporary social science with strong accounts of human freedom. The resulting coherency—or entanglement—between ethics and science implies new ethical responsibilities for social scientists as ‘virtuous agents’. (shrink)

This paper argues that an exploration of colloids can help us situate human social life within a wider understanding of the sociality and animacy of matter. Colloids are substances such as sols, foams, powders, gels, doughs and pastes that exhibit complex and shifting macroscale physical properties that do not conform to standard conceptions of solids, liquids or gases. Colloids can behave in complex and creative ways because of their topological enfolding of dispersed and continuous matter, in different phases, at a (...) ‘mesoscale’ intermediate between the scale of molecules and that of the macroscale substance. I relate colloids, with their twin phenomena of ‘repetition’ and ‘mediation’, to an understanding of social life as reducible neither to the interaction between separate individuals nor to a transindividual whole. I suggest that human social life participates in a colloidal ‘metapattern’ of repetition and mediation that is manifest across diverse material substrates and spatial scales. (shrink)

How does deductive logic constrain probability? This question is difficult for subjectivistic approaches, according to which probability is just strength of (prudent) partial belief, for this presumes logical omniscience. This paper proposes that the way in which probability lies always between possibility and necessity can be made precise by exploiting a minor theorem of de Finetti: In any finite set of propositions the expected number of truths is the sum of the probabilities over the set. This is generalized to apply (...) to denumerable languages. It entails that the sum of probabilities can neither exceed nor be exceeded by the cardinalities of all consistent and closed (within the set) subsets. In general any numerical function on sentences is said to be logically coherent if it satisfies this condition. Logical coherence allows the relativization of necessity: A function p on a language is coherent with respect to the concept T of necessity iff there is no set of sentences on which the sum of p exceeds or is exceeded by the cardinality of every T-consistent and T-closed (within the set) subset of the set. Coherence is easily applied as well to sets on which the sum of p does not converge. Probability should also be relativized by necessity: A T-probability assigns one to every T-necessary sentence and is additive over disjunctions of pairwise T-incompatible sentences. Logical T-coherence is then equivalent to T-probability: All and only T-coherent functions are T-probabilities. (shrink)

One merit claimed for john rawls's coherence method, Wide reflective equilibrium, Is that it transcends the traditional two tiered approach to moral inquiry according to which one must choose as one's starting points either particular moral judgments or general moral principles. The two tiered conception of philosophical method is not limited to ethics. The most detailed exposition of the conception can be found in r m chisholm's various discussions of the problem of the criterion. While chisholm's work has played (...) a major role in structuring the way epistemologists think about method, It has not similarly influenced the deliberations of moral theorists. But moral philosophers are not the only ones with myopia, For neither rawls's coherentist method nor classical moral intuitionism figure in chisholm's taxonomy. One aim is to correct the vision of both parties by expanding chisholm's taxonomy in order to make clear how intuitionism and rawls's coherentist method are related to the methods identified by chisholm. My other aim is to argue for coherentism of the sort defended by rawls against the other non-Skeptical methods I consider. (shrink)

Nearly every common theory of truth has been attributed to Nietzsche, while some commentators have argued that he simply has no theory of truth. This essay argues that Nietzsche's remarks on truth are best situated within either the coherence or pragmatist theories of truth rather than the correspondence theory. Nietzsche's thoughts on truth conflict with the correspondence framework because he believes that the truth conditions of propositions are constitutively dependent on our actions.

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of (...) class='Hi'>coherence to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. In addition, we define simple calculi, an important subclass of canonical calculi, for which coherence is equivalent to the weaker, standard cut-elimination property. (shrink)

Pt. I. Zeno and the metaphysics of quantity. Zeno's paradox of measure -- Tractarian nominalism -- Logical atoms and combinatorial possibility -- Strict coherence, sigma coherence, and the metaphysics of quantity -- pt. II. Coherent degrees of belief. Higher-order degrees of belief -- A mistake in dynamic coherence arguments? -- Dynamic coherence and probability kinematics -- Updating, supposing, and MAXENT -- The structure of radical probabilism -- Diachronic coherence and radical probabilism -- pt. III. Induction. (...) Carnapian inductive logic for Markov chains -- Carnapian inductive logic and Bayesian statistics -- Bayesian projectability. (shrink)