We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

The claim that diversity and independence have a net positive epistemic effect on the judgments of groups has been recently defended formally by Scott Page, among others, and popularized in Surowiecki's The Wisdom of Crowds. In Meta-Induction and the Wisdom of Crowds Thorn and Schurz take issue with the claim that more diversity and independence in groups leads to better collective judgments. I argue that Thorn and Schurz's arguments are helpful in clarifying a number of over-generalizations about diversity and independence (...) that are often circulated in the social epistemology literature. I also argue that the relevant formal arguments are easily misunderstood when presented 'in a vacuum', that is, without a context of application in mind. I provide a different approach to understanding formal results in social epistemology: With the help of concrete scenarios and the formal literature, I focus on a trade-off between independence and dependence in groups. I show that the approach works well also for another principle in social epistemology; namely, the principle that 'more heads are better than few'. (shrink)

Suppose we have two false hypotheses H1 and H2. Sometimes, we would like to be able to say that H1 is closer to the truth than H2 (e.g., Newton’s hypothesis vs. Ptolemy’s).

We present a formalization of collections that Cornelius Castoriadis calls “magmas”, especially the property which mainly characterizes them and distinguishes them from the usual cantorian sets. It is the property of their elements to depend on other elements, either in a one-way or a two-way manner, so that one cannot occur in a collection without the occurrence of those dependent on it. Such a dependence relation on a set A of atoms (or urelements) can be naturally represented by a (...) pre-order relation $$\preccurlyeq $$ of A with the extra condition that it contains no minimal elements. Then, working in a mild strengthening of the theory $$\textrm{ZFA}$$, where A is an infinite set of atoms equipped with a primitive pre-ordering $$\preccurlyeq $$, the class of magmas over A is represented by the class $$LO(A,\preccurlyeq )$$ of nonempty open subsets of A with respect to the lower topology of $$\langle A,\preccurlyeq \rangle $$. The non-minimality condition for $$\preccurlyeq $$ implies that all sets of $$LO(A,\preccurlyeq )$$ are infinite and none of them is $$\subseteq $$ -minimal. Next the pre-ordering $$\preccurlyeq $$ is shifted (by a kind of simulation) to a pre-ordering $$\preccurlyeq ^+$$ on $${{\mathcal {P}}}(A)$$, which turns out to satisfy the same non-minimality condition as well, and which, happily, when restricted to $$LO(A,\preccurlyeq )$$ coincides with $$\subseteq $$. This allows us to define a hierarchy $$M_\alpha (A)$$, along all ordinals $$\alpha \ge 1$$, the“magmatic hierarchy”, such that $$M_1(A)=LO(A,\preccurlyeq )$$, $$M_{\alpha +1}(A)=LO(M_\alpha (A),\subseteq )$$, and $$M_\alpha (A)=\bigcup _{\beta <\alpha }M_\beta (A)$$, for a limit ordinal $$\alpha $$. For every $$\alpha \ge 1$$, $$M_\alpha (A)\subseteq V_\alpha (A)$$, where $$V_\alpha (A)$$ are the levels of the universe V(A) of $$\textrm{ZFA}$$. The class $$M(A)=\bigcup _{\alpha \ge 1}M_\alpha (A)$$ is the “magmatic universe above A.” The axioms of Powerset and Union (the latter in a restricted version) turn out to be true in $$\langle M(A),\in \rangle $$. Besides it is shown that three of the five principles about magmas that Castoriadis proposed in his writings (mildly modified and adapted to the needs of formalization), $$M2^*$$, $$M3^*$$ and $$M5^*$$, are true of M(A). A selection of excerpts from these writings, in which the concept of magma was first introduced and elaborated, is presented in the Introduction. (shrink)

