In this article, I discuss manuscript material written by Petrus van Musschenbroek related to his first experiments with the Leiden jar. Despite the importance of the discovery of the Leiden jar for the history of electricity and the questions that still surround its discovery, a detailed treatment of this manuscript material is lacking in the literature. The main aim of this paper is to provide an outline of the manuscript material and to contextualize van Musschenbroek’s first experiments with the Leiden (...) jar. I show how the experiment fits within his research program on electricity and I discuss van Musschenbroek’s initial reactions to and analysis of the phenomenon. Before doing so, I first provide a short overview of the treatment of the early history of the Leiden jar in the secondary literature. After that, I discuss van Musschenbroek’s treatment of the topic of electricity in the textbooks he published in the years before the discovery of the device. Van Musschenbroek repeatedly emphasized that not enough experimental results were available for an informed theoretical treatment of the phenomenon of electricity to be possible. I then turn to the manuscript material, where I give a general description of the contents of the manuscript and van Musschenbroek’s experimental practice. The manuscript material further confirms recent work on the Leiden jar by Silva and Heering, and provides new insights into the way van Musschenbroek himself reacted to the discovery. (shrink)

This article is an extension to a theory of the present based on a model of mind and brain that began with studies of disorders of language in cases of focal brain damage and the analysis of symptoms in general neuropsychology. These studies developed into a model of the mind/brain state and its relevance to most of the central problems in speculative psychology and philosophy of mind. A new interpretation of the aphasias in relation to brain process and the (...) application of this interpretation to the dynamic structure of action was extended to an account of perceptual disorders and a theory of normal perception that involved a radical revision of classical perception theory. In effect, by turning the standard account of object formation upside down, the process of object development could be aligned with that of act and language formation, such that all cognitive systems could be framed in terms of a unitary model of brain and mental process. The scope of application was such that it constituted a Bauplan or general model for the organization of mentality and the nervous system that led, organically, to a theory of the mind/brain state, then to the nature of process, change, and subjective time. Since the account was based on symptoms in relation to evolutionary concepts, it was essential to work out a theory of symptom formation, which gave rise to a more comprehensive view of the link between microgenesis and phylo-ontogeny. (shrink)

A-theoretic presentness is commonly regarded as non-solipsist and non-relative. The non-solipsism of a non-relative, A-theoretic presentness requires at least two space-like separated things to be present simpliciter together – this co-presentness further implies the global, non-relative, non-conventional simultaneity of them. Yet, this implication clashes with the general view that there is no global, non-relative, non-conventional simultaneity in Minkowski space-time. In order to resolve this conflict, this paper explores the possibility that the non-solipsism of a non-relative, A-theoretic presentness does not (...) require at least two space-like separated things to be present simpliciter together. This can be done by holding exclusive disjunctivism –that mutually space-like separated things are present simpliciter exclusively disjunctively, and each one of them gets to be present simpliciter in a non-successive way (just like mutually time-like related things are present simpliciter exclusively disjunctively, and each one of them gets to be present simpliciter, but in a successive way). (shrink)

Hacking and other entity realists suggest a strategy to build scientific realism on a stronger foundation than inference to the best explanation. They argue that if beliefs in the existence of theoretical entities are derived from experimentation rather than theories, they can escape the antirealist's criticism and provide a stronger ground for realism. In this paper, an outline and a critique of entity realism are presented. It will be argued that entity realism cannot stand as a separate position from (...) classical realism. Thus, entity realism cannot avoid the problems facing classical realism. (shrink)

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

Hacking and other entity realists suggest a strategy to build scientific realism on a stronger foundation than inference to the best explanation. They argue that if beliefs in the existence of theoretical entities are derived from experimentation rather than theories, they can escape the antirealist's criticism and provide a stronger ground for realism. In this paper, an outline and a critique of entity realism are presented. It will be argued that entity realism cannot stand as a separate position from (...) classical realism. Thus, entity realism cannot avoid the problems facing classical realism.. (shrink)

