The consilia which will be examined here were written in the vicinity of the papal Rota at Avignon by Oldradus da Ponte. Educated at Bologna, he appears to have arrived at the Lateran in the entourage of Peter Colonna just before the Colonna fled from the wrath of Boniface VIII, and after a short spell as assessor for the Capitano del Popolo at Bologna and then as a teacher at Padua, to have migrated to Avignon where he was still active (...) in 1337. Initially, Oldradus' consilium 69 will be examined on the assumption that even a document which has long been described as �famous�, �important�, �celebrated� and �interesting�, will reward reconsideration. It will be argued that Oldradus did in fact sound a discordant note which failed to harmonizewith what has been presented as a contemporary consensus, namely that Justinian's legislation ought to be treated with a �veneration similar to that accorded to Holy Scripture�. This will be followed by a broader analysis of the deployment and nature of biblical and other extra-legal authorities in his consilia. An epilogue examines the wider significance of Oldradus' consilia. (shrink)

Judges face difficult choices when the birth and genetic mothers of a child are separate people who dispute maternal access; the views of the general population may help them. Fifty women were asked whether, if they were infertile and could have only one child, they would prefer to be birth mothers (to carry a baby which was not genetically theirs) or genetic mothers (to have another woman carry their genetic baby). Similarly, fifty men were asked about their preference for a (...) partner's child. In both groups the strength of preferences was measured using a lottery technique. The direction and strength of preferences was similar between men and women, and approximately equally divided between birth and genetic motherhood. These attitudes should be taken into account by those adjudicating custody disputes between such mothers. (shrink)

In this paper I consider the uses to which certain psychological phenomena—e.g. cases of seeing as, and linguistic understanding—are put in the debate about cognitive phenomenology. I argue that we need clear definitions of the terms ‘sensory phenomenology’ and ‘cognitive phenomenology’ in order to understand the import of these phenomena. I make a suggestion about the best way to define these key terms, and, in the light of it, show how one influential argument against cognitive phenomenology fails.

An attempt at a Montague-style reconstruction of the semantics of Buridan's logic on a regimented fragment of Latin.

In [2] Hempel and Oppenheim give a definition of “explanation” for a certain formal language. In [1] Eberle, Kaplan, and Montague prove five theorems demonstrating that the Hempel and Oppenheim definition is not restrictive enough. In [3] Kim proposes two further conditions to supplement the Hempel and Oppenheim definition in order to avoid the objections posed in [1]. In this paper it is shown that the definition of Hempel and Oppenheim supplemented by Kim's conditions is open to a trivialization very (...) analogous to that given in [1]. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

The format of this book is unusual, especially for a book about linguistics. The book is meant primarily as a research monograph aimed at linguists who have some background in formal semantics, e. g. Montague Grammar. However, I have two other audiences in mind. Linguists who have little or no experience of formal semantics, but who have worked through a basic mathematics for linguists course (e. g. using Wall, 1972, or Partee, 1978), should, perhaps with the help of a sympathetic (...) Montague gramma rian, be able to discover enough of how I have adapted some of the basic ideas in formal semantics to make the developments that I undertake in the rest of the book accessible. Logicians and computer scientists who know about model theoretic semantics and formal systems should be able to glean enough from Chapters I and II about linguistic concerns and techniques to be able to read the remainder of the book, again possibly with the help of a sympathetic Montague grammarian. However, readers should beware. Chapter II is not meant as a general introduction either to formal semantics or to linguistics and while much of the presentation there is going over ground that is already well covered in the literature, the particular formulation and the emphases are very much oriented to the developments to be undertaken later in the book. (shrink)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related group of (...) phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

