This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

_Formal Ethics_ is the study of formal ethical principles. The most important of these, perhaps even the most important principle of life, is the golden rule: "Treat others as you want to be treated". Although the golden rule enjoys support amongst different cultures and religions in the world, philosophers tend to neglect it. _Formal Ethics_ gives the rule the attention it deserves. Modelled on formal logic, _Formal Ethics_ was inspired by the ethical theories of Kant and Hare. It (...) shows that the basic formal principles of ethics, like the golden rule, are very similar to principles of logic, and gives a firm basis for our ethical thinking. As an introduction to moral rationality, _Formal Ethics_ also considers non-formal elements, and is applied to areas of practical concern such as racism and moral education. (shrink)

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

The paper introduces, compares and contrasts formal models of source reliability proposed in the epistemology literature, in particular the prominent models of Bovens and Hartmann and Olsson :127–143, 2011). All are Bayesian models seeking to provide normative guidance, yet they differ subtly in assumptions and resulting behavior. Models are evaluated both on conceptual grounds and through simulations, and the relationship between models is clarified. The simulations both show surprising similarities and highlight relevant differences between these models. Most importantly, however, (...) our evaluations reveal that important normative concerns arguably remain unresolved. The philosophical implications of this for testimony are discussed. (shrink)

This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional (...) production of entities, (state of) capacity, capacity to play a role in actions of a given type, function and functional object. These primitives enable artefacts in general to be characterized as intentionally and successfully produced entities, and isolate an important subclass of “technical” artefacts to which a function is ascribed. Lastly, we emphasize the novelty of this ontology by comparing it with other works with similar objectives. (shrink)

In the philosophy of the analytical tradition, set theory and formal logic are familiar formal tools. I think there is no deep reason why the philosopher’s tool kit should be restricted to just these theories. It might well be the case—to generalize a dictum of Suppes concerning philosophy of science—that the appropriate formal device for doing philosophy is mathematics in general; it may be set theory, algebra, topology, or any other realm of mathematics. In this paper I (...) want to employ elementary topological considerations to shed new light on the intricate problem of the relation of qualities and similarity. Thereby I want to make plausible the general thesis that topology might be a useful device for matters epistemological. (shrink)

The partitions of a given set stand in a well known one-to-onecorrespondence with the equivalence relations on that set. We askwhether anything analogous to partitions can be found which correspondin a like manner to the similarity relations (reflexive, symmetricrelations) on a set, and show that (what we call) decompositions – of acertain kind – play this role. A key ingredient in the discussion is akind of closure relation (analogous to the consequence relationsconsidered in formal logic) having nothing especially (...) to do with thesimilarity issue, and we devote a final section to highlighting some ofits properties. (shrink)

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. Although motivated (...) from physics, this similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

I provide a formally precise account of diachronic emergence of properties as described within scientific theories, extending a recent account of synchronic emergence using similarity structure on the theories’ models. This similarity structure approach to emergent properties unifies the synchronic and diachronic types by revealing that they only differ in how they delineate the domains of application of theories. This allows it to apply also to cases where the synchronic/diachronic distinction is unclear, such as spacetime emergence from theories (...) of quantum gravity. In addition, I discuss two further case studies—finite periodicity in van der Pol oscillators and two-dimensional quasiparticles in the fractional quantum Hall effect—to facilitate comparison of this approach to others in the literature on concepts of emergence applicable to the sciences. My discussion of the fractional quantum Hall effect in particular may be of independent interest to philosophers of physics concerned with its interpretation. (shrink)

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics over the last decade. The author examines the model structure of Montague's theory and then presents elaborations on this basic model that have been of particular importance in the last few years: generalized quantifiers, the introduction of more structure in the domain of individuals, properties as primitive elements in the model, situations and similar 'smaller' worldlike entities. (...) Nothing is presupposed about knowledge of the mathematical and logical tools used in formal semantics, and Bach presents the informal with a minimum of formalism. (shrink)