This is an entry into the contemporary debate over contractarian theories of political obligation, with a particular focus on the "liberal" feminist critiques. It analyzes three prominent feminist critics of contractarianism, Susan Moller Okin, Carole Pateman and Nancy Hirschmann, selected because they each try to remain within the main premises and methodology of contractarian liberalism. The conclusion is that Okin's critique is too generous, Pateman's is radically incomplete, and Hirschmann's is too radical. ;It reviews the few remarks in the works (...) of Thomas Hobbes directed to issues of gender and families, and speculates that his originality might have been stimulated by a contemporary debate about gender in Seventeenth Century England. An appendix reviews the debate for its political contents. ;The analysis then turns to contractarianism in the contemporary mode of game theory. The contractarian exercise establishes the state of nature scenario, introduces male and female players, and characterizes the females as smaller, weaker, and vulnerable in childbirth and nursing. It then varies the players' moral psychologies along the egoism/altruism continuum. The exercise then applies the assumptions of contractarian game theory to analyze how a two-gender population would deal with the problems of violence and heterosexual sexual intercourse. The analysis concludes that the best strategy for females in contractarian terms is collective action and that institutions of the social contract state can be evaluated according to whether the institutions inhibit or advance that possibility. It then applies such an analysis to the theories of Robert Nozick and John Rawls and finally to three institutions of the liberal contractarian state: territorial representation, sexual individualism and individualism in employment. ;The work concludes that both theories and institutions are inadequate to provide for gender equality, because each is hostile to female collective action, the theories because of their insistence on the primacy of freedom over equality and the institutions because of their particular effects on the elements of cooperation. (shrink)

Theoretical virtues play an important role in the acceptance and belief of theories in science and philosophy. Philosophers have well-developed views on which virtues ought and ought not to influence one’s acceptance and belief. But what do scientists think? This paper presents the results of a quantitative study with scientists from the natural and social sciences and compares their views to those held by philosophers. Some of the more surprising results are: all three groups have a preference order regarding (...) theoretical virtues, making theory choice a much more determinate matter than what has sometimes been suggested; the preference orders are very similar for the three groups; simplicity is viewed as an epistemic virtue particularly by social scientists ; and syntactic parsimony is preferred to ontological parsimony by all three groups. (shrink)

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

The studies of theoretical bias in evidence are these days developed by many clever psychologists, social psychologists, and philosophers. It therefore comes as a surprise to realize that most of the material one can find in the up-to -date literature repeats discoveries which are due to the heroes of the present sketch, namely Galileo Galilei, Sir Francis Bacon, and Robert Boyle; William Whewell, Pierre Duhem, and Karl Popper. We may try to raise scholarly standards by familiarizing ourselves with (...) their ideas and studying them with a little appreciation. (shrink)

The paper presents an application of game-theoretical ideas to the semantics of natural language, especially the analysis of quantifiers and anaphora. The paper also introduces the idea of games of imperfect information and connects to partial logics.

The present thesis is intended as a contribution toward a Rousseauean theory of democracy. The central problem discussed is how the act of voting must be interpreted in democratic theory. The notion of a theoretical interpretation of voting is discussed in Chapter One. A theory of democracy must include an interpretation of the act of voting if any praise or criticism of democracy is to be possible. The theoretical interpretation is distinct from an empirical account of voting (...) behavior, and also distinct from a moral or prudential imperative. It is left as an open question whether one ought, morally or prudentially, to vote in the way that democratic theory interprets voting, or indeed whether one ought to vote at all. ;Social choice theory typically assumes that votes are expressions of individual preferences--that each individual expresses his or her narrowly self-interested preferences, and a proper aggregation of these will yield a utility maximizing result. In Chapter Two it is argued that, for reasons stemming from analysis of the concept of democratic voting, no understanding of "preference" is acceptable as a theoretical interpretation of voting. Six such understandings are disqualified, and the interpretation of votes as statements on the common interest is argued to succeed where these fail. In Chapter Three Richard Wollheim's puzzle of the minority democrat is discussed in relation to several closely related puzzles which apply to both democracy and utilitarianism. All three puzzles are argued to be dissolved if votes are interpreted as statements on the common interest. The solution to Wollheim's paradox, called the Correction Solution, gives rise to the disturbing possibility that the minority is interpreted as simply deferring to the majority. This danger is discussed in detail in Chapter Four, and again the interpretation of votes as statements on the common interest is argued to be uniquely qualified to avoid it. (shrink)