Intensional logic (IL) and its application to natural language, which the present monograph addresses, was first developed by Richard Montague in the late 1960s (e.g., Montague 1970a, 1970b). Through the efforts of (especially) Barbara Partee (e.g., Partee 1975, 1976), and Richmond Thomason, who edited the posthumous collection of Montague’s works (Thomason 1974), this became the main framework for those who aspired to a formal semantic theory for natural language, and these included computational linguists as early as Jerry Hobbs in the (...) late 1970s (e.g., Hobbs and Rosenschein 1977). In fact, until the advent of the current interest in statistical linguistics with its own conception of what semantics is, IL, or some variant of it, was perhaps the main theory of semantics within computational linguistics generally. And within current computational semantics it still is. But over the years, philosophers, linguists, and computational linguists have noted a variety of shortcomings in Montague’s version of IL. Montague defined intensions as functions from possible worlds to extensions in that world. But this had the effect of making logically equivalent expressions have the same intension, thus leading to the problem of “logical omniscience” (believing/knowing all the logical consequences of what is believed/known). Montague had based his IL on Church’s simple theory of types (Church 1940), supplemented with intensions of each type. But this implies that each natural language item accepts only arguments of some one fixed type. However, this is not true for natural language, where conjunctions, verbs, and pretty much any functional term that accepts arguments at all can accept arguments of different types. (For example, and can accept arguments that are of the sentence type, of the verb phrase type, of the adjective type, etc.; and indeed, it can accept arguments of differing types in its different argument.. (shrink)

In this paper, I defend a tripartite metaphysics of intentional mental states, according to which mental states are divided into subject, content, and attitude, against recent attempts at eliminating the attitude component (e.g., Montague, Oxford studies in philosophy of mind, 2022, 2, Oxford University Press). I suggest that a metaphysics composed of only subject and content cannot account for (a) multisensory perceptual experiences and (b) phenomenological differences between episodes of perception and imagination. Finally, I suggest that some of the motivations (...) behind the rejection of the attitude component can be accommodated within the tripartite framework. (shrink)

In spite of the philosophical significance of higher-order modal logic, the modal logician's main concern has been with sentential logic. In this paper we do not intend to go into philosophical details, but we only remark that higher-order modal logic has a close relationship with Montague's well-known idea of “universal grammar”, which is an ambitious attempt to build a logical theory of natural languages with exact syntax and semantics, comparable with the artificial languages of mathematical logic. For this matter, the (...) reader can consult, e.g., Montague [8], [9] and Gallin [2]. (shrink)

What is it that semanticists think they are doing when using formalisation? What kind of endeavour is the formal semantics of natural language: scientific; linguistic; philosophical; logical; mathematical? If formal semantics is a scientific endeavour, then there ought to be empirical criteria for determining whether such a theory is correct, or an improvement on an alternative account. The question then arises as to the nature of the evidence that is being accounted for. It could be argued that the empirical questions (...) are little different in kind to other aspects of linguistic analysis, involving questions of performance and competence (Chomsky 1965; Saussure 1916). But there are aspects of formal accounts of meaning that appear to sit outside this scientific realm. One key issue concerns the precise nature of the formalisation that is adopted; what criteria are to be used to decide between accounts that are founded on different formal systems, with different ontological assumptions? Indeed, is it necessary to judge semantic frameworks on such grounds? In other words, are two theoretical accounts to be treated as equivalent for all relevant purposes if they account for exactly the same linguistic data? Broadly speaking, there are two related perspectives on the analysis of propositional statements, one “truth conditional” — reducing sentence meaning to the conditions under which the sentence is judged to be true (e.g. Montague 1973) — the other “proof theoretic” — reducing sentence meanings to patterns of entailments that are supported (e.g. Ranta 1994, Fox & Lappin 2005 ,Fox 2000). Variations of these perspectives might be required in the case of non-assertoric utterances. We may wonder what critieria might be used to decide between these approaches. This brings us back to the nature of the data itself. If the data is (merely) about which arguments, or truth conditions, subjects agree with, and which they disagree with, then the terms in which the theory is expressed may be irrelevant. But it may also be legitimate to be concerned with either (a) the intuitions that people have when reasoning with language, or (b) some technical or philosophical issues relating to the chosen formalism. The truth-conditional vs proof-theoretic dichotomy might broadly be characterised as model-theoretic vs axiomatic, where the model-theoretic tend to be built around a pre-existing formal theory, and the axiomatic involves formulating rules of behaviour “from scratch”. In some sense, fitting an analysis of a new problem into an existing framework could be described as providing some kind of “explanatory” power, assuming that the existing framework has some salient motivation that is independent of the specific details of the phenomena in question. In contrast, building a new theory that captures the behaviour might then be characterised as “descriptive”, as — superficially at least — it does not show how an existing theory “already” accounts for the data in some sense. Here we observe instead that the argument can be run in the other direction. that a reductive model-theoretic account merely “describes” how some aspects of a problem can be reduced to some formalisation, but may fail to capture a subject’s understanding or intuitions about meaning. It is surely appropriate for the formal theory itself to be at least sympathetic to the ontological concerns and intuitions of its subjects — if not inform them (Dummett 1991). The alternative amounts to little more than carving out otherwise arbitrary aspects of a system that mimics the required behaviour, without a coherent explanation of why some aspects of a formal theory characterise, or capture, the intended meaning, but not others (cf. Benacerraf 1965). That seems an impoverished approach, weakening any claim to “explain”. Any constraint this imposes on what is it to be an explanatory account of meaning then faces the same problem as naive notions of compositionality (Zadrozny 1994) — that is, what appears to be a meaningful restriction is, in reality, a mirage. (shrink)

Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger and (...) a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.-- Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)

