Moderate formalism is the view that all artworks which have aesthetic properties have formal aesthetic properties, and some but not all of those works also have non-formal aesthetic properties. Nick Zangwill develops this view in his Metaphysics of Beauty after having argued against its alternatives – extreme formalism and anti-formalism. This article reviews his arguments against the rivals of moderate formalism, and argues that the rejection of anti-formalism is unjustified. Zangwill does not succeed in proving (...) that the broadly determined (context-determined) properties of artworks are in some cases irrelevant to their aesthetic properties – and following that, interpretation and assessment. A historical argument presented here shows how aesthetic properties of every work must partly supervene on this work’s contextual properties. In particular, this disproves Zangwill’s claim that epistemological matters are unessential in determining the artwork’s properties, and exposes some problems his account has with explaining relations between nonaesthetic and aesthetic properties. (shrink)

Right after the elaboration and success of general relativity (GR), alternative theories for gravity began to appear. In order to verify and classify all these theories, specific tests have been developed, based on self-consistency and on completeness. In the field of experimental gravity, one of the important applications is formalism. For the evaluation of gravity models, several sets of tests have been proposed. Parameterized post-Newtonian formalism considers approximations of Einstein's gravity equations by the lowest order deviations from Newton's (...) law for weak fields. DOI: 10.13140/RG.2.2.25994.82881. (shrink)

The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet (...) been used or were neglected in past discussions. (shrink)

We present an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new inter- pretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. Elementary particles are considered as extended objects and nonlocal effects are included. The role of the new concepts in the problems of measurement and of the Einstein-Podolsky-Rosen correlations is described. Experiments to distinguish the proposed interpretation from the Copenhagen (...) one are pointed out. (shrink)

Book information: Deviant Logic, Fuzzy Logic: Beyond The Formalism. By SUSAN HAACK. Chicago, Ill.: University of Chicago Press, 1996. Pp. xxvi, 291.

The paper deals with the formalistic view on music presented in Eduard Hanslick’s treatise On the Musically Beautiful, which is taken to be the foundingwork of the aesthtetics of music. In the paper I propose an interpretation of Hanslick’s treatise which differs on many points from the interpretations displayed in the works of several most influential contemporary aestheticians of music. My main thesis is that Hanslick’s treatise is misunderstood and incorrectly presented by these authors. I try to demonstrate this thesis (...) by referring to Hanslick’s original formulations in the German edition and by showing that my interpretation renders Hanslick’s view far more coherent and his arguments successful in showing his main conclusions. Accepting this alternative interpretation should have further implications on many contemporary theories in the aesthetics of music that reckon on the failure of Hanslick’s arguments as presented by usual interpretations. (shrink)

It seems necessary to introduce the basic concepts used in this article i.e. formalism, anti-formalism and moderate formalism. Formalists believe that the aesthetic appreciation of an art work generally involves an attentive awareness of its sensory or conceptual qualities and does not require knowledge about its non-perceptual properties. Anti-formalists on the hand hold that noon of the aesthetic properties in the work of art are formal. A number of philosophers have recently advocated a more moderate formalism. (...) According to this view although not all aesthetic properties are formal, many are, and some artworks possess only formal aesthetic qualities. The quarrel among these three rival views concerns what sort of knowledge, if any, is required for appropriate aesthetic appreciation of an art work. In what follows, we will give a brief exposition of these three view points. Subsequently we will give our preferred position with regard to these views. (shrink)

This book has three main parts. The first, longer, part is a reprint of the author's Deviant Logic, which initially appeared as a book by itself in 1974. The second and third parts include reprints of five papers originally published between 1973 and 1980. Three of them focus on the nature and justification of deductive reasoning, which are also a major concern of Deviant Logic. The other two are on fuzzy logic, and make up for a major omission of Deviant (...) Logic. (shrink)