o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions (...) we show that o structures may be rewritten as special knowledge representation systems. These systems use 0 and 1 as the only values and are called “epistemic”. Their role for the theory of knowledge information systems may be compared to that of the functionally complete matrices in the class of all logical matrices for a given propositional language. (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)

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)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness and an alternative view from the multi-agent systems perspective where awareness is identified as the ability to perceive and understand actions of other agents.Velázquez-Quesada studies a logic of plausibility acknowledgement models used to interpret the notions of implicit and explicit beliefs. The models use the notion of a formula being (...) acknowledged as true that is similar to syntactic awareness in that the set of formulas acknowledged as true by an agent is not assumed to be closed under logical consequence. However it has a different meaning . A dynamic epistemic logic over such models is cons .. (shrink)

This article connects recent work in formal epistemology to work in economics and computer science. Analysing the Dutch Book Arguments, Epistemic Utility Theory and Objective Bayesian Epistemology we discover that formal epistemologists employ the same argument structure as economists and computer scientists. Since similar approaches often have similar problems and have shared solutions, opportunities for cross-fertilisation abound.

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

In Hollis’ paradox, A and B each chose a positive integer and whisper their number to C. C then informs them, jointly, that they have chosen different numbers and, moreover, that neither of them are able to work out who has the greatest number. A then reasons as follows: B cannot have 1, otherwise he would know that my number is greater, and by the same reasoning B knows that I don’t have 1. But then B also cannot have 2, (...) otherwise he would know that my number is greater (since he knows I don’t have 1). This line of reasoning can be repeated indefinitely, effectively forming an inductive proof, ruling out any number – an apparent paradox. In this paper we formalise Hollis’ paradox using public announcement logic, and argue that the root cause of the paradox is the wrongful assumption that A and B assume that C’s announcement necessarily is successful. This resolves the paradox without assuming that C can be untruthful, or that A and B are not perfect reasoners, like other solutions do. There are similarities to the surprise examination paradox. In addition to a semantic analysis in the tradition of epistemic logic, we provide a syntactic one, deriving conclusions from a set of premises describing the initial situation – more in the spirit of the literature on Hollis’ paradox. The latter allows us to pinpoint which assumptions are actually necessary for the conclusions resolving the paradox. (shrink)

The dissertation is an attempt to provide a formal semantics for occurrences of anaphoric pronouns and definite descriptions whose quantifier antecedents occur in sentences other than those in which the anaphoric pronouns and descriptions themselves occur, . The predominant view of anaphoric pronouns whose quantifier antecedents occur in the same sentence as they do is that they function as bound variables . Chapter 1 of this dissertation is constituted by a series of arguments against a bound variable treatment of (...) q - terms and the observation that the semantic behavior of q - terms is similar to that of certain singular terms in English arguments. Given the similarity of semantic behavior between the latter and q - terms, it seems plausible to suppose that a theory of the semantic behavior of these singular terms in English arguments would provide a model for the eventual production of a semantic theory of q - terms. In Chapter 2, a formal semantics for these singular terms in arguments is produced. In Chapter 3, a formal semantics for q - terms is produced, on the model of the semantics in Chapter 2. Finally, in Chapter 4 it is shown that the formal semantics of Chapter 3 can be extended to handle pronouns in discourses containing verbs of propositional attitudes such as 'wants', 'dreams' etc. It is also shown that some occurrences of sentences containing q - terms have truth conditions not expressible by any quantified first order sentence. One must use finite partially ordered quantifiers to express the truth conditions of such occurrences of sentences. ;The dissertation contains two appendices: the first is a technical discussion of the formal semantics of Hans Kamp which shows that his theory cannot accomodate the linguistic data mine is designed to handle. The second examines the views of Gareth Evans, Charles Chastain and Keith Donnellan on certain anaphoric pronouns. (shrink)

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

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