In the history of formal semantics, the successful joining of linguistic and philosophical work brought with it some difficult foundational questions concerning the nature of meaning and the nature of knowledge of language in the domain of semantics: questions in part about “what’s in the head” of a competent language-user. This paper, part of a project on the history of formal semantics, revisits the central issues of (Partee, 1979) in a historical context, as a clash between two traditions, Fregean and (...) Chomskyan, a clash that accompanied early work combining Montague’s semantics with Chomskyan syntax. Recent advances in philosophy of mind (from, e.g., Stalnaker and Burge) go a long way towards changing the framework of arguments about “psychological reality” and “competence”, challenging the suppositions on which the original dichotomy rested, thus largely defusing the tension. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

This course aims to assess the principle of compositionality (CP) and how it fits with recent developments in natural language interpretation, especially those that stress the role of context. We first try to lay down a suitable formal framework for CP, reviewing proposals by Montague, Janssen, Hendriks, Kracht and Hodges. Versions of CP of varying strength are formulated, and some recent results on the existence of compositional semantics and the (much debated) issue of the empirical import of CP discussed. Complementing (...) CP is the notion of context which, under modern (e.g. "dynamic") conceptions, not only conditions interpretation but also is transformed during interpretation. The tension between CP and context is examined relative to problems of anaphora, presupposition, idioms and ambiguity. A somewhat un-orthodox computational application of CP is suggested, emphasizing co-inductive aspects of interpretation that cut across the divide between model-theoretic and proof-theoretic approaches, and between procedural and declarative styles. (shrink)