The article presents a full proof‐theoretic semantics for natural deduction based on an extended inversion principle: the elimination rule for an operator q may invert the introduction rule for q, but also vice versa, the introduction rule for a connective q may invert the elimination rule for q. Such an inversion—extending Prawitz' concept of inversion—gives the following theorem: Inversion for two rules of operator q (intro rule, elim rule) exists iff a reduction of a maximum formula for q exists. The (...) inversion theorem is specified to two logics, Lambek calculus (LC) and intuitionistic linear logic (ILL), with four propositional connectives: two multiplicatives (implication and conjunction) and two additives (conjunction and disjunction), with two quantifiers and two modals. LC is defined by using elimination rules by composition. ILL is defined by using usual general elimination rules. Elimination rules by composition are an exciting alternative to general elimination rules; in some cases, they do not need permutations. (shrink)

The idea of proof-theoretic validity originated in the work of Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules. The idea was developed by Prawitz and Dummett, but came under attack by Prior under the soubriquet 'analytic validity'. Logical truths and logical consequences are deemed analytically valid by virtue of following, in a way which the present chapter clarifies, from the meaning of the logical constants. But different logics are based on different (...) rules, confer different meanings and so validate different theorems and consequences, some of which are arguably not true or valid at all. It seems to follow that some analytic statements are in fact false. The moral is that we must be careful what rules we adopt and what meanings we use our rules to determine. (shrink)

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, (...) inspired by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Using a decision theoretic model of scientists’ time allocation between potential research projects I explain the fact that on average women scientists publish less research papers than men scientists. If scientists are incentivised to publish as many papers as possible, then it is necessary and sufficient for a productivity gap to arise that women scientists anticipate harsher treatment of their manuscripts than men scientists anticipate for their manuscripts. I present evidence that women do expect harsher treatment and that scientists’ (...) are incentivised to publish as many papers as possible, and discuss some epistemological consequences of this conjecture. (shrink)

R.I.G. Hughes presents a series of eight philosophical essays on the theoretical practices of physics. The first two essays examine these practices as they appear in physicists' treatises (e.g. Newton's Principia and Opticks ) and journal articles (by Einstein, Bohm and Pines, Aharonov and Bohm). By treating these publications as texts, Hughes casts the philosopher of science in the role of critic. This premise guides the following 6 essays which deal with various concerns of philosophy of physics such as (...) laws, disunities, models and representation, computer simulation, explanation, and the discourse of physics. (shrink)

The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is (...) merely an instance of a broader problem in the philosophy of physics. I thus conclude that there is no distinctive problem of theoretical equivalence at all. Two difficulties my approach raises for realist replies to the threat of underdetermination are then discussed, with particular emphasis on a recent reply by Norton. 1 Introduction2 Methodological Confusion3 Asymmetrical Equivalence3.1 Maxwell’s field equations3.2 Classical Lagrangian dynamics4 Formal Approaches: Quine and Glymour5 Theoretical Equivalence as Interpretive Equivalence6 Theoretical Equivalence without Interpretive Judgement?7 Lessons for Underdetermination. (shrink)

The Principle of the Benefit of Doubt dictates that, whenever reasonably possible, we interpret earlier-day scientists as referring to entities posited by current science. Putnam has presented the principle as supplementary to his Causal Theory of Reference in order to make this theory generally applicable to theoretical terms. The present paper argues that the principle is of doubtful standing. In particular, it will be argued that the principle lacks a justification and, indeed, is unjustifiable as it stands.

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within (...) this framework, and (iii) I defend the suggested account against various objections. (shrink)

This book presents an overview of these studies and attempts to clarify apparently disparate results by placing them in a coherent theoretical framework.