In his ontological works Kurt Grelling tries to give a rigorous analysis of the foundations of the so-called Gestalt-psychology. Gestalten are peculiar emergent qualities, ontologically dependent on their foundations, but nonetheless non reducible to them. Grelling shows that this concept, as used in psychology and ontology, is often ambiguous. He distinguishes two important meanings in which the word “Gestalt” is used: Gestalten as structural aspects available to transposition and Gestalten as causally self-regulating wholes. Gestalten in the first meaning are, according (...) to Grelling, “equivalence classes of correspondences”, while Gestalten as self-regulating wholes have more to do with relations of ontological dependence. Grelling’s clarification of the concept of Gestalt is doubtless an excellent piece of philosophical analysis, but at the end of the day it turns out that his analysis captures at best only a part of intuitions traditionally connected with the notion of Gestalt. (shrink)

Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's (...) derivation-indicator account, but conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction. (shrink)

This paper provides a review of Raymond Turner’s book Computational Artefacts. Towards a Philosophy of Computer Science. Focus is made on the definition of program correctness as the twofold problem of evaluating whether both the symbolic program and the physical implementation satisfy a set of specifications. The review stresses how these are not two separate problems. First, it is highlighted how formal proofs of correctness need to rely on the analysis of physical computational processes. Secondly, it is underlined how (...) software testing requires considering the formal relations holding between the specifications and the symbolic program. Such a mutual dependency between formal and empirical program verification methods is finally shown to influence the debate on the epistemological status of computer science. (shrink)

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the hypothesis is (...) correct emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

Are grounding claims fully general in character? If an object a is F in virtue of being G, does it follow that anything that’s G is F for that reason? According to the thesis of Weak Formality, the answer here is ‘yes’. In this paper, however, I argue that there is philosophical utility in rejecting this thesis. More exactly, I argue that two currently unresolved problems in contemporary metaphysics can be dealt with if we hold that there can be cases (...) of ‘kind-dependent grounding’, the key thought being that once we allow for such cases, we must also accept that Weak Formality is false. (shrink)

Two questions are raised for Grafen’s formal darwinism project of aligning evolutionary dynamics under natural selection with the optimization of phenotypes for individuals of a population. The first question concerns mean fitness maximization during frequency-dependent selection; in such selection regimes, not only is mean fitness typically not maximized but it is implausible that any parameter closely related to fitness is being maximized. The second question concerns whether natural selection on inclusive fitness differences can be regarded as individual selection or (...) whether it leads to a departure from the central motivation that led to the formal darwinism project, viz., to show that “Darwinian” evolution through individual selection leads to “good design” or phenotypic adaptation through trait optimization. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...) the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly (...) in an order. Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and (...) dependence. We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

Integrated Information Theory stands out as one of the most promising theories for dealing with the hard problem of consciousness. Founded on five axioms derived from phenomenology, IIT seeks for the physical substrate of consciousness that complies with such axioms according to the criterion of maximally integrated information. Eventually, IIT identifies phenomenal consciousness with maximal Φ or, what is the same thing, with the strongest cause-effect power in the system. Among the scholars critical of this theory, some point to the (...) so-called Intrinsicality Problem, namely that consciousness cannot be an intrinsic property of the system because maximal Φ crucially depends on the possible existence of bigger values of Φ if the initial system is appropriately linked to or embedded in larger systems. Although proposals in the recent literature aim to solve the IP by going beyond reductionism and physicalism, none of them tackle the real issue, i.e., the insufficiency of IIT’s causal-metaphysical structure. This papers endeavors to provide a solution to the IP in IIT within a hylomorphist ontology that includes formal causation. Complementing IIT with formal causation provides the theory with a criterion of individuation that solves the IP and, by relaxing identification between maximal Φ and consciousness, it lends a more robust metaphysical structure. To wit, maximal Φ is a necessary but not sufficient condition for the existence of consciousness. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state of (...) a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, (...) continuity and contact. These basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

A formal language is introduced that contains expressions for the dependency of a legal relation on the claims that the concerned individuals make and on the permissions that they grant. It is used for a classification of legal relations into six major categories: categorical obligation, categorical permission, claimable obligation, grantable permission, claim-dependent obligation and grant-dependent permission. Legal rights may belong to any of these six categories, but the characteristics of a right-holder are shown to be different in each of (...) the six types. (shrink)