In the 1950s, Chomsky and his colleagues began attempts to reduce the complexity of natural language phonology and syntax to a few general principles. It wasn’t long before philosophers, notably John Searle and H. Paul Grice, started looking for ways to do the same for rational communication (Chapman 2005). In his 1967 William James Lectures, Grice presented a loose optimization system based on his maxims of conversation. The resulting papers (especially Grice 1975) strike a fruitful balance between intuitive exploration and (...) formal development. Though the work is not particularly formal, it marks the birth of modern formal pragmatics. Pragmatics is central to the theory of linguistic meaning because, to paraphrase Levinson (2000), the encoded content of the sentences we utter is only the barest sketch of what we actually communicate with those utterances. Utterance interpretation involves complex interactions among (i) semantic content, (ii) the context of utterance, and (iii) general pragmatic pressures (of which Grice’s maxims are one conception). The starting point for a formal pragmatics is the observation that speakers agree to a remarkable extent on the interpretations of the utterances they hear, suggesting that there are deep regularities across speakers, utterance contexts, and sentence types in how (i)–(iii) interact. An overarching challenge for pragmatic theory is that semantic content and the context of utterance influence each other. It is common, for instance, to find that the meaning of a sentence is crucially incomplete without contextual information. Indexicals and demonstratives are paradigm cases: ‘I am here now’ doesn’t have a fully specified denotation without information about who the speaker is, when he is speaking, and where he is speaking. Similarly, modal auxiliaries like must admit of a wide range of interpretations.. (shrink)

The authors examined cultural preferences for formal versus intuitive reasoning among East Asian (Chinese and Korean), Asian American, and European American university students. We investigated categorization (Studies 1 and 2), conceptual structure (Study 3), and deductive reasoning (Studies 3 and 4). In each study a cognitive conflict was activated between formal and intuitive strategies of reasoning. European Americans, more than Chinese and Koreans, set aside intuition in favor of formal reasoning. Conversely, Chinese and Koreans relied on intuitive (...) strategies more than European Americans. Asian Americans' reasoning was either identical to that of European Americans, or intermediate. Differences emerged against a background of similar reasoning tendencies across cultures in the absence of conflict between formal and intuitive strategies. (shrink)

This study addresses the nature of the contribution made by Christian feminist thinkers who claim that mutuality is a necessary part of a Christian social ethical framework. The theological method employed is analytical and comparative toward the end of illuminating, testing, and demonstrating the thesis: mutuality is a formal norm for Christian social ethics that functions along with love and justice to promote a balance of power that is required for optimum human flourishing, a flourishing set within the interdependent (...) context of the whole of creation. ;Chapter One analyzes selected primary sources of Rosemary Radford Ruether, Carter Heyward, Beverly Wildung Harrison, and Elizabeth A. Johnson isolating their definition and treatment of the term, "mutuality." A consensus definition of mutuality drawn from definitions by the four feminists. It is concluded that, similar to the tripartite nature of justice, mutuality has four forms--cosmic, gender, generative, and social. ;Chapters Two and Three illustrate several moments in the history of Christian thought wherein antecedents of the feminists' notion of mutuality are found. Selected primary works of Thomas Aquinas, John Duns Scotus, Martin Buber, and H. Richard Niebuhr are examined. ;Chapter Four compares the four feminists' definition of mutuality with definitions of formal norm by Josef Fuchs, Lisa Sowle Cahill, and Timothy E. O'Connell, determining that mutuality is a formal norm for Christian social ethics. Chapter Five is a case study. Utilizing our definition, it is shown how consideration of mutuality and its four forms influences the ethical analyses of George Weigel, Jean Bethke Elshtain, and Stanley Hauerwas in determining if the Persian Gulf War was a just war. It is concluded that the probative value of the formal norm, mutuality, is multifaceted. First and foremost, it requires the moral agent to deal concretely in moral reflection and moral decision-making. Specific and careful attention needs to be given to the reality revealing questions in the concrete, as well as in the abstract. Second, mutuality requires the moral agent to probe the dynamics of power in an ethical dilemma and to seek out ways to shape those dynamics to serve power-with. It is a complement to and corrective of love and justice. Third, engaging the norm of mutuality presses the moral agent toward inclusivity drawing into the process of moral reflection concern for the thriving and flourishing of all involved. More than the norms of love and justice, mutuality places humans in a perspective within the whole of creation. (shrink)

