Words associated with perceptually salient, highly imageable concepts are learned earlier in life, more accurately recalled, and more rapidly named than abstract words (R. W. Brown, 1976; Walker & Hulme, 1999). Theories accounting for this concreteness effect have focused exclusively on semantic properties of word referents. A novel possibility is that word structure may also contribute to the effect. We report a corpus-based analysis of the phonological and morphological structures of a large set of nouns with imageability ratings (N = (...) 2,023). High- and low-imageability nouns differed by length, etymology, prosody, affixation, phonological neighborhood density, and rates of consonant clustering. On average, nouns denoting abstract concepts were longer, more derivationally complex, and emerged in English from a different distribution of languages than did concrete nouns. We address implications for interactivity of word form and meaning as pertain to theories of word concreteness, lexical acquisition, and word processing. (shrink)

Words associated with perceptually salient, highly imageable concepts are learned earlier in life, more accurately recalled, and more rapidly named than abstract words (R. W. Brown, 1976; Walker & Hulme, 1999). Theories accounting for this concreteness effect have focused exclusively on semantic properties of word referents. A novel possibility is that word structure may also contribute to the effect. We report a corpus-based analysis of the phonological and morphological structures of a large set of nouns with imageability ratings (N = (...) 2,023). High- and low-imageability nouns differed by length, etymology, prosody, affixation, phonological neighborhood density, and rates of consonant clustering. On average, nouns denoting abstract concepts were longer, more derivationally complex, and emerged in English from a different distribution of languages than did concrete nouns. We address implications for interactivity of word form and meaning as pertain to theories of word concreteness, lexical acquisition, and word processing. (shrink)

Resumen: Este escrito aborda la interpretación deleuziana de la sustancia spinozista. Su objetivo es mostrar que el núcleo fundamental de dicha interpretación reside en el señalamiento del carácter único y a la vez múltiple de la sustancia, carácter que Deleuze conceptualiza a través de la categoría de distinción formal, tomada de Duns Scoto. Con este propósito, se caracterizan las nociones de univocidad y de expresión, que nos conducen a plantear que la sustancia, por ser a la vez única y (...) múltiple, consiste en el desarrollo de una contradicción. Esta condición nos permite concluir que la interpretación deleuziana, más allá de su propósito manifiesto, enfatiza una arista del trabajo de Spinoza que lo acerca a la filosofía de Hegel. Lo cual implica que la propia producción de Deleuze ofrece, también, aspectos que la aproximan a la del filósofo alemán.: This paper addresses the Deleuzian interpretation of the Spinozist substance. It aims at showing that the fundamental nucleus of this interpretation lies in pointing out the unique and simultaneously multiple character of the substance, which Deleuze conceptualizes through the category of formal distinction, taken from Duns Scoto. To reach this goal, the notions of univocity and expression are characterized. This leads us to affirm that substance, being both unique and multiple, consists of the development of a contradiction. This character allows us to conclude that the Deleuzian interpretation, beyond its manifest purpose, emphasizes a dimension of Spinoza’s work that brings it closer to Hegel’s philosophy. This implies that Deleuze’s own production also offers aspects that approach it to the German philosopher’s work. (shrink)

The degree of realism that Duns Scotus understood his formal distinction to have implied is a matter of dispute going back to the fourteenth century. Both modern and medieval commentators alike have seen Scotus's later, Parisian treament of the formal distinction as less realist in the sense that it would deny any extra-mentally separate formalities or realities. This less realist reading depends in large part on a question known to scholars only in the highly corrupt edition (...) of Luke Wadding, where it is printed as the first of the otherwise spurious Quaestiones miscellaneae de formalitatibus. The present study examines this question in detail. Cited by Scotus's contemporaries as the Quaestio logica Scoti, we establish that it was a special disputation held by Scotus at Paris in response to criticisms of his use of the formal distinction in God, identify its known manuscripts, and provide an analysis based upon a corrected text, showing in particular the total unreliability of the Wadding edition. Our analysis shows that the Logica Scoti does not absolutely prohibit an assertion of formalities as correlates of the formal distinction, even in the divine Person, so long as their non-identity is properly qualified. That is, the positing of formalities does not of itself entail an unqualified or absolute distinction. (shrink)