This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing (...) the compatibility [Vereinbarkeit] relation implicated in Husserl's notorious doctrine of impossible meanings, the essay introduces a compatibility restriction on relations to formulate Husserl's distinction between singular [einheitliche] and plural [mehrheitliche] objects, using plural relating moments to define first-order versions of Husserl's notions of relation complexes (i.e. Sachverhalte), abstracta of n-ary relation complexes, categorial relations, abstract eide as unifications of categorial relations, semantic domains as completions of abstract eide, and material regions as semantic domains which are compatibility upper bounds of categorial relations. These concepts will enable the formal dependence-ontological noetic semantics for two-valued, first-order modal languages introduced in the sequel Two-Valued Logics of Intentionality, the third essay in the sequence. (shrink)

This essay explores whether dependent relationships might justify extending direct moral consideration to nonhuman animals. After setting out a formal conception of moral standing as relational, scalar, and unilateral, I consider whether and how an appeal to dependencies might be the basis for an animal’s moral standing. If dependencies generate reasons for extending direct moral consideration, such reasons will admit of significant variations in scope and stringency.

In this paper, I examine the syntax-semantics of subjunctive clauses in (Modern) Greek. These clauses are headed by the particle na and contain a dependent verbal form with no formal mood features: the perfective nonpast (PNP). I propose that the semantics of na is temporal: it introduces the variable now (n) into the syntax. This is necessary because the apparent present tense in the PNP cannot introduce n. The PNP, instead, contains a dependent time variable. This variable cannot be (...) interpreted as a free variable – hence it cannot be identified with the utterance time of the context. This analysis relies on two premises. One is the (quite influential) idea that pronouns and tenses are analogous creatures (Partee 1973, 1984, Heim 1998, Kratzer 1998, and others). The other premise is that at least some polarity items are expressions that contain variables that cannot be interpreted deictically (Giannakidou 1998, 2001). In the present work I suggest to enlarge the domain of phenomena that can receive a unified treatment across individuals, worlds, and tenses, and treat the subjunctive mood as a non-deictic time, thus an instance of a polarity dependency of the temporal kind. It is my hope that the analysis proposed here for the PNP can be used to analyze verbal subjunctives in Romance languages, and perhaps also infinitival forms in English, but investigation of this question will have be left for the future. (shrink)

Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often (...) misinterpreted to encode all kinds of statements, including those which are not ontological. Method: We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements. We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations. To illustrate these four types of representations, we use a running example from parasitology. Results: We finally formulate recommendations for semantically adequate ontologies that can efficiently be used as a stable framework for more context-dependent biomedical knowledge representation and reasoning applications like clinical decision support systems. (shrink)

Choices rarely deal with certainties; and, where assertoric logic and modal logic are insufficient, those seeking to be reasonable turn to one or more things called “probability.” These things typically have a shared mathematical form, which is an arithmetic construct. The construct is often felt to be unsatisfactory for various reasons. A more general construct is that of a preordering, which may even be incomplete, allowing for cases in which there is no known probability relation between two propositions or between (...) two events. Previous discussion of incomplete preorderings has been as if incidental, with researchers focusing upon preorderings for which quantifications are possible. This article presents formal axioms for the more general case. Challenges peculiar to some specific interpretations of the nature of probability are brought to light in the context of these propositions. A qualitative interpretation is offered for probability differences that are often taken to be quantified. A generalization of Bayesian updating is defended without dependence upon coherence. Qualitative hypothesis testing is offered as a possible alternative in cases for which quantitative hypothesis testing is shown to be unsuitable. [NB: There is a transcription error in (A6), the quantification “∀(Y,c₂)” should be applied within the large parentheses to the proposition on the third row. You have my apologies!]. (shrink)

Historically Wales has been regarded as a country with relatively low levels of school exclusion, particularly in comparison with England. This has been used as an indicator of Wales’ commitment to the UN Convention on the Rights of the Child, which foregrounds a rights-based agenda that would argue school exclusion is a consequence of broader socio-economic structures than individual actions. However, simple analyses may mask a different picture of school exclusions in Wales. In this article, we study more detailed information (...) on formal school exclusions by looking at ‘instances’ of school exclusion, which considers the frequency and length of formal school exclusions in Wales, and alongside recorded school absence. The article also demonstrates that the pupils ‘at risk’ of formal school exclusion varies by when they experience school exclusion during their educational lifecourse. The article concludes by highlighting that patterns of school exclusion are complex, and that interpretation of these patterns depends on what kind of measure of school exclusion is used. By publishing these results, the article hopes to persuade policymakers and practitioners to re-examine their processes of exclusion to ensure they are commensurate with the law and to prevent unnecessary school exclusions. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of (...) class='Hi'>Formal Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