Part I: The Life of Cognitive Science:. William Bechtel, Adele Abrahamsen, and George Graham. Part II: Areas of Study in Cognitive Science:. 1. Analogy: Dedre Gentner. 2. Animal Cognition: Herbert L. Roitblat. 3. Attention: A.H.C. Van Der Heijden. 4. Brain Mapping: Jennifer Mundale. 5. Cognitive Anthropology: Charles W. Nuckolls. 6. Cognitive and Linguistic Development: Adele Abrahamsen. 7. Conceptual Change: Nancy J. Nersessian. 8. Conceptual Organization: Douglas Medin and Sandra R. Waxman. 9. Consciousness: Owen Flanagan. 10. Decision Making: J. Frank Yates (...) and Paul A. Estin. 11. Emotions: Paul E. Griffiths. 12. Imagery and Spatial Representation: Rita E. Anderson. 13. Language Evolution and Neuromechanisms: Terrence W. Deacon. 14. Language Processing: Kathryn Bock and Susan M. Garnsey. 15. Linguistics Theory: D. Terence Langendoen. 16. Machine Learning: Paul Thagard. 17. Memory: Henry L. Roediger III and Lyn M. Goff. 18. Perception: Cees Van Leeuwen. 19. Perception: Color: Austen Clark. 20. Problem Solving: Kevin Dunbar. 21. Reasoning: Lance J. Rips. 22. Social Cognition: Alan J. Lambert and Alison L. Chasteen. 23. Unconscious Intelligence: Rhianon Allen and Arthur S. Reber. 24. Understanding Texts: Art Graesser and Pam Tipping. 25. Word Meaning: Barbara C. Malt. Part III: Methodologies of Cognitive Science:. 26. Artificial Intelligence: Ron Sun. 27. Behavioral Experimentation: Alexander Pollatsek and Keith Rayner. 28. Cognitive Ethology: Marc Bekoff. 29. Deficits and Pathologies: Christopher D. Frith. 30. Ethnomethodology: Barry Saferstein. 31. Functional Analysis: Brian Macwhinney. 32. Neuroimaging: Randy L. Buckner and Steven E. Petersen. 33. Protocal Analysis: K. Anders Ericsson. 34. Single Neuron Electrophysiology: B. E. Stein, M.T. Wallace, and T.R. Stanford. 35. Structural Analysis: Robert Frank. Part IV: Stances in Cognitive Science:. 36. Case-based Reasoning: David B. Leake. 37. Cognitive Linguistics: Michael Tomasello. 38. Connectionism, Artificial Life, and Dynamical Systems: Jeffrey L. Elman. 39. Embodied, Situated, and Distributed Cognition: Andy Clark. 40. Mediated Action: James V. Wertsch. 41. Neurobiological Modeling: P. Read Montague and Peter Dayan. 42. Production Systems: Christian D. Schunn and David Klahr. Part V: Controversies in Cognitive Science:. 43. The Binding Problem: Valerie Gray Hardcastle. 44. Heuristics and Satisficing: Robert C. Richardson. 45. Innate Knowledge: Barbara Landau. 46. Innateness and Emergentism: Elizabeth Bates, Jeffrey L. Elman, Mark H. Johnson, Annette Karmiloff-Smith, Domenico Parisi, and Kim Plunkett. 47. Intentionality: Gilbert Harman. 48. Levels of Explanation and Cognition Architectures: Robert N. McCauley. 49. Modularity: Irene Appelbaum. 50. Representation and Computation: Robert S. Stufflebeam. 51. Representations: Dorrit Billman. 52. Rules: Terence Horgan and John Tienson. 53. Stage Theories Refuted: Donald G. Mackay. Part VI: Cognitive Science in the Real World:. 54. Education: John T. Bruer. 55. Ethics: Mark L. Johnson. 56. Everyday Life Environments: Alex Kirlik. 57. Institutions and Economics: Douglass C. North. 58. Legal Reasoning: Edwina L. Rissland. 59. Mental Retardation: Norman W. Bray, Kevin D. Reilly, Lisa F. Huffman, Lisa A. Grupe, Mark F. Villa, Kathryn L. Fletcher, and Vivek Anumolu. 60. Science: William F. Brewer and Punyashloke Mishra. Selective Biographies of Major Contributors to Cognitive Science: William Bechtel and Tadeusz Zawidzki. (shrink)

This paper consists principally of selections from a much longer work on the semantics of English. It discusses some problems concerning how to represent grammatical modifiers (e.g. slowly in x drives slowly) in a logically perspicuous notation. A proposal of Reichenbach's is given and criticized; then a new theory (apparently discovered independently by myself, Romain Clark, and Richard Montague and Hans Kamp) is given, in which grammatical modifiers are represented by operators added to a first-order predicate calculus. Finally some problems (...) concerning applications of adjectives to that-clauses and gerundive-clauses are discussed. (shrink)