R.I.G. Hughes presents a series of eight philosophical essays on the theoretical practices of physics. The first two essays examine these practices as they appear in physicists' treatises and journal articles. By treating these publications as texts, Hughes casts the philosopher of science in the role of critic. This premise guides the following six essays which deal with various concerns of philosophy and physics such as laws, disunities, models and representation, computer simulation, explanation, and the discourse of physics.

We present a framework for model theoretic forcing in a non first order context, and present some applications of this framework to Banach space theory.

We present an information-theoretic interpretation of quantum formalism based on a Bayesian framework and devoid of any extra axiom or principle. Quantum information is construed as a technique for analyzing a logical system subject to classical constraints, based on a question-and-answer procedure. The problem is posed from a particular batch of queries while the constraints are represented by the truth table of a set of Boolean functions. The Bayesian inference technique consists in assigning a probability distribution within a real-valued (...) probability space to the joint set of queries in order to satisfy the constraints. The initial query batch is not unique and alternative batches can be considered at will. They are enabled mechanically from the initial batch, quite simply by transcribing the probability space into an auxiliary Hilbert space. It turns out that this sole procedure leads to exactly rediscover the standard quantum information theory and thus provides an information-theoretic rationale to its technical rules. In this framework, the great challenges of quantum mechanics become simple platitudes: Why is the theory probabilistic? Why is the theory linear? Where does the Hilbert space come from? In addition, most of the paradoxes, such as uncertainty principle, entanglement, contextuality, nonsignaling correlation, measurement problem, etc., become straightforward features. In the end, our major conclusion is that quantum information is nothing but classical information processed by a mature form of Bayesian inference technique and, as such, consubstantial with Aristotelian logic. (shrink)

This paper first summarizes two central debates in the field of social scientific Internet research, namely the debate about the so-called ‘social impact of Internet use’ and the debate about the existence of community on the Internet. Early research discussed whether building up a community on the Internet was possible and what the effects of the use of the Internet were for its user. Recent research on the social consequences of Internet use suggests that ‘the’ Internet should no longer be (...) regarded as a constant that has uniform effects for its users. Rather, the consequences of its use depend on a number of contextual conditions. The paper presents some theories that explain which conditions and features of online groups facilitate the finding of solutions to bilateral or group-level problems of cooperation. (shrink)

Theoretical Perspective on Smell is the first collection of scholarly articles to be devoted exclusively to philosophical research on olfaction. The essays, published here for the first time, bring together leading theorists working on smell in a format that allows for deep engagement with the emerging field, while also providing those new to the philosophy of smell with a resource to begin their journey. The volume’s 14 chapters are organized into four parts: -/- I. The Importance and Beauty of (...) Smell II. Smell in Time and Space III. What We Perceive through Smell IV. Smell and Other Senses -/- The collection solidifies the area as an important emerging branch of perceptual philosophy by presenting the cutting edge research being done by innovative early career researchers, as well as by those more senior and established within the field. -/- Table of Contents 1. Introduction Andreas Keller and Benjamin Young -/- Part I: The Importance and Beauty of Smell -/- 2. The Role of Smell in Consciousness Barry C. Smith -/- 3. The metacognitive gap: Why we both trust and mistrust our sense of smell Ophelia Deroy -/- 4. Perfumes and the Aesthetic Appreciation of Nature Chiara Brozzo -/- 5. Aesthetics, Olfaction, & Environment Michael Aaron Lindquist -/- Part II: Smell in Time and Space -/- 6. Smell and the Space Between Us Clare Batty -/- 7. The Temporal Structure of Olfactory Experience Keith A. Wilson -/- Part III: What We Perceive through Smell -/- 8. How Biology Perceives Chemistry: A Causal Analysis of the Stimulus in Olfaction and its Implications for Scientific and Philosophical Theorizing Ann-Sophie Barwich -/- 9. The Accuracy Conditions of Olfactory Perception Andreas Keller -/- 10. Maybe We Don't Smell Molecular Structure Benjamin D. Young -/- 11. Stuff & Nonsense: Against Mizrahi on Olfaction Harry Sherwood -/- 12. The Layering of Smell William G. Lycan -/- Part IV: Smell and the Other Senses -/- 13. From Odors to Flavors: Perceptual organization in the chemical senses Becky Millar -/- 14. Seeing and hearing flavors Błażej Skrzypulec -/- 15. Smelling Gustatory Qualities Louise Richardson. (shrink)