Pothos's revision of rules and similarity in the area of language illustrates the impression that the classicist/connectionist debate is in a blind alley. Under his continuum proposal, both hypotheses fall neatly within the information-processing paradigm. In my view, the paradigm shift that dynamic systems theory represents (Spencer & Thelen 2003) should be submitted to critical scrutiny. Specific formalizations of the Rules versus Similarity distinction may not lead to a form of unification under Generalized Context Models or connectionist networks.

Husserl, in his doctrine of categories, distinguishes what he calls regions from what he calls formal categories. The former are most general domains, while the latter are topic-neutral concepts that apply across all domains. Husserl’s understanding of these notions of category is here discussed in detail. It is, moreover, argued that similar notions of category may be recognized in Carnap’s Der logische Aufbau der Welt.

The study of business ethics has led to the development of various principles that are the foundation of good and ethical business practices. A corresponding study of Information Technology (IT) professionals’ ethics has led to the conclusion that good ethics in the development and uses of information technology correspond to the basic business principle that good ethics is good business. Ergo, good business ethics practiced by IT professionals is good IT ethics and vice versa. IT professionals are professionals in businesses; (...) a difficulty presented to these professionals, however, is the number and diversity of codes of ethics to which they may be held. Considering the existence of several formalized codes of ethics prepared by various IT professionals’ associations, a more harmonized approach seems more reasonable. This paper attempts to present a review of the purpose of codes of ethics, the persons who should be covered by such codes and to organize codes of ethics for business in general and IT professionals in particular and to make the argument that, once again, good ethics is good business practice, regardless of the profession or occupation concerned. (shrink)

In “Backward Causation and the Stalnaker–Lewis Approach to Counterfactuals,” Analysis 62:191–7, (2002), Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker–Lewis comparative world similarity account of the truth conditions of counterfactuals cannot be sound. In “Tooley on Backward Causation,” Analysis 63:157–62, (2003), Paul Noordhof argues that Tooley’s example can be reconciled with a Stalnaker–Lewis account of counterfactuals if the comparative world similarity relation on which the Stalnaker–Lewis account relies is allowed to (...) be antecedent-relative. In this paper I show that taking comparative world similarity to be antecedent-relative results in a formal semantics which is a comparative world similarity semantics in name only. (shrink)

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

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states (...) that model theory and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

How can we ever judge about the truth of a scientific theory? Ostensibly it seems to be no problems concerning such a judgement. Each scientific theory is expressed by a set of statements, formulated in a definite language; and we know, in principle, to ascertain whether a sentence is true or false, If we take any formula, say in the first order predicate calculus, no matter how complex, and if we know its interpretation, i.e. the appropriate finite domain of individuals, (...) functions, and truth values of the atoms entering the formula, then we immediately come to know whether our formula is true or false. It is admitted by analogy, that if we come to know the truth values of the basic theory statements, then we can judge if a given theory is true or false. It can be shown, however, that there exists no similar reliable prescription [1]. Let me comment on this in some more detail. (shrink)

According to a long interpretative tradition, Aristotle holds that the formal cause is the ultimate object of induction when investigating perceptible substances. For, the job of induction is to find the essential nature common to a set of individuals, and that nature is captured solely by their shared formal cause. Against this view, I argue that Aristotle understands perceptible individuals as irreducibly composite objects whose nature is constituted by both their formal and their material cause. As a (...) result, when investigating perceptible objects, the job of induction is to discover their composite, formal and material nature. The process by which universal claims about this composite nature are justified, I argue, is similar to what we now know as mathematical induction. In particular, such claims are grounded in a non-enumerative, but replicable process in which things are resolved into their simplest components. As a result, the observation of past uniformities has, at most, a heuristic function in scientific inquiry. (shrink)