Response to commentaries on keynote article.

In the 1960’s, both Montague (e.g. 1970, 222) and Grice (1975, 24) famously declared that natural languages were not so different from the formal languages of logic as people had thought. Montague sought to comprehend the grammars of both within a single theory, and Grice sought to explain away apparent divergences as due to the fact that the former, but not the latter, were used for conversation. But, if we confine our concept of logic to first order predicate logic (or (...) FOPL) with identity (that is, omitting everything which is not required for the pursuit of mathematical truth), then there are of course many other aspects, in addition to its use in conversation, which distinguish natural language from logic. Conventional implicature, information structure (including presupposition), tense and time reference, and the expression of causation and inference are several of these, which combine as well with syntactic complexities which are unnecessary in first order predicate logic. In this paper I will argue that such distinguishing aspects should be more fully exploited to explain the differences between the material conditional of logic and the indicative conditional of one natural language (English). (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

In this paper I argue for the Atlas-Kempson Thesis that sentences of the form The A is not B are not ambiguous but rather semantically general (Quine), non-specific (Zwicky and Sadock), or vague (G. Lakoff). This observation refutes the 1970 Davidson-Harman hypothesis that underlying structures, as full semantic representations, are logical forms. It undermines the conception of semantical presupposition, removes a support for the existence of truth-value gaps for presuppositional sentences (the remaining arguments for which are viciously circular), and lifts (...) the Russell-Strawson dispute of 1950–1964 from stalemate to a formulation in which a resolution is possible for the first time. Suggestions of Davidson, Montague, Stalnaker, Kaplan and H. P. Grice are shown to be inadequate semantic descriptions of negative, presuppositional sentences. I briefly discuss the radical Pragmatics view of my 1975 publications and suggest that it too fails to do justice to the linguistic data. I speculate that Semantic Representations should be given the form (more or less) of computer programs, describable in Dana Scott's mathematical semantics for programming languages. (shrink)

Some philosophers claim that perception immediately and prima facie justifies belief in virtue of its phenomenal character (Huemer, Skepticism and the veil of perception. Rowman & Littlefield, Lanham, 2001; Pryor, There is immediate justification. In: Steup M, Sosa E (eds) Contemporary debates in epistemology. Blackwell, London (2014), pp. 181–202, 2005). To explain this special justificatory power, some appeal to perception’s presentational character: the idea that perceptual experience presents its objects as existing here-and-now (Chudnoff, Intuition. Oxford University Press, Oxford, 2013; Berghofer, (...) Husserl Stud 34(2):145–170, 2018). As some philosophers have noted, if perception justifies in virtue of its presentational character alone, the kind of content perception has should not matter for perceptual justification; more precisely, it should not matter whether perceptual content is propositional or not (e.g., Smithies, The epistemic role of consciousness. Oxford University Press, Oxford, 2019; Kriegel, Australas J Philos, 2021). However, most philosophers tend to resist this conclusion, holding that perception must be propositional in order to justify, on the ground that all our model of justification are propositional (e.g., Gauker, Philos Perspect 26(1):19–50, 2012). This paper challenges this claim. The paper consists of a negative and a positive part. In the negative part, I discuss and reject the master argument for the propositionality of perception; the conclusion is that propositional content is neither sufficient nor necessary to explain perception’s justificatory power. In the positive part, I take this conclusion seriously and outline an objectual model of perceptual justification. I define objectual attitudes as mental states whose content is not a full proposition, but a sub-propositional representational item, such as the representation of objects, properties, and kinds (Grzankowski and Montague, Non-propositional intentionality. Oxford University Press, Oxford, 2018), and show that it is plausible that some perceptions and some beliefs are attitudes of this kind. I then argue that objectual perceptual experiences have the right kind of phenomenal character and the right kind of structure to serve for immediate prima facie justification. I conclude by defending my objectual model from three objections. (shrink)

In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...) have since become popular, largely due to the influence of Kripke. In the 1950’s modal logicians responded to Quine’s challenge by providing quantified modal logic with model-theoretic semantics of various types. In doing so they also, explicitly or implicitly addressed Quine’s interpretation problem. Here I shall consider the approaches developed by Carnap in the late 1940’s, and by Kanger, Hintikka, Montague, and Kripke in the 1950’s, and discuss to what extent these approaches were successful in meeting Quine’s doubts about the intelligibility of quantified modal logic. (shrink)