The present collection is the very first contribution of this type in the field of sparse recovery. Compressed sensing is one of the important facets of the broader concept presented in the book, which by now has made connections with other branches such as mathematical imaging, inverse problems, numerical analysis and simulation. The book consists of four lecture notes of courses given at the Summer School on "Theoretical Foundations and Numerical Methods for Sparse Recovery" held at the Johann (...) Radon Institute for Computational and Applied Mathematics in Linz, Austria, in September 2009. This unique collection will be of value for a broad community and may serve as a textbook for graduate courses. (shrink)

The work of Donald Davidson (1917-2003) transformed the study of meaning. Ernie Lepore and Kirk Ludwig, two of the world's leading authorities on Davidson's work, present the definitive study of his widely admired and influential program of truth-theoretic semantics for natural languages, giving an exposition and critical examination of its foundations and applications.

The present paper concentrates on the comments of Michael of Ephesus to the 10th book of the Nicomachean Ethics. In particular it investigates the way in which Michael of Ephesus conceived the relationship between political and theoretical happiness. Doing so allows to evidence the theoretical ties that connect Michael of Ephesus with the Peripatetic philosopher Aspasius and demonstrates the influence of Proclus on Michael of Ephesus.

`This is an exceptionally good textbook. It covers an unusually wide range of issues in an up-to-date and balanced fashion, and is clearly written. It would be invaluable for all students, both undergraduates and postgraduates, who take a genuine interest in the nature of psychology and the theoretical issues it faces' - Professor Graham Richards, Director, British Psychological Society History of Psychology Centre Psychology is understood by many as the `science of the mind', but what is `mind' and what (...) have modern psychology and philosophy to say about its nature? What is `science' and what is a scientific approach to mind? This thoroughly revised edition o the classic textbook explores a wide range of problems in psychology, philosophy, cognitive and brains sciences identifying the major topics, debates and controversies and presenting them in a balanced and accessible manner for students. Key features of this Second Edition include: } A new, ten chapter structure making it ideal for a lecture course; } Contains new content on advances in cognitive psychology and neuroscience, including neural networks, dynamics systems and situated cognition; } Final chapter focuses on `hot issues' at the interface of psychology and philosophy - making attempts to look forward. } Pedagogical features including chapter summaries and further readings. Brought fully up-to-date with advances in computational, cognitive and neuroscience work on the one hand, and links with philosophy on the other, this book is essential reading for all students needing an understanding of these issues. (shrink)

Dworkin's theoretical disagreement argument, developed in Law's Empire, is presented in that work as the motivator for his interpretive account of law. Like Dworkin's earlier arguments critical of legal positivism, the argument from theoretical disagreement has generated a lively exchange with legal positivists. It has motivated three of them to develop innovative positivist positions. In its original guise, the argument from theoretical disagreement is presented as ‘the semantic sting argument’. However, the argument from theoretical disagreement has (...) more than one version. This article briefly discusses two versions and the leading replies to them, then focuses on the most influential version, directed at Hartian positivism. The article surveys the leading positivist rejoinders to the recast version, indicating key Dworkinian replies or assessing the strength of these rejoinders, and concludes with a rejoinder of its own, making a new case that the argument from theoretical disagreement isn't fatal for Hartian legal positivism. (shrink)