Forty-two years ago, Capra published “The Tao of Physics” (Capra, 1975). In this book (page 17) he writes: “The exploration of the atomic and subatomic world in the twentieth century has …. necessitated a radical revision of many of our basic concepts” and that, unlike ‘classical’ physics, the sub-atomic and quantum “modern physics” shows resonances with Eastern thoughts and “leads us to a view of the world which is very similar to the views held by mystics of all ages and (...) traditions.“ This article stresses an analogous situation in biology with respect to a new theoretical approach for studying living systems, Integral Biomathics (IB), which also exhibits some resonances with Eastern thought. Stepping on earlier research in cybernetics1 and theoretical biology,2 IB has been developed since 2011 by over 100 scientists from a number of disciplines who have been exploring a substantial set of theoretical frameworks. From that effort, the need for a robust core model utilizing advanced mathematics and computation adequate for understanding the behavior of organisms as dynamic wholes was identified. At this end, the authors of this article have proposed WLIMES (Ehresmann and Simeonov, 2012), a formal theory for modeling living systems integrating both the Memory Evolutive Systems (Ehresmann and Vanbremeersch, 2007) and the Wandering Logic Intelligence (Simeonov, 2002b). Its principles will be recalled here with respect to their resonances to Eastern thought. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

The problem of measurement in economic models and the possibility of their quantum-mechanical description are considered. It is revealed that the apparent paradox of such a description is associated with a priori requirement of conformity of the model to all the alternatives of free choice of the observer. The measurement of the state of a trader on a stock exchange is formally defined as his responses to the proposals of sale at a fixed price. It is shown that an analogue (...) of Bell's inequalities for this measurement model is violated at the most general assumptions related to the strategy of the trader and requires a quantummechanical description of the dynamics of his condition. In the framework of the theory of weak continuous quantum measurements, the equation of stock price dynamics and the quantum-mechanical generalization of the F. Black and M. Scholes model for pricing options are obtained. The fundamental distinctions between the obtained model and the classical one are discussed. (shrink)

The default theory of aesthetic value combines hedonism about aesthetic value with strict perceptual formalism about aesthetic value, holding the aesthetic value of an object to be the value it has in virtue of the pleasure it gives strictly in virtue of its perceptual properties. A standard theory of aesthetic value is any theory of aesthetic value that takes the default theory as its theoretical point of departure. This paper argues that standard theories fail because they theorize from the (...) default theory. (shrink)

In this study we offer a new way of applying Kendall Walton’s theory of make-believe to musical experiences in terms of psychologically inhibited games of make-believe, which Walton attributes chiefly to ornamental representations. Reading Walton’s theory somewhat against the grain, and supplementing our discussion with a set of instructive examples, we argue that there is clear theoretical gain in explaining certain important aspects of composition and performance in terms of psychologically inhibited games of make-believe consisting of two interlaced game-worlds. Such (...) complex games can accommodate a continuous rich spectrum of congruent modes of listening, which broaches both the formalist-type and the narrativist-type. We conclude that this sort of oblique reading of Walton’s original theory actually complements and completes Walton’s recent theoretic angle concerning thoughtwriting in music by way of affording it with a suitable conception for a mechanism of appropriation for music. (shrink)

Immanuel Kant's moral thesis is that reason alone must identify moral laws. Examining various interpretations of his ethics, this essay shows that the thesis fails. G. W. F. Hegel criticizes Kant's Formula of Universal Law as an empty formalism. Although Christine Korsgaard's Logical and Practical Contradiction Interpretations, Barbara Herman's contradiction in conception and contradiction in will tests, and Kenneth Westphal's paired use of Kant's universalization test all refute what Allen Wood calls a stronger form of the formalism charge, (...) they are not free from a weaker form of it. Some philosophers try to avoid both forms of the formalism charge in the following ways: First, some underline the roles of Kant's other formulas. Second, some interpret the Formula of Universal Law teleologically. Third, some claim that a maxim must be something all those potentially affected by it can rationally accept. Fourth, Robert Louden introduces the empirical to evaluate a maxim. All those attempts introduce heteronomy into Kant's ethics. Besides, on the third response, from the fact that all those potentially affected accept a maxim, it does not follow that it is morally right. It is impossible to avoid the formalism charge without making his ethics heteronomous. Thus, Kant's ethics is either empty or heteronomous. Either way it fails to identify moral laws by reason alone. (shrink)

