It is often claimed that emotions are linked to formal objects. But what are formal objects? What roles do they play? According to some philosophers, formal objects are axiological properties which individuate emotions, make them intelligible and give their correctness conditions. In this paper, I evaluate these claims in order to answer the above questions. I first give reasons to doubt the thesis that formal objects individuate emotions. Second, I distinguish different ways in which emotions are (...) intelligible and argue that philosophers are wrong in claiming that emotions only make sense when they are based on prior sources of axiological information. Third, I investigate how issues of intelligibility connect with the correctness conditions of emotions. I defend a theory according to which emotions do not respond to axiological information, but to non-axiological reasons. According to this theory, we can allocate fundamental roles to the formal objects of emotions while dispensing with the problematic features of other theories. (shrink)
We propose a formal representation of objects , those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject’s role, which is constructive for the mathematical objects and constitutive for the empirical ones.
What is the relation between the intentionality of states and attitudes which can miss their mark, such as belief and desire, and the intentionality of acts, states and attitudes which cannot miss their mark, such as the different types of knowledge and simple seeing? Two theories of the first type of intentionality, the theory of correctness conditions and the theory of satisfaction conditions, are compared. It is argued that knowledge always involves knowledge of formal objects such as facts and (...) values, that emotions are reactions to (apparently) known values and that beliefs are reactions to known or apparently known facts or to the objects of relational states. (shrink)
Consider "Sam is sad" and "Sam exemplifies the property of being sad". The second sentence mentions a property and predicates the relation of exemplification. It belongs to a large class of sentences which mention such formal objects as propositions, states of affairs, facts, concepts and sets and predicate formal properties such as the truth of propositions, the obtaining of states of affairs and relations such as falling under concepts and being members of sets. The first sentence belongs to (...) a distinct class of sentences in which only non-formal objects are mentioned and only non-formal properties and relations are predicated. We can, it seems, infer validly from the first sentence to the second. They are also equivalent. And Sam exemplifies the property of sadness because Sam is sad. What is the relation between inference, equivalence and explanation in the case of our two sentences and in analogous cases? What right have we to assume that there are formal objects? (shrink)
This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of (...) the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)
This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of (...) the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)
Mathematics, and mechanics conceived as a formal science, have their own proper subject matters, their own proper unities, which ground the characteristic way of constituting problems and solutions in each domain, the discoveries that expand and integrate domains with each other, and so in particular allow them, in the end, to be connected in a partial way with empirical fact. Criticizing both empiricist and structuralist accounts of mathematics, I argue that only an account of the formal sciences which (...) attributes to them objects as well as structure, proper semantics as well as syntax, can do justice to their intelligibility, heuristic force and explanatory power. (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 (...) class='Hi'>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 ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl?s works, with minor changes. This paper provides a reconstruction of such an idea. Husserl?s proposal is faced with contemporary logical orthodoxy and it is presented also an interpretative hypothesis, namely that the original difference between the general perspective of usual model (...) theory and formal ontology is grounded in the fact that this latter starts from an intended interpretation and not from the set of all the possible interpretations. (shrink)
Presented here are translations of two essays of the Austrian logician, philosopher and experimental psychologist Ernst Mally, originally delivered at the Third International Congress of Philosophy in Heidelberg, Germany. Both essays conclude with discussion between Mally and Kurt Grelling. Mally was a student of Alexius Meinong and a contributor to logical investigations in the field of object theory (Gegenstandstheorie). In these essays, Mally introduces a vital distinction between formal and extra-formal ?determinations? (Bestimmungen), and he argues that (...) class='Hi'>formal determinations are not part of the identity conditions for intended objects, but provide the basis for a theory of pure logical and mathematical relations. Mally then proceeds to develop a formal logic of formal and extra-formal determinations, whose interrelations of ontic and modal predications provide an analysis of fundamental object theory concepts. (shrink)
This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of (...) natural languages. This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. But before we turn to the topic at hand, a few more words on the general nature of the investigation are in order. Its general aim is to find out how semantics constructs its object, i.e., we are interested in what semanticists view as the proper object of study, how they think this object can best be approached, and how they view the relations between their own undertaking and neighbouring disciplines that deal with related, or even the same kind of phenomena, such as cognitive psychology, cognitive neuroscience, philosophy, anthropology. The background assumption is that, much like in other disciplines, semantics, too, does not have its object of investigation cut out for itself by nature, but constructs it in a complex process that involves empirical elements (‘facts’ being already too dangerous a term), philosophical assumptions, and borrowings.... (shrink)
A central problem within an influential strand of recent philosophy of mind has been to explain the “conformity of mind to thing” that characterizes knowledge. John Haldane has argued that this problem can be best addressed by a development of Thomas Aquinas’s account of the “formal identity” of the knowing subject with the object known. However, such a development is difficult to present in a manner perspicuous to a contemporary audience. This paper seeks to present a persuasive account (...) of formal identity, taking sensory cognition of the individual object as the primary case for examination. Formal identity is initially explored usingthe notion of encoding, or the systematic transfer of information reflecting efficient and formal causal processes. The mathematical notion of “isomorphism” is thenemployed to describe precisely the features of encoding needed for formal identity. Forms are defined as formally identical if and only if they are isomorphic. (shrink)
This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism in epistemology.
This paper introduces current acoustic theories relating to the phenomenology of sound as a framework for interrogating concepts relating to the ecologies of acoustic and landscape phenomena in a Japanese stroll garden. By applying the technique of Formal Concept Analysis, a partially ordered lattice of garden objects and attributes is visualized as a means to investigate the relationship between elements of the taxonomy.
Since its inception in the work on fallacies of Charles Hamblin, formal dialectic has been the object of an unparalleled level of optimism concerning the potential of its analytical contribution to fallacy inquiry. This optimism has taken the form of a rapid proliferation of formal dialectical studies of arguments in general and fallacious arguments in particular under the auspices of theorists such as Jim Mackenzie and John Woods and Douglas Walton, to name but a few. Notwithstanding the (...) interest in, and the hopes for, a formal dialectical analysis of the fallacies, such an analysis, I will demonstrate subsequently, leads to much unintelligibility in fallacy inquiry. The context of my argument will be the philosophical views of Hilary Putnam, particularly Putnam's claim that when we theorise in relation to rationality, the unintelligibility of the conception of rationality to emerge from this theoretical process can be traced to the circumscription of rationality within this theoretical process. I charge formal dialectic with effecting a similar circumscription of argumentative rationality, a circumscription that, I will claim, is generative of unintelligibility in formal dialectical analyses of the fallacies. In this case, the context for my claims will be the formal dialectical analyses of Walton and Batten, Rescher, Hamblin, Mackenzie and Hintikka, primarily in relation to the petitio principii fallacy. My conclusion examines a number of the reasons, both historical and conceptual, which have made it seem that it is possible to fully circumscribe the notion of argumentative rationality. (shrink)
According to one productive and influential approach to cognition, categorization, object recognition, and higher level cognitive processes operate on a set of fixed features, which are the output of lower level perceptual processes. In many situations, however, it is the higher level cognitive process being executed that influences the lower level features that are created. Rather than viewing the repertoire of features as being fixed by low-level processes, we present a theory in which people create features to subserve the (...) representation and categorization of objects. Two types of category learning should be distinguished. Fixed space category learning occurs when new categorizations are representable with the available feature set. Flexible space category learning occurs when new categorizations cannot be represented with the features available. Whether fixed or flexible, learning depends on the featural contrasts and similarities between the new category to be represented and the individual's existing concepts. Fixed feature approaches face one of two problems with tasks that call for new features: If the fixed features are fairly high level and directly useful for categorization, then they will not be flexible enough to represent all objects that might be relevant for a new task. If the fixed features are small, subsymbolic fragments (such as pixels), then regularities at the level of the functional features required to accomplish categorizations will not be captured by these primitives. We present evidence of flexible perceptual changes arising from category learning and theoretical arguments for the importance of this flexibility. We describe conditions that promote feature creation and argue against interpreting them in terms of fixed features. Finally, we discuss the implications of functional features for object categorization, conceptual development, chunking, constructive induction, and formal models of dimensionality reduction. Key Words: concept learning; conceptual development; features; perceptual learning; stimulus encoding. (shrink)
Contemporary biologists generally agree with E. O. Wilson’s claim that “reduction is the traditional instrument of scientific analysis.” This is certainly true of Michael Ruse, who has attempted to provide a Darwinian account of human scientific knowledge in terms of epigenetic rules. Such an account depends on the characterization of natural objects as the chance concatenations of material elements, making natural form an effect rather than a cause of the object. This characterization, however, can be shown to be false (...) in that it is self-refuting in its exclusion of formal cause. The retorsive argument for formal cause dialectically shows that any attempt to explain a natural object depends on the identification of form as the cause of the intelligibility of the object. It follows that Darwinian explanations of the products of human culture, such as science, cannot consistently treat form as an effect rather than a cause. (shrink)
A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis (...) that generates objects with parts that are modular, independent, and organized according to an invariant syntax; (2) a notion of “distance” that relates the objects according to rules of change over time as found in nature or useful for algorithms; (3) mapping functions defined on the space that map its objects to other spaces or apply an evaluative criterion to measure an important quality, such as parsimony or biochemical function. Once defined, an object space can be used to represent and simulate the dynamics of phenomena on multiple scales; it can also be used as a tool for predicting higher-order properties of the objects, including stitching together series of causal processes. Object spaces are the basis for a strategy of theorizing, discovery, and analysis in biology: as heuristic idealizations of biology, they help us transform inchoate, intractable problems into articulated, well-structured ones. Developing an object space is a research strategy with a long, successful history under many other names, and it offers a unifying but not overreaching approach to biological theory. (shrink)
Vision has been the primary focus of naturalistic philosophical research concerning perception and perceptual experience. Guided by visual experience and vision science, many philosophers have focused upon theoretical issues dealing with the perception of objects. Recently, however, hearing researchers have discussed auditory objects. I present the case for object perception in vision, and argue that an analog of object perception occurs in auditory perception. I propose a notion of an auditory object that is stronger than just that (...) of an intentional object of audition, but that does not identify auditory objects with the ordinary material objects we see. (shrink)
Taking our lead from Solomon’s emphasis on the importance of the intentional object of emotion, we review the history of repeated attempts to make this object disappear. We adduce evidence suggesting that in the case of James and Schachter, the intentional object got lost unintentionally. By contrast, modern constructivists (in particular Barrett) seem quite determined to deny the centrality of the intentional object in accounting for the occurrence of emotions. Griffiths, however, downplays the role objects have (...) in emotion noting that these do not qualify as intentional. We argue that these disappearing acts, deliberate or not, generate fruitless debate and add little to the advancement of our understanding of emotion as an adaptive mechanism to cope with events that are relevant to an organism’s life. (shrink)
A series of representations must be semantics-driven if the members of that series are to combine into a single thought. Where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. There is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine - the so-called 'computational (...) theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, and may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations; and CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on every disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)
I argue that the semantic thesis of direct reference and the meta- physical thesis of the supervenience of the non-physical on the physical cannot both be true. The argument first develops a necessary condition for supervenience, a so-called conditional locality requirement, which is then shown to be incompatible with some physical object having object dependent properties, which in turn is required for the thesis of direct reference to be true. We apply this argument to formulate a new argument (...) against the claim that a thisness is analyzable in purely general terms, one that does not rely on complete symmetry nor the falsity of the identity of indiscernibles. I outline a strategy at the end how the conclusion could be avoided, at a price. (shrink)
In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object (the formal (...) intuition of space in general), the metaphysical exposition will show that this representation is secondary to space considered as an original, undetermined and as such unrepresentable intuitive manifold. Now, following Kant, the representation of any kind of object involves diversity, synthesis and unity. In the case of our representation of space as formal intuition, this involves, firstly, a manifold a priori, i.e. space as pure form, delivered by the transcendental Aesthetic, secondly, a figurative, productive synthesis of that manifold, and, thirdly, the unity provided by the categories. Analysing our given representation of space – the task of the metaphysical exposition – amounts to dismantling its unity and determine its characteristics with respect to the categories. (shrink)
In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, (...) i.e. is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)
We consider the question: under what circumstances can the concept of adaptation be applied to groups, rather than individuals? Gardner and Grafen (2009, J. Evol. Biol.22: 659–671) develop a novel approach to this question, building on Grafen's ‘formal Darwinism’ project, which defines adaptation in terms of links between evolutionary dynamics and optimization. They conclude that only clonal groups, and to a lesser extent groups in which reproductive competition is repressed, can be considered as adaptive units. We re-examine the conditions (...) under which the selection–optimization links hold at the group level. We focus on an important distinction between two ways of understanding the links, which have different implications regarding group adaptationism. We show how the formal Darwinism approach can be reconciled with G.C. Williams’ famous analysis of group adaptation, and we consider the relationships between group adaptation, the Price equation approach to multi-level selection, and the alternative approach based on contextual analysis. (shrink)
Professor Arda Denkel argues here that objects are nothing more than bundles of properties. From this point of view he tackles some central questions of ontology: how is an object distinct from others; how does it remain the same while it changes through time? A second contention is that properties are particular entities restricted to the objects they inhabit. The appearance that they exist generally, in a multitude of things, is due to the way we conceptualise them. Other problems (...) dealt with include how objects bear similarities by belonging to the same kinds, and how change in them is caused. Denkel defends a thoroughgoing particularism and offers purely qualitative accounts of individuation, identity, essences and matter. Throughout, the main alternative positions are surveyed, and the relevant historical background is traced. (shrink)
As Vincent Hendricks remarks early on in this book, the formal and mainstream traditions of epistemic theorising have mostly evolved independently of each other. This initial impression is confirmed by a comparison of the main problems and methods practitioners in each tradition are concerned with. Mainstream epistemol- ogy engages in a dialectical game of proposing and challenging definitions of knowledge. Formal epistemologists proceed differently, as they design a wide variety of axiomatic and model-theoretic methods whose consequences they investigate (...) independently of the need of giving counterexample-free definitions of knowledge. Or at least, this is a common way to explain where both disciplines stand in the larger landscape of epistemic theorising, and why interactions between them remain scarce. The main ambition of this book is to show that the distinction between formal and mainstream approaches should not preclude a fruitful interaction, and that it only takes the right outlook on their respective practices to disclose plenty of room for interaction. (shrink)
There is general agreement that from the first few months of life, our apprehension of physical objects accords, in some sense, with certain principles. In one philosopher's locution, we are 'perceptually sensitive' to physical principles describing the behavior of objects. But in what does this accordance or sensitivity consist? Are these principles explicitly represented or merely 'implemented'? And what sort of explanation do we accomplish in claiming that our object perception accords with these principles? My main goal here is (...) to suggest answers to these questions. I argue that the object principles are not explicitly represented, first addressing some confusion in the debate about what that means. On the positive side, I conclude that the principles supply a competence account, at Marr's computational level, and that they function like natural constraints in vision. These are among their considerable explanatory benefits - benefits endowed by rules and principles in other cognitive domains as well. Characterizing the explanatory role of the object principles is my main project here, but in pursuing certain sub-goals I am led to other conclusions of interest in their own right. I address an argument that the object principles are explicitly represented which assumes that object perception is substantially thought-like. This provokes a jaunt off the main path which leads to interesting territory: the boundary between thought and perception. I argue that object apprehension is much closer to perception than to thought on the spectrum between the two. (shrink)
This paper rejects Hume's famous claim that we never perceive our selves, by arguing that, under conditions specified, our perception of our bodies is perception of our selves. It takes as its point of departure Quassim Cassam's defence of a position to a similar effect but puts a different interpretation on the distinction between perceiving the body as an object, having spatial attributes, and perceiving it as a self or subject of experiences.
There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)
An aging population is often taken to require a profound reorganization of the prevailing health care system. In particular, a more cost-effective care system is warranted and ICT-based home care is often considered a promising alternative. Modern health care devices admit a transfer of patients with rather complex care needs from institutions to the home care setting. With care recipients set up with health monitoring technologies at home, spouses and children are likely to become involved in the caring process and (...) informal caregivers may have to assist kin-persons with advanced care needs by means of sophisticated technology. This paper investigates some of the ethical implications of a near-future shift from institutional care to technology-assisted home care and the subsequent impact on the care recipient and formal- and informal care providers. (shrink)
Replies to Kevin de Laplante’s ‘Certainty and Domain-Independence in the Sciences of Complexity’ (de Laplante, 1999), defending the thesis of J. Franklin, ‘The formal sciences discover the philosophers’ stone’, Studies in History and Philosophy of Science, 25 (1994), 513-33, that the sciences of complexity can combine certain knowledge with direct applicability to reality.
. ACT, CONTENT, AND OBJECT OF THE PRESENTATION It is one of the best known positions of psychology, hardly contested by anyone, that every mental phenomenon ...
This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ entity (...) in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)
The last fifty years have seen the creation of a number of new "formal" or "mathematical" sciences, or "sciences of complexity". Examples are operations research, theoretical computer science, information theory, descriptive statistics, mathematical ecology and control theory. Theorists of science have almost ignored them, despite the remarkable fact that (from the way the practitioners speak) they seem to have come upon the "philosophers' stone": a way of converting knowledge about the real world into certainty, merely by thinking.
I consider the way in which spatial perception is necessary for object seeing. In section 1 I outline the operative conception of object seeing. I consider Cassam’s view that in order to see o, you must see it as spatially located (section 2). I argue that Cassam’s argument is unsound. Cassam’s argument relies on the claim that seeing o requires visual differentiation. But it is not the case that seeing o requires visual differentiation. This is because the following (...) principle is true: if S sees a visible proper part of o, then S sees o, and since there are cases in which S sees a visible proper part of o yet o is not visually differentiated for S , seeing o doesn’t require visual differentiation (section 3). In section 4 I suggest an alternative way of understanding the idea that spatial perception is necessary for object seeing. (shrink)
Based on theoretical considerations of Aurell (1979) and Block (1995), we argue that object recognition awareness is distinct from purely sensory awareness and that the former is mediated by neuronal activities in areas that are separate and distinct from cortical sensory areas. We propose that two of the principal functions of neuronal activities in sensory cortex, which are to provide sensory awareness and to effect the computations that are necessary for object recognition, are dissociated. We provide examples of (...) how this dissociation might be achieved and argue that the components of the neuronal activities which carry the computations do not directly enter the awareness of the subject. The results of these computations are sparse representations (i.e., vector or distributed codes) which are activated by the presentation of particular sensory objects and are essentially engrams for the recognition of objects. These final representations occur in the highest order areas of sensory cortex; in the visual analyzer, the areas include the anterior part of the inferior temporal cortex and the perirhinal cortex. We propose, based on lesion and connectional data, that the two areas in which activities provide recognition awareness are the temporopolar cortex and the medial orbitofrontal cortex. Activities in the temporopolar cortex provide the recognition awareness of objects learned in the remote past (consolidated object recognition), and those in the medial orbitofrontal cortex provide the recognition awareness of objects learned in the recent past. The activation of the sparse representation for a particular sensory object in turn activates neurons in one or both of these regions of cortex, and it is the activities of these neurons that provide the awareness of recognition of the object in question. The neural circuitry involved in the activation of these representations is discussed. (shrink)
Typical spatial descriptions, such as “The car is in front of the house,” describe the position of a located object (LO; e.g., the car) in space relative to a reference object (RO) whose location is known (e.g., the house). The orientation of the RO affects spatial language comprehension via the reference frame selection process. However, the effects of the LO's orientation on spatial language have not received great attention. This study explores whether the pure geometric information of the (...) LO (e.g., its orientation) affects spatial language comprehension using placing and production tasks. Our results suggest that the orientation of the LO influences spatial language comprehension even in the absence of functional relationships. (shrink)
This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers (...) a semantic solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)
Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin’s book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la lettre, with roles similar to those of the Greek Questioner and Answerer. In order to make a comparison between ancient dialectic and contemporary formal dialectic, I shall formalize part of the Aristotelian (...) procedure for Academic debates. The resulting system will be compared (1) with Van Eemeren and Grootendorst’s system of rules of Critical Discussion (the pragma-dialectical discussion procedure), which must, however, first itself be reconstructed as a formal dialectical system, and (2) with a Hamblin-type system, and (3) a Lorenzen-type system. When drawing comparisons, it will become clear that there is a line to be drawn from Aristotle to formal dialectic and pragma-dialectics, extending to contemporary computational models of argument. (shrink)
One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for (...) the theory and a provably sound axiomatization. (shrink)
In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type (...) theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)
This article reviews a number of different areas in the foundations of formal learning theory. After outlining the general framework for formal models of learning, the Bayesian approach to learning is summarized. This leads to a discussion of Solomonoff's Universal Prior Distribution for Bayesian learning. Gold's model of identification in the limit is also outlined. We next discuss a number of aspects of learning theory raised in contributed papers, related to both computational and representational complexity. The article concludes (...) with a description of how semi-supervised learning can be applied to the study of cognitive learning models. Throughout this overview, the specific points raised by our contributing authors are connected to the models and methods under review. (shrink)
Do humans start life with the capacity to detect and mentally represent the objects around them? Or is our object knowledge instead derived only as the result of prolonged experience with the external world? Are we simply able to perceive objects by watching their actions in the world, or do we have to act on objects ourselves in order to learn about their behavior? Finally, do we come to know all aspects of objects in the same way, or are (...) some aspects of our object understanding more epistemologically privileged than others? -/- "The Origins of Object Knowledge" presents the most up-to-date survey of the research into how the developing human mind understands the world of objects and their properties. It presents some of the best findings from leading research groups in the field of object representation approached from the perspective of developmental and comparative psychology. Topics covered in the book all address some aspect of what objects are from a psychological perspective; how humans and animals conceive what they are made of; what properties they possess; how we count them and how we categorize them; even how the difference between animate and inanimate objects leads to different expectations. The chapters also cover the variety of methodologies and techniques that must be used to study infants, young children, and non-human primates and the value of combining approaches to discovering what each group knows. -/- Bringing together leading researchers, communicating the most contemporary and exciting findings within the field of object representation, this volume will be an important work in the cognitive sciences, and of interest to those across the fields of developmental and comparative psychology. (shrink)
The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that (...) class='Hi'>object-object mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)
Like dreaming, hallucination has been a formative trope for modern philosophy. The vivid, often tragic, breakdown in the mind’s apparent capacity to disclose reality has long served to support a paradoxical philosophical picture of sensory experience. This picture, which of late has shaped the paradigmatic empirical understanding the senses, displays sensory acts as already complete without the external world; complete in that the direct objects even of veridical sensory acts do not transcend what we could anyway hallucinate. Hallucination is thus (...) the mother of Representationalism, which insists that it is mental intermediaries that make other.. (shrink)
Recently, a new problem has arisen for an Anscombean conception of intentional action. The claim is that the Anscombean’s emphasis on the formally causal character of practical knowledge precludes distinguishing between an aim and a merely foreseen side effect. I propose a solution to this problem: the difference between aim and side effect should be understood in terms of the familiar Anscombean distinction between acting intentionally and the intention with which one acts. I also argue that this solution has advantages (...) over an alternative that has already been endorsed in the literature: it is a better fit for the Anscombean theory, and it naturally accommodates intuitions about the moral significance of aiming vs. merely foreseeing. (shrink)
... and a reading knowledge of formal logical symbolism is essential too. (Philosophers often use bits of logical symbolism to clarify their arguments.) Because the artificial and simply formal languages of logic give us highly illuminating objects of comparison when we come thinking about how natural languages work. (Relevant to topics in ‘philosophical logic’ and the philosophy of language.) But mainly because it us the point of entry into the study of one of the major intellectual achievements by (...) philosophers of the 20th – i.e. the development of mathematical logic. (Not least in Cambridge: Russell and Whitehead, Ramsey, Turing.). (shrink)
In its approach to fiction and fictional discourse, pretense theory focuses on the behaviors that we engage in once we pretend that something is true. These may include pretending to name, pretending to refer, pretending to admire, and various other kinds of make-believe. Ordinary discourse about fictions is analyzed as a kind of institutionalized manner of speaking. Pretense, make-believe, and manners of speaking are all accepted as complex patterns of behavior that prove to be systematic in various ways. In this (...) paper, I attempt to show: (1) that this systematicity is captured in the basic distinctions and representations that are central to the formal theory of abstract objects, and (2) that this formal theory need not be interpreted platonistically, but may instead have an interpretation on which the `objects' of the theory are things that pretense theorists already accept, namely, complex patterns of linguistic behavior. The surprising conclusion, then, is that a certain Wittgensteinian approach to meaning (e.g., the meaning of a term like `Holmes' is constituted by its pattern of use) bears an interesting relationship to a formal metaphysical theory and the semantic analyses of discourse constructed in terms of that theory---the former offers a naturalized interpretation of the latter, yet the latter makes the former more precise. (shrink)
This article argues that Honneth’s ‘plural conception of justice’, founded on a theory of recognition, does not succeed in distancing itself from Rawls’ liberal theory of justice. The article develops its argument by evaluating three major objections to Rawls’ liberalism raised by Honneth in his recent articles on justice: namely, first, that the parties responsible for choosing principles of justice are too individualistic and their practical reasoning too instrumentalist; second, that by taking as its ‘object-domain’ the negative liberty of (...) persons, Rawls’ theory fails to promote the actual realization of liberty; and finally, that Rawls’ method of principle justification undermines the ‘priority’ of its Kantian ‘formality’ by presupposing a substantive commitment to a conception of individual good. Arguing that Honneth’s interpretation of Rawls’ theory contains important errors, the article concludes that both theories share the basic intention of securing for all citizens the material and institutional conditions for the actualization of otherwise merely formal liberties or, in Honneth’s terms, mutual self-realization. (shrink)
There is ample justification for having analogical material in standardized tests for graduate school admission, perhaps especially for law school. We think that formal-analogy questions should compare different scenarios whose structure is the same in terms of the number of objects and the formal properties of their relations. The paper deals with this narrower question of how legitimately to have formal analogy test items, and the broader question of what constitutes a formal analogy in general.
In Only a Promise of Happiness Alexander Nehamas holds that beauty is the object of love. I raise three objections to this claim when formulated in terms of personal love: love is too narrow in scope to be the attitude whose formalobject is beauty; one can experience a person's beauty but have no love for her; and love is of particulars, not of attributes, however specific, such as beauty. A second kind of love, hedonic love, is (...) too broad in scope to be the attitude whose formalobject is beauty. I also argue, contra Nehamas, that inner beauty exists. (shrink)
The consistent formalization of Meinong's object theory in recent mathematical logic requires either plural modes of predication, or distinct categories of nuclear or constitutive and extranuclear or nonconstitutive properties. The plural modes of predication approach is rejected because it is reducible to the nuclear extranuclear property distinction, but not conversely, and because the nuclear extranuclear property distinction offers a more satisfactory solution to object theory paradoxes.
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.
Connectionism and computationalism are currently vying for hegemony in cognitive modeling. At first glance the opposition seems incoherent, because connectionism is itself computational, but the form of computationalism that has been the prime candidate for encoding the "language of thought" has been symbolic computationalism (Dietrich 1990, Fodor 1975, Harnad 1990c; Newell 1980; Pylyshyn 1984), whereas connectionism is nonsymbolic (Fodor & Pylyshyn 1988, or, as some have hopefully dubbed it, "subsymbolic" Smolensky 1988). This paper will examine what is and is not (...) a symbol system. A hybrid nonsymbolic/symbolic system will be sketched in which the meanings of the symbols are grounded bottom-up in the system's capacity to discriminate and identify the objects they refer to. Neural nets are one possible mechanism for learning the invariants in the analog sensory projection on which successful categorization is based. "Categorical perception" (Harnad 1987a), in which similarity space is "warped" in the service of categorization, turns out to be exhibited by both people and nets, and may mediate the constraints exerted by the analog world of objects on the formal world of symbols. (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)
A central stream running through the history of philosophy has been the attempt to gather a wide range of ostensibly disparate intuitive phenomena under a small, integrated set of concepts. Edward Zalta’s work is a sustained celebration of this tradition. This paper — part of a symposium on Zalta's work — is a friendly, but critical examination of Zalta's commitment to possibilism and the roles they play in his theory.
Special issue. With contributions by Rogier De Langhe and Matthias Greiff, Igor Douven and Alexander Riegler, Stephan Hartmann and Jan Sprenger, Carl Wagner, Paul Weirich, and Jesús Zamora Bonilla.
Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing (...) these entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specification Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events. (shrink)
This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative Identity. Oxford: The (...) Clarendon Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle. (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.
In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist (...) dialectical approach is given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics. (shrink)
In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process of (...) measurement on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)
This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a thought-content) which contains a way of thinking of that truth condition; (3) for an agent a to have a belief about such-and-such items (...) it is necessary that a possesses a language of thought, M a , and that a (is disposed as one who) inwardly affirms a sentence of M a in which there are terms that denote those objects.Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of senses and their modes of presentation, the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [xyz z is a name in M y that denotes x, and D e yz] in which D e is an e-determiner – a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that contains a mode of presentation R e of e by dint of encoding its property-reduct [x(y)(z)R e xyz]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner D P is such that, for any y and z, D P yz entails that z is a -abstract [ v S] of M y in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses). (shrink)
The aim of this paper is to re-emphasise that the purpose of formal systems is to provide something to map into and to stem the tide of unjustified formal systems. I start by arguing that expressiveness alone is not a sufficient justification for a new formal system but that it must be justified on pragmatic grounds. I then deal with a possible objection as might be raised by a pure mathematician and after that to the objection that (...) theory can be later used by more specific models. I go on to compare two different methods of developing new formal systems: by a priori principles and intuitions; and by post hoc generalisation from data and examples. I briefly describe the phenomena of “social embedding” and use it to explain the social processes that underpin “normal” and “revolutionary” science. This suggests social grounds for the popularity of normal science. I characterise the “foundational” and “empirical” approaches to the use of formal systems and situate these with respect to “normal” and “revolutionary” modes of science. I suggest that successful sciences (in the sense of developing relevant mappings to formal systems) bare either more tolerant of revolutionary ideas or this tolerance is part of the reason they are successful. I finish by enumerating a number of ‘tell-tale’ signs that a paper is presenting an unjustified formal system. (shrink)
The initial stage for the discussion is the distinction between bona fide and fiat objects drawn by Barry Smith and collaborators in the context of formal ontology. This paper aims at both producing a rationale for introducing a hitherto unrecognized kind of object—here called ‘Interactive Fiat Objects’ (IFOs)—into the ontology of objects, and casting light on the relationship between embodied cognition and interactive ontology with the aid of the concepts of affordance and ad hoc category. I conclude that (...) IFOs are similar to fiat objects, affordances and ad hoc categories in a number of ways, yet they differ from these in important respects. Interaction is key to understanding the existence and peculiarities of IFOs. By adopting an embodied perspective on cognition, we can enrich our ontological typologies and highlight relevant features of our physical and symbolic environment that are otherwise overlooked. This should improve our understanding of object ontology and persuade us to include IFOs in our metaphysical inventories. (shrink)
In Ai Ssu-ch'i is exemplified and substantiated the Soviet influence on the official definition of philosophy in the history of Communist Party of China, i.e., the assertion about and the method for knowledge of the world. Such a philosophical knowledge has as its formalobject the most fundamental laws of the universe.In order to acquire such a genuine philosophical knowledge, one needs a desire to change the world and a proletarian point of view. For only by aiming (...) at changing the world is inevitability reflected; only in the proletarian viewpoint are the objective laws reflected. In order to substantiate these assertions, one has to point out that, first, man's thinking is determined by his social relations (economic relationships) and, secondly, social relations are determined by practice. Since the proletariat is in the right kind of practice, it is both in the proper locus of social relations and, therefore, it perceives both inevitability and objectivity. Yet, due to man's subjective dynamism, it is possible for other classes to adopt the standpoint of the proletariat. (shrink)
The following paper discusses John of St. Thomas’ study of the way in which a habit (moral or epistemic virtue or vice) is a cause of an action it prompts. I begin with contrasting the question of causality of habits with the general question of the causal relevance of dispositions (2). I argue that habits constitute a very peculiar kind of dispositions marked by the connection with the properties of being difficult and being easy, and there are some special reasons (...) to admit the irreducibility of dispositions of this kind. I argue also that there is a special sort of causal connection between a habit and an action it actually prompts. Then I present an analysis of four theses of John of St. Thomas on the causality of habits, which, I think, constitute the most mature and reliable study of the causality of habits in the scholastic tradition: (i) Habits are efficient causes of actions they prompt (3.1). (ii) Virtues do determine the very natures of actions they prompt (3.2); (iii) Virtues do not have a proper counterpart among the characteristics of actions they prompt (3.3); (iv) The formalobject of causality of virtue is a masterpiece performance of an action (3.4). In my analyses of John’s arguments for these theses I make three claims: not all powers are “in state of readiness for action”; habits are powers of powers or dispositions of powers; the general concept of a strategy is the key to grasp the properties of being difficult and being easy, and habits should be analysed as a kind of strategies. (shrink)
Here I establish a parallel between modern epistemology and traditional metaphysics: between the way we know an object, on the one hand, and the way an object's causes cause it to exist, on the other. I show that different efficient causes in the Thomistic system correspond to different questions of knowledge, as analyzed by Stanley Cavell, and that in particular the question the Cavellian skeptic asks corresponds to God's causation in creation. As I have explained in detail elsewhere, (...) and discuss briefly here, this parallel represents far more than a formal analogy between a series of issues in epistemology and a series of issues in metaphysics. It helps to explain, in fact, why modern philosophers (e.g., Husserl) were ultimately driven to put the human ego in the place of God, as creating (or "positing") the objects of its knowledge, thereby denying the very distinction between epistemology and ontology. (shrink)
This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to computer science (...) itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike. (shrink)
Marcel Duchamp once asked whether it is possible to make something that is not a work of art. This question returns over and over in modernist culture, where there are no longer any authoritative criteria for what can be identified (or excluded) as a work of art. As William Carlos Williams says, “A poem can be made of anything,” even newspaper clippings.At this point, art turns into philosophy, all art is now conceptual art, and the manifesto becomes the distinctive genre (...) of modernism. This book takes seriously this transformation of art into philosophy, focusing upon the systematic interest that so many European philosophers take in modernism. Among the philosophers Gerald Bruns discusses are Theodor W. Adorno, Maurice Blanchot, Arthur Danto, Stanley Cavell, Hans-Georg Gadamer, Michel Foucault, Gilles Deleuze and Felix Guattari, Jacques Derrida, Jean-François Lyotard, Jean-Luc Nancy, Philippe Lacoue-Labarthe, and Emmanuel Levinas.As Bruns demonstrates, the difficulty of much modern and contemporary poetry can be summarized in the idea that a poem is made of words, not of any of the things that we use words to produce: meanings, concepts, propositions, narratives, or expressions of feeling. Many modernist poets have argued that in poetry language is no longer a form of mediation but a reality to be explored and experienced in its own right. But what sort of experience, philosophically, might this be? The problem of the materiality or hermetic character of poetic language inevitably leads to questions of how philosophy itself is to be written and what sort of communitydefines the work of art—or, for that matter, the work of philosophy.In this provocative study, Bruns answers that the culture of modernism is a kind of anarchist community, where the work of art is apt to be as much an event or experience—or, indeed, an alternative form of life—as a formalobject. In modern writing, philosophy and poetry fold into one another. In this book, Bruns helps us to see how. (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)
This book is an attempt to conduct a comprehensive examination of Kant's metaphysic of Transcendental Idealism, which is everywhere presupposed by his critical theory of knowledge, his theory of the moral and the aesthetic judgement, and his rational approach to religion. It will attempt to show that this metaphysic is profoundly coherent, despite frequent inconsistencies of expression, and that it throws an indispensable light on his critical enquiries. Kant conceives of knowledge in especially narrow terms, and there is nothing absurd (...) in the view that thinkables must, in his sense, extend far more widely than knowables. Kant also goes further than most who have thought in his fashion in holding that, not only the qualities of the senses, but also the space and time in which we place them, have non-sensuous, non-spatial, and non-temporal foundations in relations among thinkables that transcend empirical knowledge. This contention also reposes on important arguments, and can be given a sense that will render it interesting and consistent. The book explores this sense, and connects it with the thought of Kant's immediate predecessors in the great German scholastic movement that began with Leibniz: this scholasticism, it will be held, is throughout preserved as the unspoken background of Kant's critical developments, whose great innovation really consisted in pushing it out of the region of the knowable, into the region of what is permissively or, in some cases, obligatorily, thinkable. (shrink)
Zaccaria Pasqualigo developed his doctrine concerning the nature of metaphysics and of its object in the twenties of the 17th century. It belongs to the group of reactions, in the Catholic milieu, to the theses propounded by Francisco Suárez on this topic. Pasqualigo develops a metaphysics whose formalobject is not the transcendental being, but the being considered as the way of being of the quidditas rei omnino abstrahens a materia. However, the ‘prescinding from matter’ that is (...) proper of this being is not understood by Pasqualigo as an indifference to what is material and to what is spiritual. On the contrary, according to this author the being that metaphysics deals with is intrinsically material. Therefore, metaphysics deals with material being considered apart from matter purely by means of an action of the mind. As a result, according to Pasqualigo metaphysics is a science superior to physics, but it is not a science superior to rational theology; actually, Pasqualighian metaphysics is almost completely separated from whatever kind of theology. (shrink)