This is the long-awaited publication of a set of writings by the British philosopher, historian, and archaeologist R.G. Collingwood (1889-1943) on critical, anthropological, and cultural themes only hinted at in his previously available work. At the core are six essays on folktale and magic in which Collingwood applies the principles of his philosophy of history to problems in the long-term evolution of human society and culture. The volume opens with three substantial introductory essays by the editors, authorities in their various (...) fields, who provide their explanatory and contextual notes to guide the reader through the texts. The Philosophy of Enchantment highlights the broad range of Collingwood's intellectual engagements, their integration, and their relevance to current areas of debate in the fields of philosophy, cultural studies, social and literary history, and anthropology. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...) of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

In recent years a number of books have been published that offer short autobiographical essays of academics, focusing on their research and how their life history affected their scholarly development. These could be labeled as "intellectual journey narratives." Some volumes focus on philosophers and their religious faith or lack thereof (e.g., Clark, 1997, Antony, 2007). Psychology has its own version of the intellectual journey narrative, in T. S. Krawiec's (1972, 1974, 1978) multivolume set of autobiographical essays by contemporary psychologists. In (...) 1987, Rosemary Pilkington edited her first volume of essays entitled Men and Women of Parapsychology: Personal Reflections, Esprit Volume 1. It contains autobiographical essays by Jule Eisenbud, Montague Ullman, Jan Ehrenwald, Eileen Coly, Joseph H. Rush, Gertrude R. Schmeidler, Emilio Servadio, Renée Haynes, Hans Bender, Karlis Osis, George Zorab and Bernard Grad. The second (2013) volume contains autobiographical essays by Mary Rose Barrington, Eberhard Bauer, William Braud (now deceased), Stephen Braude, Richard S. Broughton, Larry Dossey, Sally Rhine Feather, Erlendur Haraldsson, Arthur Hastings, Stanley Krippner, Lawrence LeShan, Roger Nelson, John Palmer, Guy Leon Playfair, William G. Roll (now deceased), Serena Roney-Dougal, Stephan A. Schwartz, Rex G. Stanford, Russell Targ, Charles T. Tart, and Walter von Lucadou. Between the two volumes almost every significant contemporary parapsychologist is represented, with the major exceptions being the late John Beloff and the late Ian Stevenson. (shrink)

In his target paper, John Welwood tells us that we have to beware of 'spiritual bypassing -- using spiritual ideas and practices to sidestep personal, emotional -- unfinished business--, to shore up a shaky sense of self, or to belittle basic needs, feelings, and develop-mental tasks, all in the name of enlightenment'. It's arguable that there is an equal danger of 'narrative bypassing' -- using the idea of one's life as a narrative to 'sidestep personal, emotional --unfinished business--, to shore (...) up a shaky sense of self -- all in the name of' a good life. (shrink)

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

Предназначено для представителей науки и образования, политических партий, общественных и религиозных организаций, органов государственного управления.

The construction of theoretical models in biology, situated at the cross-roads of biology, mathematics and computer science, often leads to a tool as final product. Its genesis can be named Infogenesis. The procedure of the resolution of theoretical problems is analyzed on examples of practical purposes taken from plant biology.The first example deals with mineral plant nutrition, explaining a way to go from theoretical ionic balances to the experimental realization of nutritional solutions with macro-element components.