[A Czech Greenberg? Mukařovský and Aesthetic Formalism] This article revisits Tomáš Pospiszyl’s discussion of the split between the North American and the Czechoslovak postwar modernism as a difference between the views of two critics who dominated the American and the Czechoslovak art scene, respectively--Clement Greenberg and Jindřich Chalupecký. Pospiszyl convincingly traces the evolution of American art to what has been called Greenberg’s “formalism,” and the developments on the Czechoslovak scene to Chalupecký’s ideas about art as part of social (...) social interactions. Though the author of the article agrees with this analysis of Czechoslovak modernism as anti-formalist, he seeks to draw attention to the writings of the Czech literary theorist Jan Mukařovský, which were contemporaneous with Chalupecký’s and Greenberg’s--in particular Mukařovský’s 1944 lecture “The Essence of the Visual Arts.” The author provides a comparative analysis of Mukařovský and Greenberg, suggesting that the former was quite close to the latter’s “formalism.” This might seem incorrect, given that Mukařovský is considered to be a precursor of the semiotic theory of art, which is generally understood as antithetical to formalism. The solution, he argues, is to realize that Greenberg is subtler, hence not so "formalist” after all. At any rate, it turns out that in addition to Chalupecký’s “social” theory of art, Mukařovský had a more “formalist” alternative which – for well-known historical reasons – had no effect on the subsequent development of Czechoslovak modernism. (shrink)

The proposed theoretical motivation for legal fictionalism begins by focusing upon the seemingly supernatural powers of creation and control that mere mortals exercise over legal things, as a subclass of socially constructed things. This focus brings to the fore a dilemma of uncharitableness concerning the ontological commitments expressed in the discourse of whole societies about such things. Either, there is widespread equivocation as to the fundamental concept expressed by terms such as ‘existence’ or our claims about legal and other institutional (...) things are never really true. When stated as a dilemma, rather than assuming either horn from the outset, our broader social practice of fiction-telling yields a reason to prefer the fictionalist horn. -/- I differentiate three grades of legal fictionalism and contrast strong legal fictionalism with Horacio Spector’s weak form. Only the stronger form has it that engagement in a fictional discourse of law can provide reasons for legal decision-making independent of moral opinions or policy considerations. This stance relies on the claim that maintaining a fictional discourse with respect for its integrity justifies inferences to conclusions about a fictional domain beyond what is described in existing expressions of the discourse. Focusing on ontology allows an analogy between a fictional discourse of law and literary or popular fiction, in which context such inferences are more obviously persuasive. I argue that this notion of respect for the integrity of such a discourse saves legal formalist jurisprudence from the indeterminacy objections of legal realists. (shrink)

The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...) related need for workability to apply to the “the collectivity of experience’s demands, nothing being omitted,” (4) the inherent role of morality and other norms in measuring such workability, (5) the semantic as well as experiential nature of our workable realities, (6) the semantic freedoms involved in constructing, framing, and retaining our workable realities and concepts, and (7) the semantic, pre-semantic, and other restraints on constructing, framing, and retaining our workable realities and concepts. -/- Such hermeneutic pragmatism also introduces Eunomia, a real-world alternative to Dworkin’s superhuman judge Hercules. Named after the Greek goddess of good order, the human Eunomia represents the reasonable judge excellently versed in (among other things) legal theory, legal practice, linguistics, and philosophy of language. Additionally, in its appendices, this article surveys the pragmatic restraints of “implementives” and provides a detailed overview of pragmatic “workability” restraints for both law and fact. -/- (By “sense” the title of this article means not only “meaning conveyed or intended” but also “capacity for effective application of the powers of the mind as a basis for action or response.” See Sense, MERRIAM-WEBSTER’S COLLEGIATE DICTIONARY (11th ed. 2014) “Workable” has the broad meaning discussed in Sections II, IV, and Appendix C of the Article, and "good" is further explored in the section on Eunomia, namesake of the Greek goddess of good order.) -/- Keywords: Pragmatism, Hermeneutic, Truth, Rule of Law, William James, C.S. Peirce, Hilary Putnam, Richard Rorty, Gadamer, Habermas, Derrida, Lon Fuller, H.L.A. Hart, Post-truth, Postmodernism, Trump, Rhetoric, Meaning, Interpretation, Metaphor, Category, Lifeworld, Formalism, Framing, Deconstruction. (shrink)