The article aims to introduce the formal development of the verb _ tun _ in the German language, based on the corpuses of old, middle and modern-new-high-German language. However, the morphological analysis is primarily based on Józef Darski’s innovative model of linguistic analysis which, due to its synchronic cha racter, has been adopted in diachronic research. The verb forms of _ tun _, prone to modifications owing to multiple processes depending on both the stage of development and the language (...) as a paradigm, reveal its capability of adaptation to the two basic classes of verbs, i. e. strong verbs and/or weak verbs and their subclasses. Additionally, it is possible to observe the processes of homogenization of the verb forms within a given paradigm and among the forms of distinct paradigms, mainly to stabilise them. (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The (...) third type of dependence is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful (...) representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)

A statistical method for inference of formal causes was introduced. The procedure, referred to as the method of corresponding regressions, was explained and illustrated using a variety of simulated causal models. The method reflects IV/DV relations among variables traditionally limited to correlational or structural equation analysis. The method was applied to additive, subtractive, multiplicative, recursive and reflected models, as well as models of unrelated and correlated dependent variables. Initial applications to data from physical science, biology, economics, marketing and psychology (...) were developed, with generally supportive results. (shrink)

Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence (...) on a similar point supports this analysis. - I - Unbestritten bis heute gilt, formwissenschaftliche und ikonologische Methoden scheinen sich grundsätzlich auszuschließen, da die ersteren auf ahistorischen und die letzteren auf historischen Grundlagen aufbauen. Dem entgegen soll mit diesem Beitrag gezeigt werden, wie insbesondere die Forschungen Susanne K. Langers und ergänzend diejenigen von John M. Krois eine Annäherung beider Positionen ermöglichen. (shrink)

This paper argues that truth values of sentences containing predicates of “personal taste” such as fun or tasty must be relativized to individuals. This relativization is of truth value only, and does not involve a relativization of semantic content: If you say roller coasters are fun, and I say they are not, I am negating the same content which you assert, and directly contradicting you. Nonetheless, both our utterances can be true (relative to their separate contexts). A formal semantic (...) theory is presented which gives this result by introducing an individual index, analogous to the world and time indices commonly used, and by treating the pragmatic context as supplying a particular value for this index. The context supplies this value in the derivation of truth values from content, not in the derivation of content from character. Predicates of personal taste therefore display a kind of contextual variation in interpretation which is unlike the familiar variation exhibited by pronouns and other indexicals. (shrink)

Does context and context-dependence belong to the research agenda of semantics - and, specifically, of formal semantics? Not so long ago many linguists and philosophers would probably have given a negative answer to the question. However, recent developments in formal semantics have indicated that analyzing natural language semantics without a thorough accommodation of context-dependence is next to impossible. The classification of the ways in which context and context-dependence enter semantic analysis, though, is still a matter (...) of much controversy and some of these disputes are ventilated in the present collection. This book is not only a collection of papers addressing context-dependence and methods for dealing with it: it also records comments to the papers and the authors' replies to the comments. In this way, the contributions themselves are contextually dependent. In view of the fact that the contributors to the volume are such key figures in contemporary formal semantics as Hans Kamp, Barbara Partee, Reinhard Muskens, Nicholas Asher, Manfred Krifka, Jaroslav Peregrin and many others, the book represents a quite unique inquiry into the current activities on the semantics side of the semantics/pragmatics boundary. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, (...) but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Formal semantics is understood either as a formal analysis of semantical features of natural language or as model‐theoretic semantics of formal languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of (...) L and its interpretative structure SI. However, the content of interpretation, that is, the way of correlating of L‐expressions with extralinguistic items depends of informal factors. The discussion shows that semantics is prior to syntax. (shrink)