This paper examines Ockham's development of the formal distinction, especially in contrast to Scotus's presentation of the formal distinction. The claim is that the major differences between the two presentations can be accounted for largely from the different uses to which Scotus and Ockhan employ the distinction. Whereas Scotus develops the distinction in an attempt to make comprehensible what appears to be incomprehensible (e.g. the Trinity), Ockham uses the distinction to establish the fundamental (...) incomprehensibility of the same issues (e.g. the Trinity). (shrink)

While Heidegger's earlier phenomenological writings inform much contemporary discourse in the continental philosophy of religion, his 1927 essay on ‘Phenomenology and Theology’ offers a largely uncontested distinction between philosophy and theology on the basis of their possibilities as sciences following ontological difference. This paper reconsiders Heidegger's distinction by invoking spirit and wonder, concepts Jacques Derrida and Mary-Jane Rubenstein have more recently emphasized as central to thought that is open to that which ruptures metaphysical schemas. I contend Heidegger's use (...) of ontological difference as a formal distinction between philosophy and theology distances us from the wonder, spirit, and truth (alētheia) that undoes the binaries behind which we take shelter. However, I temper this critique with the recognition that Heidegger, Derrida, and Rubenstein equally recognize an inescapable repetition of metaphysical thinking in the philosophy of religion. (shrink)

La prima parte dello studio presenta una panoramica sulla vita e l'opera di Wylton, l'indagine poi verte sulla struttura e il contesto dottrinale della quaestio in esame , ed infine sulla dottrina della distinzione formale qui esposta. L'ampia appendice presenta un'edizione della quaestio, tradita nel ms Vat. Borgh. 36.

Polanyi analyzes the historical deployment of a “formal” economic science starting from the “market-scarcity-instrumental rationality triptych.” This triptych, and the knowledge associated with it, is shown to be more than merely a “substantial” economic science’s interest in the triptych “need-nature-institution.” While we must agree with Polanyi that economism is ill-suited to the first triptych, we hesitate to accept his suggested alternative, a heterogeneous mixture of naturalism and institutionalism, essentialism and historicism.

The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms can account for such a task. In the same vein, we analyse some key aspects of the historical and theoretical debate surrounding scientific discovery, in particular, the context of discovery and context of justification context distinction. We present an argument concerning the weakening of the discovery/justification context (...) dichotomy based on the descriptive accent contained in the non-monotonic logic perspective together with its epistemological concerns. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (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)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had (...) very detailed procedures for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (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)

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much (...) wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic‐supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic‐supporting properties bear a principled connection to the kind, that is, (...) are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic‐supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

Recent policy in relation to clinical research proposals in the UK has distinguished between two types of review: scientific and ethical. This distinction has been formally enshrined in the recent changes to research ethics committee structure and operating procedures, introduced as the UK response to the EU Directive on clinical trials. Recent reviews and recommendations have confirmed the place of the distinction and the separate review processes. However, serious reservations can be mounted about the science/ethics distinction and (...) the policy of separate review that has been built upon it. We argue here that, first, the science/ethics distinction is incoherent, and, second, that RECs should not only be permitted to consider a study’s science, but that they have anobligation do so. (shrink)

In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities that may coincide without overlapping. Some examples are: cavities and invading particles, passageways and valves, geographic regions and tropical storms. The purpose of this paper is to develop a formal theory of spatial relations for domains that include coincident entities. The core of the theory is a clear distinction between mereotopological relations, such as parthood and connection, and relative location relations, such as coincidence. To (...) guide the development of the formal theory, I construct mathematical models in which nontrivial relative location relations are defined. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