The study is focused on analysing formalism which is a strategy of applying laws by stressing the formal features of the law, even if the consequences of the strategy like that are difficult to accept in light of legal principles and the general requirement of equity. Contrary to the common view presented in the legal literature, the study sets out arguments that the formalism is neither justified in the tradition of legal positivism, neither in the idea of the (...) rule of law. In particular it is not true that formalism secures stability and predictability of laws application. On the other hand, a non-formalistic approach to applying laws, consisting in a simultaneous application of strict rules and general principles and in acknowledging the purpose and the function of the law as important factors, allows for realising the values that are traditionally linked with legal positivism. That non-formalistic approach to applying laws, called in the study 'interpretative holism', was supported by a wide use of contemporary philosophy of language, in particular the Kripke-Putnam semantics and the findings of the contemporary philosophy of law and legal theory. -/- Praca jest poświęcona analizie zjawiska formalizmu, które jest strategią stosowania prawa, podlegająca na podkreśleniu wagi formalnych cech prawa, nawet jeśli strategia taka prowadzi do rezultatów trudnych do zaakceptowania z punktu widzenia zasad prawa albo ogólnych wymogów słuszności. Przeciwnie do dotychczasowych stanowisk reprezentowanych w literaturze, w pracy przedstawione są argumenty, że formalistyczne podejście do stosowania prawa nie ma uzasadnienia, ani w koncepcji pozytywizmu prawniczego, ani w koncepcji rządów prawa. Z drugiej strony nieformalistyczne podejście do stosowania prawa, które polega głównie na współstosowaniu reguł i zasad oraz na uwzględnianiu celu i funkcji prawa, pozwala na realizację wartości tradycyjnie przypisywanych koncepcji pozytywizmu prawniczego. Ta nieformalistyczna strategia stosowania prawa, nazywana w pracy holizmem interpretacyjnym, została w pracy uzasadniona poprzez szerokie wykorzystanie współczesnej filozofii języka, w szczególności tzw. semantyki Kripkego-Putnama oraz współczesnego dorobku polskiej i zagranicznej teorii i filozofii prawa.". (shrink)

The computational argument for individualism, which moves from computationalism to individualism about the mind, is problematic, not because computationalism is false, but because computational psychology is, at least sometimes, wide. The paper provides an early, or perhaps predecessor, version of the thesis of extended cognition.

Can a basic sensory property like a bare colour or tone be beautiful? Some, like Kant, say no. But Heidegger suggests, plausibly, that colours ‘glow’ and tones ‘sing’ in artworks. These claims can be productively synthesized: ‘glowing’ colours are not beautiful; but they are sensory forces—not mere ‘matter’, contra Kant—with real aesthetic impact. To the extent that it inheres in sensible properties, beauty is plausibly restricted to structures of sensory force. Kant correspondingly misrepresents the relation of beautiful wholes to their (...) parts. Beautiful form is not extrinsic to sensory force. Sensible beauty is just the holistic impact of agonistically-interacting sensory forces. When sensory forces interact hierarchically, their collective impact is closer to the sublime, in quality if not degree. The simplest sensory experience of sublimity is just the impact of radically intensified sensory forces, similar in kind if not degree to the individual ‘singing’ tones in a beautiful melody. (shrink)

A commentary on Whitney Davis's essay 'Visuality and Vision: Questions for a Post-culturalist Art History' published in the same issue of Estetika.

Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition of (...) a distinguished career, was elected President of the American Mathematics Society. https://en.wikipedia.org/wiki/Julia_Robinson http://www.awm-math.org/noetherbrochure/Robinson82.html. (shrink)

A study of the making of George Peacock's highly influential, yet disturbingly split, 1830 account of algebra as an entanglement of two separate undertakings: arithmetical and symbolical or formal.

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

The notions of time and causality are revisited, as well as the A- and B-theory of time, in order to determine which theory of time is most compatible with relativistic spacetimes. By considering orientable spacetimes and defining a time-orientation, we formalize the concepts of a time-series in relativistic spacetimes; A-theory and B-theory are given mathematical descriptions within the formalism of General Relativity. As a result, in time-orientable spacetimes, the notions of events being in the future and in the past, (...) which are notions of A-theory, are found to be more fundamental than the notions of events being earlier than or later than other events, which are notions of B-theory. Furthermore, we find that B-theory notions are incompatible with some structures encountered in globally hyperbolic spacetimes, namely past and future inextendible curves. Hence, GR is favorable to A-theory and the notions of past, present and future. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying (...) how, in context, the result of such subtractions is determined. And it shows how the resulting theory of conversational exculpature accounts for a varied range of linguistic phenomena. A distinctive feature of the approach is the crucial role played by the question under discussion in determining the result of a given exculpature. (shrink)