RESUMEN El presente trabajo de revisión expone cómo las prácticas de gestión en la anestesiología deben ser modificadas para encarar las cambiantes necesidades de pacientes, otros profesionales y sistemas sanitarios, a fin de mantener una función significativa en la atención sanitaria. Los servicios de anestesia han adoptado una amplia variedad de modelos para hacer frente a las necesidades del medio local, la relación entre los anestesiólogos y la comunidad, y los papeles desempeñados por los anestesiólogos en el tratamiento perioperatorio. El (...) sistema sanitario cubano se encuentra inmerso en un proceso de permanente adecuación de sus servicios a los problemas, demandas y necesidades de la población cubana y sus determinantes. Por ello, objetivo es exponer consideraciones teóricas en función del perfeccionamiento del servicio de Anestesiología y Reanimación. ABSTRACT This review paper presents how anesthesiology management practices must be modified in order to deal with the changing needs patients, other professionals and health systems have, in order to maintain a significant function in health care. Anesthesiology services have adopted a wide variety of models to face up to the needs the city, the relationship between anesthesiologists and the community and the role anesthesiologists play in perioperative treatment have. The Cuban health system services are in a process of permanent adaptation to the problems, demands and needs the Cuban population and its determinants have. For that reason, this paper aims at presenting theoretical considerations towards the improvement of the Anesthesiology and Resuscitation service. (shrink)

Presents the Presidential Address to the Division of Theoretical and Philosophical Psychology . In this address, the author discusses his current plans to tackle the practical issues of theoretical psychology instead of, as past presidents have done, pushing the already established conceptual envelope of theoretical psychology. 2012 APA, all rights reserved).

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

RESUMEN Con un enfoque cualitativo y alcance descriptivo, el presente artículo tiene como objetivo sintetizar aspectos de materiales publicados en diversas fuentes relacionados con el estrés para lo cual se emplea el método de revisión bibliográfica. Durante el estudio se encontraron aspectos teóricos que permiten entender la evolución del concepto, acceder a modelos, evaluar la repercusión del fenónemo y constatar instrumentos para su evaluación, así como obtener sugerencias para controlarlo. Se concluye que el estrés puede ser percibido como positivo o (...) negativo según el manejo que hace cada individuo y su estilo de afrontarlo, es una manifestación relacionada con el proceso salud enfermedad en el que, para algunos, contribuye al crecimiento personal y en otros, a su malestar o enfermedad. ABSTRACT With a qualitative approach and descriptive scope, the present article takes as an objective to synthesize aspects of materials published in diverse sources related to the stress for which uses the method of bibliographical review. During the study there were theoretical aspects that allow understanding the evolution of the concept, gaining access to models, evaluating the aftereffect of the phenomenon and state instruments for their evaluation, as well as obtaining suggestions to control it. It was concluded that the stress can be perceived as positive or negative according to the handling that there does every individual and its style of confronting it, a declaration related to the process is a health illness in the one that, for some, contributes to the personal growth and in others, to its discomfort or illness. (shrink)

"Presents, and in part develops, a systematic philosophy as the universal science, or the theorization of the unrestricted universe of discourse, explicitly including being as such and as a whole. Argues that complete exploration of the theoretical domain requires such a science"--Provided by publisher.

Since communication and expression are central aspects of music performance it is important to develop a systematic pedagogy of teaching children and teenagers expressiveness. Although research has been growing in this area a comprehensive literature review that unifies the different approaches to teaching young musicians expressiveness has been lacking. Therefore, the aim of this article is to provide an overview of literature related to teaching and learning of expressiveness from music psychology and music education research in order to build a (...) new theoretical framework for teaching and learning expressive music performance in instrumental music lessons with children and teenagers. The article will start with a brief discussion of interpretation and expression in music performance, before providing an overview of studies that investigated teaching and learning of performance expression in instrumental music education with adults and children. On the foundation of this research a theoretical framework for dialogic teaching and learning of expressive music performance will be proposed and the rationale explained. Dialogic teaching can be useful for scaffolding young musicians’ learning of expressivity as open questions can stimulate thinking about the interpretation and may serve to connect musical ideas to the embodied experience of the learner. A “toolkit” for teaching and learning of expressiveness will be presented for practical application in music lessons. In addition, a theoretical model will be proposed to further our understanding of teaching and learning of expressive music performance as a multifaceted and interactive process that is embedded in the context of tutors’ and learners’ experiences and environment. Finally, implications of this framework and suggestions for future research will be discussed. (shrink)

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within (...) this framework, and (iii) I defend the suggested account against various objections. (shrink)