Truth is a fundamental objective of adjudicative processes; ideally, substantive as distinct from formal legal truth. But problems of evidence, for example, may frustrate finding of substantive truth; other values may lead to exclusions of probative evidence, e.g., for the sake of fairness. Jury nullification and jury equity. Limits of time, and definitiveness of decision, require allocation of burden of proof. Degree of truth-formality is variable within a system and across systems.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Axel Honneth draws a distinction between three types of recognition: (1) love, (2) respect and (3) social esteem. In his The Struggle for Recognition, the recognition of cultural particularity is situated in the third sphere. It will here be argued that the logic of recognition of cultural identity also demands a non-evaluative recognition, namely a respect for difference. Difference-respect is formal because it is a recognition of the value of a particular culture not "for society" or "as such", (...) but for the social group involved. Yet, although it is formal, difference-respect cannot be reduced to respect for personal autonomy and its preconditions, as Honneth wrongly suggests in Redistribution or Recognition? It is argued here that difference-respect is oriented towards another dimension of the person, namely social attachments. This kind of respect entails a separate register of formal recognition with a corresponding concept of personal identity and a parallel category of social disrespect. What morally justifies difference-respect from a recognition-theoretic approach is the practical relation-to-self that thus becomes possible, namely self-respect as a sense of belonging. The formal conception of the good life that Honneth articulates should include the insight that this sense of belonging is as much a necessary condition for the good life as is personal autonomy. (shrink)

El artículo intenta presentar y explicar la distinctio formalis ex natura rei, noción que muchos estudiosos han visto como fundamental en la filosofía de Duns Scoto, puesto que a partir de ella se marcaría una importante novedad en relación con las clases de distinciones aristotélicas y tomasianas al tiempo que se inauguraría una nueva metafísica y un original abordaje del acto cognoscitivo. Asimismo, se intentará mostrar cómo la distinción formal se asimilaría al esse intelligibille o esse obiectivum, abriendo así (...) un ámbito intermedio entre lo real y lo inteligible al que podemos denominar objetivo. We attempt to present and explain the distinctio formalis ex-nature rei. a notion that many experts have regarded as fundamental in Duns Scoto´s philosophy, since this would signal an important novelty related Aristotelian and Thomistic types of distinctions, at the time a new metaphysics and an original approach of the cognitive act would emerge. Likewise, we will try to show how the formal distinction would be assimilated to the esse intelligibille or esse obiectivum, thus opening an intermediate area between the real and the intelligible thing which we can name objective. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...) problem of ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

Reasons-based accounts of our normative conclusions face difficulties in distinguishing between what ought to be done and what is required. This article addresses this problem from a formal perspective. I introduce a rudimentary formalization of a reasons-based account and demonstrate that that the model faces difficulties in accounting for the distinction between oughts and requirements. I briefly critique attempts to distinguish between oughts and requirements by appealing to a difference in strength or weight of reasons. I then present (...) a formalized reasons-based account of permissions, oughts and requirements. The model exploits Joshua Gert (2004; 2007) and Patricia Greenspan’s (2005; 2007; 2010) suggestion that some reasons perform a purely justificatory function. I show that the model preserves the standard entailment relationships between requirements, oughts and permissions. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and (...) physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...) problem of ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

Using formal techniques, Schrodinger's 1935 cat argument is reproduced. Assumptions of the argument are made explicit as axioms and rules of inference; from these a contradiction is derived. The formal statement is then used to elucidate several crucial distinctions, to reject several commonly proposed resolutions, and to sketch an Einsteinian perspective for the argument.

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity (...) of formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive. (shrink)

In this section, we apply the notions obtained above to a famous historical example of a false proof. Our goal is to demonstrate that this proof shows a sufficient degree of distinctiveness for a formalization in a Naproche-like system and hence that automatic checking could indeed have contributed in this case to the development of mathematics. This example further demonstrates that even incomplete distinctivication can be sufficient for automatic checking and that actual mistakes may occur already in the margin between (...) the degree of distinctiveness necessary for formalization and complete distinctiveness. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...) longer play a distinctive role. This account employs a new notion of semantic. (shrink)