On one popular view, the general covariance of gravity implies that change is relational in a strong sense, such that all it is for a physical degree of freedom to change is for it to vary with regard to a second physical degree of freedom. At a quantum level, this view of change as relative variation leads to a fundamentally timeless formalism for quantum gravity. Here, we will show how one may avoid this acute ‘problem of time’. Under our (...) view, duration is still regarded as relative, but temporal succession is taken to be absolute. Following our approach, which is presented in more formal terms in, it is possible to conceive of a genuinely dynamical theory of quantum gravity within which time, in a substantive sense, remains. 1 Introduction1.1 The problem of time1.2 Our solution2 Understanding Symmetry2.1 Mechanics and representation2.2 Freedom by degrees2.3 Voluntary redundancy3 Understanding Time3.1 Change and order3.2 Quantization and succession4 Time and Gravitation4.1 The two faces of classical gravity4.2 Retaining succession in quantum gravity5 Discussion5.1 Related arguments5.2 Concluding remarks. (shrink)

Does the notion of ground, as it has recently been employed by metaphysicians, point to a single unified phenomenon? Jonathan Schaffer holds that the phenomenon of grounding exhibits the unity characteristic of a single genus. In defense of this hypothesis, Schaffer proposes to take seriously the analogy between causation and grounding. More specifically, Schaffer argues that both grounding and causation are best approached through a single formalism, viz., that utilized by structural equation models of causation. In this paper, I (...) present several concerns which suggest that the structural equation model does not transfer as smoothly from the case of causation to the case of grounding as Schaffer would have us believe. If it can in fact be shown that significant differences surface in how the formalism in question applies to the two types of phenomena in question, Schaffer’s attempt at establishing an analogy between grounding and causation has thereby been weakened and, as a result, the application of the Unity Hypothesis to the case of grounding once again stands in need of justification. (shrink)