Choices rarely deal with certainties; and, where assertoric logic and modal logic are insufficient, those seeking to be reasonable turn to one or more things called “probability.” These things typically have a shared mathematical form, which is an arithmetic construct. The construct is often felt to be unsatisfactory for various reasons. A more general construct is that of a preordering, which may even be incomplete, allowing for cases in which there is no known probability relation between two propositions or between (...) two events. Previous discussion of incomplete preorderings has been as if incidental, with researchers focusing upon preorderings for which quantifications are possible. This article presents formal axioms for the more general case. Challenges peculiar to some specific interpretations of the nature of probability are brought to light in the context of these propositions. A qualitative interpretation is offered for probability differences that are often taken to be quantified. A generalization of Bayesian updating is defended without dependence upon coherence. Qualitative hypothesis testing is offered as a possible alternative in cases for which quantitative hypothesis testing is shown to be unsuitable. (shrink)

"Logic", one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell. The term "Formal Logic", following Kant is generally used to distinguish formal logical reasonings, precisely as formal, from the remaining universal truths based on reason. (Cf. SCHOLZ, (...) 1931). A text-book example of a formal-logical inference which from "Some men are philosophers" and "All philosophers are wise" concludes that "Some men are wise" is called formal, because the validity of this inference depends only on the form ofthe given sentences -in particular it does not depend on the truth or falsity of these sentences. (On the dependence of logic on natural language, English, for example, compare Section 1 and 8). The form of a sentence like "Some men are philosophers", is that which remains preserved when the given predicates, here "men" and "philosophers" are replaced by arbitrary ones. The form itself can thus be represented by replacing the given predicates by variables. Variables are signs devoid of meaning, which may serve merely to indicate the place where meaningful constants (here the predicates) are to be inserted. As variables we shall use - as did Aristotle - letters, say P, Q and R, as variables for predicates. (shrink)

Introducing formal causation / Ludger Jansen and Petter Sandstad -- Form, intention, information : from scholastic logic to artificial intelligence / Gyula Klima -- Formal causation : accidental and substantial / David S. Oderberg -- A non-hylomorphic account of formal causation / Petter Sandstad and Ludger Jansen -- Formal causes for powers theorists / Giacomo Giannini and Stephen Mumford -- Away with dispositional essences in trope theory / Jani Hakkarainen and Markku Keinänen -- Functional powers / (...) Michele Paolini Paoletti -- An Aristotelian approach to existential dependence / Benjamin Schnieder and Jonas Werner -- Finean feature dependence and the Aristotelian alternative / Wolfgang Sattler -- A problem for natural-kind essentialism and formal causes / José Tomás Alvarado and Matthew Tugby -- Form as cause and the formal cause : Aristotle's answer / James G. Lennox -- Form, cause, and explanation in biology : a neo-Aristotelian perspective / Christopher J. Austin -- Formal explanation and mechanisms of conceptual representation / Sandeep Prasada. (shrink)

Compound propositions which can successfully be defended in a quantumdialogue independent of the elementary propositions contained in it, must have this property also independent of the mutual elementary commensur-abilities. On the other hand, formal commensurabilities must be taken into account. Therefore, for propositions which can be proved by P, irrespective of both the elementary propositions and of the elementary commensur-abilities, there exists a formal strategy of success. The totality of propositions with a formal strategy of success in (...) a quantum dialogue form the effective quantum logic. The propositions of the effective quantum logic can be derived from a calculus Q eff which is — on the other hand — equivalent to a lattice L qi.Propositions about measuring results are above all time dependent propositions A(S;t). In a dialogue, different partial propositions will have in general different time values. If one can (accidentally) win a material dialogue, this dialogue can be related to a single time value. For the propositions of the effective quantum logic there exist formal strategies of success, independent of the elementary propositions contained in it. All partial propositions appearing in the dialogue are formally commensurable. Therefore the propositions of effective quantum logic which can be proved by formal dialogues can always be related to a single time. They present a description of the system S considered in which all partial propositions can be related jointly to the state of S.Therefore in the effective quantum logic we have — in the limit of equal time values — a situation which corresponds conceptually to the description of the system (S; ψ) in Hilbert space. Consequently, one would expect that also the lattice L qi — except from the tertium non datur 8 — agrees with the lattice L q of subspaces of Hilbert space. It has been shown that these lattices are in fact isomorphic. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