This contribution gives an outline of a game theoretic foundation of the logical structure inherent to the language of a science. Game theoretic approaches to a language were considered and developed by several authors. In this volume Saarinen examines the game theoretic semantics due to Hintikka and the dialog-game semantics due to Lorenzen. In the following I shall not re-examine the approaches by Hintikka and Lorenzen. However, some remarks about Lorenzen’s semantics are necessary since the game theoretic approach considered here (...) is essentially based on the idea of Lorenzen to use dialog-games for a foundation of logic.A systematic game theoretic presentation of the rules of a dialog game was given at first by Lorenz. Starting with certain structural rules which constitute the general scheme of a dialog, a further dialog rule is necessary in order to guarantee a finite game. (shrink)

The emphasis on evidence based medicine (EBM) has placed increased focus on finding timely answers to clinical questions in presence of patients. Using a combination of natural language processing for the generation of clinical excerpts and information theoretic distance based clustering, we evaluated multiple approaches for the efficient presentation of context-sensitive EBM excerpts.

Despite the proliferation of studies on corporate social responsibility (CSR), there is a lack of consensus and a cardinal methodological base for research on the quality of CSR communication. Over the decades, studies in this space have remained conflicting, unintegrated, and sometimes overlapping. Drawing on semiotics—a linguistic-based theoretical and analytical tool, our article explores an alternative perspective to evaluating the quality and reliability of sustainability reports. Our article advances CSR communication research by introducing a theoretical-cum-methodological perspective which provides (...) unique insights into how to evaluate the quality of CSR communication. Particularly, we illustrate the application of our proposed methodology on selected U.K. FTSE 100 companies. Our two-phased analysis employed the Greimas Canonical Narrative Schema and the Semiotic Square of Veridiction in drawing meanings from selected sustainability/csr reports. In addition, we present a distinctive CSR report quality model capable of guiding policy makers and firms in designing sustainability/csr reporting standards. (shrink)

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

Say that two sentences are ground-theoretically equivalent iff they are interchangeable salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a hyperintensional matter: even logically equivalent sentences may fail to be interchangeable in grounding contexts. Still, there seem to be some substantive, general principles of ground-theoretic equivalence. For example, it seems plausible that any sentences of the form A∧B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \wedge B$$\end{document} and B∧A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B (...) \wedge A$$\end{document} are ground-theoretically equivalent. What, then, are in general the conditions for two sentences to stand in the relation of ground-theoretic equivalence, and what are the logical features of that relation? This paper develops and defends an answer to these questions based on the mode-ified truthmaker theory of content presented in my recent paper ‘Towards a theory of ground-theoretic content’ :785–814, 2018). (shrink)

This volume, assembled with the collaboration of the author, presents for the first time in English a comprehensive outline of Badiou's ambitious system.

Summary The case of an anorectic patient is presented to demonstrate how well-known symptomatic phenomena such as a supposedly distorted body perception can be understood. Further theoretical suggestions are made to explain the motive to starve, without making complicated psychodynamic assumptions. To do so, genuine gestalttheoretical concepts such as ‘centring’ and ‘reference system’ are used. This leads to hints for a temporarily perception-focused formation of the therapeutic relationship.

The present paper studies the general implications of theprinciple of compositionality for the organization of grammar.It will be argued that Janssen''s (1986) requirement that syntax andsemantics be similar algebras is too strong, and that the moreliberal requirement that syntax be interpretable into semanticsleads to a formalization that can be motivated and applied more easily,while it avoids the complications that encumber Janssen''s formalization.Moreover, it will be shown that this alternative formalization evenallows one to further complete the formal theory of compositionality, (...) inthat it is capable of clarifying the role played by translation,model-theoretic interpretation and meaning postulates,of which the latter two aspects received little or no attention inMontague (1970) and Janssen (1986). (shrink)

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of introduction rules a (...) canonical elimination rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)