The idea that mind and body are distinct entities that interact is often claimed to be incompatible with physics. The aim of this paper is to disprove this claim. To this end, we construct a broad mathematical framework that describes theories with mind-body interaction (MBI) as an extension of current physical theories. We employ histories theory, i.e., a formulation of physical theories in which a physical system is described in terms of (i) a set of propositions about possible evolutions of (...) the system and (ii) a probability assignment to such propositions. The notion of dynamics is incorporated into the probability rule. As this formulation emphasises logical and probabilistic concepts, it is ontologically neutral. It can be used to describe mental `degrees of freedom' in addition to physical ones. This results into a mathematical framework for psycho-physical interaction (ΨΦI formalism). Interestingly, a class of ΨΦI theories turns out to be compatible with energy conservation. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes (...) and pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely (...) what is known as geometric logic. (shrink)

I argue for an enactive account of musical experience — that is, the experience of listening ‘deeply’(i.e., sensitively and understandingly) to a piece of music. The guiding question is: what do we do when we listen ‘deeply’to music? I argue that these music listening episodes are, in fact, doings. They are instances of active perceiving, robust sensorimotor engagements with and manipulations of sonic structures within musical pieces. Music is thus experiential art, and in Nietzsche’s words, ‘we listen to music with (...) our muscles’. This paper attempts to explicate and defend this claim. First, I discuss enactive approaches to consciousness and cognition generally. Next, I apply an enactive model of perceptual consciousness to the experience of listening to music. To clarify what is at stake, I use Peter Kivy’s ‘enhanced formalism’ as a philosophical foil. I then look at how the animate body shapes musical experience. (shrink)

We expound an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new interpretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. The ψ function is no longer interpreted as a probability amplitude of the observed behaviour of elementary particles but as an objective physical field representing the particles themselves. The particles are thus extended objects whose extension varies in time according (...) to the variation of ψ. They are considered as fundamental regions of space with some kind of nonlocality. Special consideration is given to the Heisenberg relations, the Einstein-Podolsky- Rosen correlations, the reduction process, the problem of measurement, and the quantum-statistical distributions. (shrink)

We argue that philosophers ought to distinguish epistemic decision theory and epistemology, in just the way ordinary decision theory is distinguished from ethics. Once one does this, the internalist arguments that motivate much of epistemic decision theory make sense, given specific interpretations of the formalism. Making this distinction also causes trouble for the principle called Propriety, which says, roughly, that the only acceptable epistemic utility functions make probabilistically coherent credence functions immodest. We cast doubt on this requirement, but then (...) argue that epistemic decision theorists should never have wanted such a strong principle in any case. (shrink)

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

True beliefs are better guides to the world than false ones. This is the common-sense assumption that undergirds theorizing in evolutionary epistemology. According to Alvin Plantinga, however, evolution by natural selection does not care about truth: it cares only about fitness. If our cognitive faculties are the products of blind evolution, we have no reason to trust them, anytime or anywhere. Evolutionary naturalism, consequently, is a self-defeating position. Following up on earlier objections, we uncover three additional flaws in Plantinga's latest (...) formulation of his argument: a failure to appreciate adaptive path dependency, an incoherent conception of content ascription, and a conflation of common-sense and scientific beliefs, which we diagnose as the ‘foundationalist fallacy’. More fundamentally, Plantinga's reductive formalism with respect to the issue of cognitive reliability is inadequate to deal with relevant empirical details. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

Traditionally Ψ is used to stand in for both the mathematical wavefunction (the representation) and the quantum state (the thing in the world). This elision has been elevated to a metaphysical thesis by advocates of the view known as wavefunction realism. My aim in this paper is to challenge the hegemony of the wavefunction by calling attention to a little-known formulation of quantum theory that does not make use of the wavefunction in representing the quantum state. This approach, called Lagrangian (...) quantum hydrodynamics (LQH), is not an approximation scheme, but rather a full alternative formulation of quantum theory. I argue that a careful consideration of alternative formalisms is an essential part of any realist project that attempts to read the ontology of a theory off of the mathematical formalism. In particular, I show that LQH undercuts the central presumption of wavefunction realism and falsifies the claim that one must represent the many-body quantum state as living in a 3n-dimensional configuration space. I conclude by briefly sketching three different realist approaches one could take toward LQH, and argue that both models of the quantum state should be admitted. When exploring quantum realism, regaining sight of the proverbial forest of quantum representations beyond the Ψ is just the first step. (shrink)

In this paper I argue that we can solve the interpretation problem of quantum mechanics and the question of ontology of Quantum Field Theory on the basis of simple metaphysical position: The connection of the phase space with the ancient Theory of Logi of Beings, which is, by giving ontological meaning to the entities which "live" at the phase space, the Hamiltonian or Lagrangian formalism. There is a physical subject of such functions and it is the logos of a (...) being. Therefore we can refer to the logical space as the total sum of logi of being. The result of this position is that we can attribute to the wave function a physical meaning, a special case of logos of a being and also give an ontological meaning at a quantum field. The developed metaphysical scheme can interpret the quantum paradoxes, by using the commonly accepted mathematical formalism. It can also interpret certain issues of Quantum Field Theory, although further study of this topic is necessary. (shrink)

These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Godel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception (...) through the discovery of the diagonal theorems can be recognized as a particularly clear instance of the drama of reflection according to Sartre, especially in the positing and overcoming of its proper value-ideal, viz. the synthesis of consistency and completeness. Conversely, this translation solves a number of systematic problems about pure reflection’s relations to accessory reflection, phenomenological reflection, pre-reflective self-consciousness, conversion, and value. Negative foundations, the metaphysical position emerging from this translation between existential philosophy and metalogic, concurs by different paths with Badiou’s Being and Event in rejecting both ontotheological foundationalisms and constructivist antifoundationalisms. (shrink)

The current debate concerning musical profundity was instigated, and set up by Peter Kivy in his book Music Alone (1990) as part of his comprehensive defense of enhanced formalism, a position he championed vigorously throughout his entire career. Kivy’s view of music led him to maintain utter skepticism regarding musical profundity. The scholarly debate that ensued centers on the question whether or not (at least some) music can be profound. In this study I would like to take the opportunity (...) to relate Wittgenstein’s ideas on music to this current debate, thereby achieving a twofold goal: not only to reintroduce Wittgenstein’s ideas into the current debate, but also to use the current debate as a foil to better appreciating Wittgenstein’s otherness as a philosopher of music. I argue that Wittgenstein’s unique philosophical response to the Romantic framing of the discourse concerning musical profundity —specifically, its threefold emphasis on the specificity, aboutness, and artistically exalted status of music— occasioned a view, which was bound to be glossed over by a philosophical tradition, whose origins had made it inimical to Wittgenstein’s original philosophical insights. I conclude that, in a sense, Wittgenstein occasions a paradigm shift by his philosophical thrust to undo the gravitational forces which form the current debate: the very idea of aboutness pertaining to music, and the very idea that a clear line could ever be drawn between music and language. (shrink)

Este artículo se opone a la tesis recientemente sostenida por John Searle según la cual no existen los derechos humanos positivos. Argumentamos que la existencia de dichos derechos no es contradictoria, como pretende Searle, con las nociones de "derecho" y"derechos humanos" definidas en su ontología social. Por consiguiente, es posible aceptar la ontología social de Searle y afirmar al mismo tiempo que los derechos humanos positivos existen. En segundo lugar, ofrecemos razones para cuestionar la supuesta prioridad lógica de una ontología (...) social al modo en que Searle la entiende (esto es, como una empresa puramente analítica) sobre los desarrollos más específicos de la filosofía moral, social y política. Al contrario, sugerimos que, por lo que se refiere a la realidad social, los compromisos ontológicos dependen de los presupuestos sustantivos que se adopten en relación con la naturaleza y los fines de la sociedad misma, o bien no pasarán de ser un formalismo vacío sin relevancia heurística alguna. [This paper challenges the point recently made by John Searle that there are no positive human rights. We contend that the existence of positive human rights is not inconsistent, as Searle argues, with the notions of "right" and "human rights" as defined in his social ontology. Therefore, one could adhere to Searle's social ontology and assert the existence of positive human rights at the same time. Subsequently, the paper gives reason to question the alleged logical priority of social ontology in Searle's sense (i.e., as a purely analytic endeavour) over the particular developments of moral, social, and political philosophy. We suggest, on the contrary, that concerning social reality ontological commitments are dependent on substantive assumptions about the nature and aims of society itself, or else they amount to an empty formalism with no heuristic relevance.]. (shrink)

In this essay, we consider the formal and ontological implications of one specific and intensely contested dialectical context from which Deleuze’s thinking about structural ideal genesis visibly arises. This is the formal/ontological dualism between the principles, ἀρχαί, of the One (ἕν) and the Indefinite/Unlimited Dyad (ἀόριστος δυάς), which is arguably the culminating achievement of the later Plato’s development of a mathematical dialectic.3 Following commentators including Lautman, Oskar Becker, and Kenneth M. Sayre, we argue that the duality of the One and (...) the Indefinite Dyad provides, in the later Plato, a unitary theoretical formalism accounting, by means of an iterated mixing without synthesis, for the structural origin and genesis of both supersensible Ideas and the sensible particulars which participate in them. As these commentators also argue, this duality furthermore provides a maximally general answer to the problem of temporal becoming that runs through Plato’s corpus: that of the relationship of the flux of sensory experiences to the fixity and order of what is thinkable in itself. Additionally, it provides a basis for understanding some of the famously puzzling claims about forms, numbers, and the principled genesis of both attributed to Plato by Aristotle in the Metaphysics, and plausibly underlies the late Plato’s deep considerations of the structural paradoxes of temporal change and becoming in the Parmenides, the Sophist, and the Philebus. After extracting this structure of duality and developing some of its formal, ontological, and metalogical features, we consider some of its specific implications for a thinking of time and ideality that follows Deleuze in a formally unitary genetic understanding of structural difference. These implications of Plato’s duality include not only those of the constitution of specific theoretical domains and problematics, but also implicate the reflexive problematic of the ideal determinants of the form of a unitary theory as such. We argue that the consequences of the underlying duality on the level of content are ultimately such as to raise, on the level of form, the broader reflexive problem of the basis for its own formal or meta-theoretical employment. We conclude by arguing for the decisive and substantive presence of a proper “Platonism” of the Idea in Deleuze, and weighing the potential for a substantive recuperation of Plato’s duality in the context of a dialectical affirmation of what Deleuze recognizes as the “only” ontological proposition that has ever been uttered. This is the proposition of the univocity of Being, whereby “being is said in the same sense, everywhere and always,” but is said (both problematically and decisively) of difference itself. (shrink)

Our conscious minds exist in the Universe, therefore they should be identified with physical states that are subject to physical laws. In classical theories of mind, the mental states are identified with brain states that satisfy the deterministic laws of classical mechanics. This approach, however, leads to insurmountable paradoxes such as epiphenomenal minds and illusionary free will. Alternatively, one may identify mental states with quantum states realized within the brain and try to resolve the above paradoxes using the standard Hilbert (...) space formalism of quantum mechanics. In this essay, we first show that identification of mind states with quantum states within the brain is biologically feasible, and then elaborating on the mathematical proofs of two quantum mechanical no-go theorems, we explain why quantum theory might have profound implications for the scientific understanding of one's mental states, self identity, beliefs and free will. (shrink)