I raise skeptical doubts about the prospects of Bayesian formal epistemology for providing an adequate general normative model of epistemic rationality. The notion of credence, I argue, embodies a very dubious psychological myth, viz., that for virtually any proposition p that one can entertain and understand, one has some quantitatively precise, 0-to-1 ratio-scale, doxastic attitude toward p. The concept of credence faces further serious problems as well—different ones depending on whether credence 1 is construed as full belief (the limit (...) case of so-called partial belief) or instead is construed as absolute certainty. I argue that the notion of an “ideal Bayesian reasoner” cannot serve as a normative ideal that actual human agents should seek to emulate as closely as they can, because different such reasoners who all have the same evidence as oneself—no single one them being uniquely psychologically most similar to oneself—will differ from one another in their credences (e.g., because they commence from different prior credences). I argue that epistemic probability, properly understood, is quantitative degree of evidential support relative to one’s evidence, and that principled epistemic probabilities arise only under quite special evidential circumstances—which means that epistemic probability is ill suited to figure centrally within general norms of human epistemic rationality. (shrink)

In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component (...) termed time-resource, which acts on durations construed as model-external inputs. A model does not by itself specify which course of events gets actualized in a given duration depending on the latest moment that has already got actualized. A time-resource merely represents schematically the dependence between a moment t and a course of events that gets actualized in a time-span of a given length counted from t; until that much time has indeed passed, it is not fixed which course of events actually extends t. Further, I introduce evaluations as a fine-grained tool for studying truth-conditions of tensed formulas, and I use this tool to define the notion of truth-maker. I define what it means that a truth-maker will obtain but does not, and what it means for a truth-maker to be determinate. It is proven that my semantic analysis retains the desirable link between determinacy and historical necessity—namely, a truth-maker of a proposition being determinate entails that the proposition is historically necessary. (shrink)

The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to (...) formal logic. (shrink)

This paper investigates how participants in cross-functional project groups use a formal work method in their sense making when dealing with the complexity of innovative work, especially in its inventive phase. The empirical basis of the paper is a prospective case study in which three project groups in three different companies are followed as they try to frame and solve their innovation tasks consisting in problems of a relatively general and vague character. The data are analyzed by means of (...) a modified version of the principles of grounded theory. This means that the lessons drawn from the empirical data are guided by a relational sense making perspective in which the formal method used by the participants is seen as a technological artifact. Among the lessons learned by using this frame of reference are that a formal method may be seen as an entity with a meaning depending on the relations it is embedded in; as an enacted cue for interpretation and action; and as a non-human actor. Compared to the tradition of organizational development, these lessons represent an alternative conception of the implementation of a work method and illuminate prevailing notions about the importance of improvisation in innovation. (shrink)

Despite the depiction of decisions to formalize informal firms as rational and ethical, many entrepreneurs in developing countries continue to operate informally regardless of its perceived illicit status. While existing research on why entrepreneurs choose informality emphasizes the economic costs and benefits of such decisions, this often overlooks the realities of the informal economy and the constraints which marginal populations—particularly women—face. In this paper, we use institutional theory and sensemaking to understand the experiences of women in the informal economy and (...) what formalization means to them. We use a qualitative approach to collect data from 90 women entrepreneurs in three different cities in Nepal. In our findings we identify three groups of women with distinctive understandings of formalization—business sustainability, livelihood sufficiency and strategic alignment. Their interpretation of formalization reveals the complex, dynamic, and cyclical nature of formalization decisions. Decisions are also guided by the optimization of social and emotional logics, whereby formalization is conceived differently depending on different life stages, experiences within the informal economy and wider socio-cultural contexts. Our findings highlight the ethical implications of formalization where being a ‘good citizen’, rather than complying with formal rules and regulations, is about attuning to and fitting in with socially prescribed roles. Our research provides a nuanced view of formalization decisions, challenging idealized and ethical notions of formalization as a desired end state. (shrink)

The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...) formal ontological principles as a first step towards finding answers to this question. (shrink)