In this study, we are addressing the call for further research (Aikhenvald 2015) into how languages, in our case Modern Greek, mark the unexpected. Our first research question is: Can we identify a class of mirative evidential markers in Modern Greek? The expected answer is that we can, if we take account of frequency rates in a variety of sources in the real world, namely plays, corpora and tags in social media. The second research question is: Do these markers convey (...) propositional or non-propositional meaning? Our findings suggest that the Greek data involves predominantly non-propositional types of meaning since mirativity is not delivered by the semantic content of the utterance (e.g., Ooo! Tí vlépoun ta mátia mou? “Oh! What do I see?”, Ma ti les tóra? “But what are you saying now?”, Ba ba ti akoúo? “Well, well, what do I hear?” Mi mou pis! ‘Don’t tell me!’). (shrink)

Cognitive-pragmatic approaches to how metaphors are understood view the activation of perceptual or motor effects as inferred (Steinhart 2001; Bergen 2005; Wilson and Carston 2006; Carston 2010; Gibbs and de Macedo 2010; Wilson and Carston 2019). Crucially, inferences elicit conceptual representations, e.g. in the form of implicatures, and/or mental simulations, e.g. in the form of imagery, memory, an impression and other private elements. Emotional effects, being non-conceptual, must be left out of this picture. But evidence in neurolinguistics and psycholinguistics has (...) shown that metaphors activate brain regions linked to emotions (for a review, see Ifantidou 2019; Citron 2020), and that in L2, in the absence of fully-propositional meaning (due to unknown words), metaphors yield meaningful interpretations by evoking imagery, impressions, emotions (Ifantidou 2019, 2021a, 2021b; Ifantidou and Hatzidaki 2019). Drawing on relevance-theoretic views, we would like to argue that metaphors are processed in not entirely propositional terms. Subjective experience heuristics (originally proposed as “availability heuristic” by Tversky and Kahneman 1974; Schwarzand and Wänke 2002; “affect heuristic” by Zajonc 1980) allows making rapid responses by absorbing emotions, imagery, impressions, into the interpretation process, an ability which outweighs (the need for) standard inferential reasoning processes. Such a position is likely to apply to non-metaphorical language, too and thus pervade linguistic processing in general. (shrink)

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional (...) similarity facts. Notably, our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

Contrary to dictionaries, a non sequitur isn’t “any statement that doesn’t follow logically from previous statements”. Otherwise, every opening statement would be a non sequitur: a non sequitur is a statement claimed to follow from previous statements but that doesn’t follow. If the sentence making a given statement doesn’t contain ‘thus’, ‘so’, ‘hence’, ‘therefore’, or something else indicating an implication claim, the statement isn’t a non sequitur in this sense. But this is only one of several senses of that expression, (...) which, contrary to appearances, is a unitary common noun more properly written as one word: non-sequitur or nonsequitur. Above a nonsequitur was, roughly speaking, a conclusion of an invalid premise- conclusion argument, but not every such, only those that were stated to follow from premises that had been stated. Every informative proposition is the conclusion of an invalid argument. Anyway, nonsequiturs were not arguments. However, the expression ‘nonsequitur’ also means “invalid premise- conclusion argument”. It also means something like “fallacious reasoning” as in ‘Abe’s proof of the big-bang hypothesis is a nonsequitur’. The English noun is also used for an irrelevancy, an abrupt change of topic, or for any of many other expressions that are gratuitous, inappropriate, incongruous, or in some other way out of place. The English noun is derived from the Latin expression ‘non sequitur’, which is not a common noun but a sentence variously meaning “it isn’t in sequence ”, “it doesn’t follow”, “it is out of order”, etc. A statement that begins ‘in the second place’ is a nonsequitur if the previous sentence lacked implication of something like ‘in the first place’ or if it contained something similar to ‘in the third place’. In fact, a true implication claim can be a nonsequitur if there is no reason for making it. If Ben says ‘Hence, Abe swims and Abe swims’ in reply to Carl’s statement ‘Abe swims‘, then Ben may well be committing a nonsequitur. Many conversation stoppers are nonsequiturs. This lecture surveys and analyses a wide selection of uses of ‘nonsequitur’ in logic and logic-related literature. -/- END OF DRAFT 4 -/- NOTE 091215: When Rick Perry was discussing possible withdrawal from the race—unfortunately not the human race but the Republican race—a reporter reminded him that just last week Donald Trump predicted the Perry withdrawal. Perry interrupted with “A broken clock is right once a day”. -/- If you did not know Perry you might think his reply was a brilliant diversionary nonsequitur. If you know Perry you might think his reply was a stupid nonsequitur. -/- For the record, he did say ‘once a day’, not ‘twice a day’. BTW, my interjection ‘unfortunately not the human race but the Republican race’ was also a nonsequitur. (shrink)

Using the method of ordered pairs proposed in my 'A Logical Form for the Propositional Attitudes', a non-essentialistic modal logic is possible which avoids these oddities.

In most modal logics, atomic propositional symbols are directly representing the meaning of sentences (such as sets of possible worlds). In other words, they use only rigid propositional designators. This means they are not able to handle uncertainty in meaning directly at the sentential level. In this paper, we offer a modal language involving non-rigid propositional designators which can also carefully distinguish de re and de dicto use of these designators. Then, we axiomatize the logics (...) in this language with respect to all Kripke models with multiple modalities and with respect to S5 Kripke models with a single modality. (shrink)

In what follows, I will first try to show that both anti-realist and realist intensionalist truthconditional accounts of internal metafictional sentences (i.e., sentences of the form "in the story S, p") are unsatisfactory. Moreover, I will claim that this does not mean that propositional truthconditional accounts of those sentences are to be dispensed with; simply, one has to provide a non-intensionalist propositional truthconditional account of those sentences. Finally, I will show that this account is fully compatible with a (...) realist interpretation of those sentences' truthconditions according to which at least some of those sentences commit one to fictional entities. (shrink)

In “A Defense of Presentism ”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. Part of (...) the difficulty is in the limited expressivity of logical formalisms, a limitation not unique to the philosophy of time, but which calls for greater attention. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics (...) versus pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

This study explores the phenomenon of the so-called “third reading” of propositional attitude reports. This reading, which was originally explored in the dissertation of J. Fodor (1973) and has since become one of the significant problems in the formal semantics of natural languages, differs from the more well-known de re and de dicto readings by being an intermediate case. If the de re interpretation can be referred to as transparent specific, and the de dicto interpretation as opaque non-specific, then (...) the third reading is transparent non-specific. Fodor's standard solution has been the subject of much discussion in the literature and has given rise to a series of widely accepted counterexamples that are thought to demonstrate the limitations of Fodor's solution. At the same time, alternative approaches to the explication of these readings also suffer from formal shortcomings (for example, some of them did not satisfy the requirement of meaning compositionality, which is a basic requirement in formal semantic literature). This study points out that the analysis of all complex cases of the third reading did not fully take into account their syntactic structure. This remained unnoticed due to the ellipsis in many of these cases. It is shown that a restoration of the ellided syntactic structure makes it possible to analyze all hard cases as basic ones using the classical standard analysis proposed by Fodor supplemented by the principles of admissibility of substitution of L-equivalent expressions in intensional contexts (known since G. Frege and R. Carnap). In the final part of the work, it is demonstrated how exactly the main complex cases of the “third reading” are explicated in terms of the standard approach. (shrink)

Propositions are more than the bearers of truth and the meanings of sentences: they are also the objects of an array of attitudes including belief, desire, hope, and fear. This variety of roles leads to a variety of paradoxes, most of which have been sorely neglected. Arguing that existing work on these paradoxes is either too heavy-handed or too specific in its focus to be fully satisfactory, I develop a basic intensional logic and pursue and compare three strategies for addressing (...) the paradoxes, one employing truth-value gaps, one restricting propositional quantification, and one restricting our ability to have attitudes like belief and desire. This results in four distinct resolutions of the paradoxes, all but one of which are novel and all of which receive novel and general implementations. While resolving the paradoxes is of course the ultimate goal, I do not here argue that any one of the resolutions is superior. These paradoxes have been so little studied that my primary goal is only to identify the most fundamental costs and benefits of the various approaches one can take to addressing them. Each resolution I develop has significant drawbacks, which I argue highlight tensions between the different roles propositions play. Past researchers have skirted these tensions, and the issues raised by these paradoxes more generally, by focusing on non-propositional paradoxes, such as the most familiar forms of the Liar paradox. At the least, then, I hope this dissertation establishes that the propositional paradoxes deserve attention not only because of their consequences for intensional logic, but also because of their consequences for our understanding of content, truth, quantification, and a host of mental attitudes. (shrink)

An important objection to sententialist theories of attitude reports is that they cannot accommodate the principle that one cannot know that someone believes that p without knowing what it is that he believes. This paper argues that a parallel problem arises for propositionalist accounts that has gone largely unnoticed, and that, furthermore, the usual resources for the propositionalist do not afford an adequate solution. While non-standard solutions are available for the propositionalist, it turns out that there are parallel solutions that (...) are available for the sententialist. Since the difficulties raised seem to show that the mechanism by which sentential complements serve to inform us about attitudes and about sentence meaning does not depend on their referring to propositions, this casts doubt on whether talk of propositions should retain a significant theoretical role in the enterprise of understanding thought, language and communication. (shrink)

Although there is a vast literature on whether propositional attitudes are relations to propositions, a crucial question that ought to lie at the heart of this debate is not often enough seriously addressed. This is the question of the contribution propositions make to the ways in which we benefit from having our propositional-attitude concepts, if those concepts are concepts of relations to propositions. Unless propositions can be shown to confer a benefit that no non-propositions could provide, we should (...) probably doubt whether propositional attitudes really are relations to propositions. I believe that propositional attitudes are relations to propositions and that the role played by them in our conceptual economy cannot be played by things of any other kind, and in this paper I try to say why. This paper, in other words, offers my answer to the question posed by my title. (shrink)

In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal (...) argumentation, (iv) naturally leads to defining a notion of depth of a proof, to the effect that, for every fixed natural k, normal k-depth deducibility is a tractable problem and converges to classical deducibility as k tends to infinity. (shrink)

Davidson argues that metaphorical sentences express no propositional contents other than the explicit literal contents they express. He offers a causal account, on the one hand, as an explanation of the supposed additional content of a metaphor in terms of the effects metaphors have on hearers, and on the other hand, as a reason for the non-propositional nature of the “something more” that a metaphor is alleged to mean. Davidson’s account is meant to restrict the semantic notions of (...) meaning, content, and truth, to literal sentences. I argue that the Davidsonian causal account does not satisfactorily account for metaphor’s figurativeness, speakers’ assertion and hearers’ uptake of metaphor, and our discursive practices of using metaphors in disagreements and argumentation. I offer a non-compositional analysis of a semantic account of metaphor within which one can make sense of the applicability of the notions of meaning and content to metaphor. This analysis shows that metaphorical sentences have meanings other than, and in addition to, their literal meanings and what speakers can use them to mean. (shrink)

Our linguistic and inferential practices are said to implicate a kind of abstract object playing various roles traditionally attributed to propositions, and our predictive and explanatory success with this ‘‘proposition-talk’’ is held to underwrite a realistic interpretation of it. However, these very same practices pull us in different directions regarding the nature of propositions, frustrating the development of an adequate unified theory of them. I explain how one could retain proposition-talk, and the advantages of interpreting it as being purportedly about (...) propositions, even if problems about the identity conditions for propositions motivated a Quinean rejection of them. The non-error-theoretic solution is to understand proposition-talk in terms of semantic pretense. On this approach, talking as if there were propositions lets us put readily available logical and linguistic devices to new expressive purposes, providing a way to make indirectly certain complicated, genuinely true assertions we cannot make directly. Proposition-talk thus extends the expressive capacity of a language in a logico-syntactically conservative way. (shrink)

Philosophers are often interested in explaining significant contrasts between ordinary descriptive discourses, on the one hand, and discourses – such as ethics, mathematics, or mentalistic discourse – that are thought to be more problematic in various ways. But certain strategies for ‘saving the differences’ can make it too difficult to preserve notable similarities across discourses. My own preference is for strategies that ‘save the differences’ without sacrificing logico-semantic continuities or committing to deflationism about truth, but also without embracing either truth-pluralism (...) or global expressivism.I motivate my preference by examining, as a test case, mentalistic discourse. I begin by reconstructing three philosophical puzzles that have led philosophers to think of mentalistic discourse as problematic (Section 2). These puzzles concern the semantic, epistemological, and metaphysical status of contrasts between first-person present-tense attributions – ‘avowals’ – and all other ordinary contingent attributions. I then briefly present my own,neo-expressiviststrategy for addressing the puzzles (Section 3). Unlike traditional ‘simple expressivism’ (which is the analogue in the mentalistic realm of ethical emotivism), neo-expressivism is not committed to avowals’ being non-truth-apt or having non-propositional meanings. And yet it does not require embracing either deflationism about truth or global expressivism. It preserves continuities between mentalistic and other discourses while allowing us to capture discontinuities. Moreover, it is possible to apply the neo-expressivist framework in other areas where the notion of expression is deemed explanatorily useful, as illustrated by consideringethical neo-expressivism(Section 4). In the final section (5), I make more general comments on truth and meaning and tease out some of the commitments of the approach I advocate. (shrink)

It is widely agreed that perceptual experience is a form of intentionality, i.e., that it has representational content. Many philosophers take this to mean that like belief, experience has propositional content, that it can be true or false. I accept that perceptual experience has intentionality; but I dispute the claim that it has propositional content. This claim does not follow from the fact that experience is intentional, nor does it follow from the fact that experiences are accurate or (...) inaccurate. I end by considering the relationship between this question and the question of whether experience has non-conceptual content. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉 ϕ as fuzzy predicates about the reliability of α as a means to ϕ. This gives our semantics a measure of efficacy for means-end relations.

It is widely agreed that perceptual experience is a form of intentionality, i.e., that it has representational content. Many philosophers take this to mean that like belief, experience has propositional content, that it can be true or false. I accept that perceptual experience has intentionality; but I dispute the claim that it has propositional content. This claim does not follow from the fact that experience is intentional, nor does it follow from the fact that experiences are accurate or (...) inaccurate. I end by considering the relationship between this question and the question of whether experience has non‐conceptual content. (shrink)

In this paper, I try to understand what Buridan means when he suggests that "every proposition, by its very form, signifies or asserts itself to be true." I show how one way of construing this claim - that every proposition is in fact a conjunction one conjunct of which asserts the truth of the whole conjunction - does lead to a resolution of the Liar paradox, as Buridan says, and moreover is not vulnerable to the criticism on the basis of (...) which Buridan came to reject this view. However, I go on to argue that the view causes Truth-Teller worries when applied to non-Liar propositions. (shrink)

My intention in this paper is to propose a conception of metaphorical meaning on which the meaning of a metaphor includes propositional as well as non-propositional features. I will make two general claims on behalf of the proposed account: first, it is intuitive; second, it is of theoretical value. In claiming that the proposed account is of theoretical value, I mean only that its adoption leads to an increased understanding of the nature of metaphor: of metaphorical (...) thought and ofmetaphorical communication in particular. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as (...) Cognitive Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Sorne people use “faith” to refer to an action, some to a passion, and sorne to a composite of the two. “Faith” is also sometimes used interchangeably with “belief.” This paper is an effort to identify and overcorne some of the problems caused by these facts. I pursue this end by distinguishing several meanings of “belief,” and by distinguishing actional faith, passional faith, and faithfulness from one another. I argue that much can be gained by restricting the meaning of (...) “faith” to the concept of a non-evidential doxastic passion that can be caused by any number of things, including God, if God exists. (shrink)

Sorne people use “faith” to refer to an action, some to a passion, and sorne to a composite of the two. “Faith” is also sometimes used interchangeably with “belief.” This paper is an effort to identify and overcorne some of the problems caused by these facts. I pursue this end by distinguishing several meanings of “belief,” and by distinguishing actional faith, passional faith, and faithfulness from one another. I argue that much can be gained by restricting the meaning of (...) “faith” to the concept of a non-evidential doxastic passion that can be caused by any number of things, including God, if God exists. (shrink)

We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants (...) who classified the formula correctly before timeout and the mean response time among those participants. We propose a new proof formalism for modeling propositional reasoning with bounded cognitive resources. It models declarative memory, visual memory, working memory, and procedural memory according to the memory model of Atkinson and Shiffrin and reasoning processes according to the model of Newell and Simon. We also define two particular proof systems, T and NT, for showing propositional formulas to be tautologies and non-tautologies, respectively. The accuracy was found to be higher for non-tautologies than for tautologies ( p T was.89 and for non-tautologies the correlation between latency and minimum proof length in NT was.87. (shrink)

If the assertion, "A condition now exists making the subsequent realization of some one or other of such and such a range of possibilities inevitable," is true when made, then I grant that it must remain ever thereafter true. But suppose that, in the Fall of 1955, we assert, "X may-or-may-not occur in the Fall of 1956." If this is meant objectively, and not as a mere profession of ignorance, its truth requires that there be no present condition making X's (...) occurrence at the time stated either inevitable or impossible. If we should repeat the statement after six months, it may no longer have the same truth value. For in the six months since the first assertion, the factors favoring, or those disfavoring, X's occurrence may have so increased that mere possibility has become overwhelming probability, inevitability, or impossibility. We can indeed say in advance that the "open possibilities" for a given mode of occurrence will be replaced by unambiguous necessity or impossibility, on, or before, the date specified. Such progressive narrowing of possibilities, or increase in the sum of necessities, positive and negative, is the temporal process, in one of its aspects. Here too we make no reference to this or that future particular--how can there be future particulars?--but we merely assert that a now empty class will not remain empty, or if you prefer, a certain unexemplified property will not remain unexemplified, the property, namely, of being a condition decisive as between X and non-X. The "will not" affirms present conditions of subsequent increase in the determinateness of conditions for still later events, and the latter are not referred to extensionally as a class with present or eternal members, but as a class-property which cannot remain unexemplified--the relational property of "events related as successors to the present events." "A new shade of crimson will appear in the flowers in the garden tomorrow" merely affirms that the property, "shade of crimson not embodied in existence prior to tomorrow" will tomorrow be exemplified in the flowers, and if true this means that causal conditions already actualized make it impossible that a new shade, some unprecedented crimson or other, should fail to turn up. It will not be the particularity of the shade that later turns up which will have made our statement true, for literally countless others would have done equally well; and this proves that the meaning of the statement was independent of any particular shade, and concerned only the predestined status of the more general property, "new shade of crimson." As usual in philosophy, alas, my opponent seems to his opponent to be missing the point "as if by magic.". (shrink)

This paper shows that Aristotle's De Interpretatione does not separate syntax from semantics. Linguistic sentences are not syntactic entities, and non-linguistic meanings are not semantic propositions expressed by linguistic sentences. In fact, Aristotle resorts to a mental conception of meaning, distinguishing linguistic meanings in a given language from non-linguistic mental contents in relation to actual things: while the former are not the same for all, the latter are shared by everyone. Aristotle is not a modern logician, like Boole, Frege, (...) or Russell, in so far as a mental conception of meaning does not reveal an abstract semantics for a syntactic language. (shrink)

The article argues in favour of a pragmatist enactive interpretation of the emergence of the symbolic and contentful mind from a basic form of social communicative interaction in which basic cognitive capacities are involved. Through a critical overview of Radical Enactivists (RECers)’ view about language, the article focuses on Mead’s pragmatist behavioural theory of meaning that refers to the gestural conversation as the origin of the evolution of linguistic conversation. The article develops as follows. After exposing the main elements (...) of REC’s theory of cognition and language that involve the construction of a theory of natural signs (teleosemiotics) and basic directionality (Ur-intentionality), some critical points of Hutto and Myin’s proposal will be highlighted. To foster a continuist perspective of language, the behavioural theory of meaning and language that Mead develops from the notion of gesture will be analysed. His theory is akin to REC and could augment the bare bones of REC’s sketched perspective, helping to include Ur-intentionality in a broader non-dualistic phylogenetic and ontogenetic theory of symbolic language from gestural communication, thus helping to overcome the distinction between a content-less intentionality and a content-involving intentionality, i.e., a semantic propositional intentionality. Furthermore, a recent revival of Mead’s theory testifies to its up-to-date relevance to explain the innate social dimension of human and non-human animals, and the human communicative capacity through the conditioning of bio-social canons and structures. (shrink)

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

Speakers often use ordinary words and phrases, unembedded in any sentence, to perform speech acts—or so it appears. In some cases appearances are deceptive: The seemingly lexical/phrasal utterance may really be an utterance of a syntactically eplliptical sentence. I argue however that, at least sometimes, plain old words and phrases are used on their own. The use of both words/phrases and elliptical sentences leads to two consequences: 1. Context must contribute more to utterance meaning than is often supposed. Here's (...) why: The semantic type of normal words and phrases is non-proppositional, even after the usual contextual features are added . Yet an utterance of a word/phrase can be fully propositional. 2. Often, a hearer does not need to know the exact identity of the expression uttered, to understand an utterance. The reason: Typically, words/phrases in context will sound the same, and mean the same, as some elliptical sentence token. (shrink)

There are logics where necessity is defined by means of a given identity connective: \ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity \ can be defined by strict equivalence \}\). All these approaches to modality involve a principle that we call the Collapse Axiom : “There is only one necessary proposition.” In this paper, we consider a notion of PI which relies on the identity axioms of Suszko’s non-Fregean logic (...) SCI. Then S3 proves to be the smallest Lewis modal system where PI can be defined as SE. We extend S3 to a non-Fregean logic with propositional quantifiers such that necessity and PI are integrated as non-interdefinable concepts. CA is not valid and PI refines SE. Models are expansions of SCI-models. We show that SCI-models are Boolean prealgebras, and vice-versa. This associates non-Fregean logic with research on Hyperintensional Semantics. PI equals SE iff models are Boolean algebras and CA holds. A representation result establishes a connection to Fine’s approach to propositional quantifiers and shows that our theories are conservative extensions of S3–S5, respectively. If we exclude the Barcan formula and a related axiom, then the resulting systems are still complete w.r.t. a simpler denotational semantics. (shrink)

This paper is part of a series of interdisciplinary investigations in literary fiction and aims to identify the illocutionary force of the so-called “non-serious utterance” of fiction makers on the theoretical assumption that the primary unit of an utterance’s meaning are complete speech acts, composed of an illocutionary force and a propositional content. Based on philosophical analysis of non-serious and performative utterances of descriptive sentences, I formulate the fundamental hypothesis that the primary unit of non-serious utterances’ meaning (...) is a complete declaration of the form F, whose illocutionary point is to create the extra-linguistic event represented in the propositional content of this speech act, in virtue of the linguistic meaning determined by the social conventions of fiction. (shrink)

This research attempts to evaluate the hermeneutic characteristics of catuṣkoṭi (tetralemma) in the ‘Nirvāṇa’ Chapter of the _Mūlamadhyamakakārikā_ (Ch. 25), focusing on the identity thesis between nirvāṇa and saṃsāra. Regarding the structure of the tetralemma posited by Nāgārjuna (ca. 150-ca. 250), this study criticizes the dialectical interpretation of Robinson and Kajiyama from the perspective of Siderits and Katsura’s semantic approach to the extent that it does not deny ultimate truth. This sets it apart from the semantic view presented by Siderits (...) and Garfield (J Indian Philos 41:655–664, 2013). To support this position, the commentaries of Piṅgala (ca. 4C) and Candrakīrti (ca. 600–ca. 650) are also used, along with Nāgārjuna’s _Vigrahavyāvartanī_. From this standpoint, the meaning of non-duality of nirvāṇa and saṃsāra is evaluated, in the sense that both are negated in the ultimate sense, as opposed to the metaphysical view, which interprets the tetralemma in a dialectical way. Siderits and Katsura suggests that, as in the case of nirvāṇa, “just as the four lemmas applying to saṃsāra is rejected, ultimately there is no such state as saṃsāra,” because it is empty of its intrinsic nature. Following this line of reasoning, the thesis of Tathāgata in 25.17 and 25.18 can also be interpreted semantically as “there is no real distinction between before and after death, due to the absence of intrinsic nature (_svabhāva_) in Tathāgata.” Likewise, the semantic approach here negates the four propositions of nirvāṇa and saṃsāra only, as operated when clinging to identity. (shrink)

In On the Genesis of Thought and Language, linguist Alexey Koshelev explores fundamental questions of how human concepts arise in a child, why concepts appear in a child before words, the genesis of language, and why there are so many languages. Chapter One introduces the fundamental dichotomy "visual (exogenous) vs. functional (endogenous)" cognitive units; these units are used to give non-verbal definitions of mental representations of various objects, actions, and situations. In particular, definitions of such concepts as GLASS, CHAIR, BANANA, (...) TREE, LAKE, RUN, and some others are given. Chapter Two discusses how children form concepts, hierarchical relationships, and propositions (conceptual 'utterances'). It is shown that the initial units of the child's representation of the world are pre-conceptual cognitive units--mental representations of whole situations. In the course of two consecutive cycles in the child's cognitive development, these units transform into (a) primary notions--object and motor concepts, and (b) binary role relationships. Together, they constitute the elementary language of thought which, in the process of thinking, is used to build conceptual structures--propositions. It is further demonstrated that, immediately after the formation of thought, the child begins to develop his native language in which concrete and motor concepts become initial meanings of nouns and verbs, while propositions become the meanings of the child's expressions. The chapter concludes with a contrastive analysis of the proposed approach and Aristotle's and Chomsky's views on thought and language. Chapter Three analyzes how a community's culture affects its language. It is demonstrated that the progress of a community, the main constituent of the civilizational component of its culture, enhances the development of the content component of language by extending the range of its lexical and grammatical meanings. In the context of this analysis, Daniel Everett's (2008) hypothesis that culture affects language structure is discussed. In the subsequent sections, models of the development of human and social activity are offered. These models comprise three components: Activity (main component), Thought, and Language (auxiliary components that ensure the successful realization of activities). The models are illustrated with examples of some concrete societies. (shrink)

ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.

Consider the following three propositions: (R) Artworks necessarily have aesthetic properties that are relevant to their appreciation as artworks. (S) Aesthetic properties necessarily depend, at least in part, on properties perceived by means of the five senses. (X) There exist artworks that need not be perceived by means of the five senses to be appreciated as artworks. The independent plausibility and apparent joint inconsistency of these three propositions give rise to what I refer to as ‘the problem of non-perceptual art’. (...) Assuming that the propositions are independently plausible and jointly inconsistent, there will be three ways of solving the problem: you may affirm (R) and (S) while denying (X); you may affirm (S) and (X) while denying (R); or you may affirm (R) and (X) while denying (S). The first of these, once the orthodox solution, has been displaced in recent years by the second. The third has never really been defended. I defend it here. If successful, my defence will have shown that there is reason to deny the existence of non-aesthetic art and no reason to believe that art is not essentially aesthetic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Meaning in Spinoza’s MethodAlan Nelson and Noa SheinAaron V. Garrett. Meaning in Spinoza’s Method. New York: Cambridge University Press, 2003. Pp. xii + 240. Cloth, $60.00.This is a book about some fundamental aspects of Spinoza's mature metaphysics. The principal focus is on Part I of the Ethics concerning infinite substance, and on Part V concerning the intuitive knowledge that is the goal of philosophy. Within this (...) focus, Garrett concentrates on Spinoza's method. Garrett explains how he has been influenced by interpretations that stress the structural parallel between the synthetic, geometrical presentation of the Ethics and the relations among the ideas of the well-ordered mind. The Ethics proceeds by deriving propositions concerning substance's modes from definitions of substance and related notions while the mind, insofar as it is free from emotions, intuitively knows things as following from God. Garrett's distinctive thesis, however, is that Spinozistic enlightenment depends on the process of emending the intellect as described in one of Spinoza's earliest works, the Treatise on the Emendation of the Intellect. While this work strongly foreshadows many of Spinoza's mature doctrines, its exposition much more closely resembles the analytic, non-geometric approach of Descartes's Meditations. Spinoza's therapy for the emendation of our "inadequate" ideas closely parallels Descartes's analytic therapy for making what he calls confused ideas "clear and distinct."Garrett is on firm ground in arguing that the process of enlightenment cannot be an unbroken chain of intuitive deductions. For one thing, the definitions and axioms printed in a copy of the Ethics are first sensed by the reader and are not likely to produce immediately the requisite adequate ideas (172). An example of one of Garrett's interesting conclusions is that the definition of God as consisting of an infinity of attributes, the sixth of Part I of the Ethics (1D6), is preliminary and replaced in the process of therapeutic emendation by a definition of God as self caused. It is only after our ideas have become adequate at the end of the process that we are able to fully appreciate 1D6 (171).One might think that Garrett does not go far enough here because his point can be naturally extended. Definitions might assist us in the process of bringing our adequate ideas to light, but our cognitive goal is making these ideas themselves adequate. What then are the ideas we can make most adequate and exactly what distinguishes them from highly refined ideas that are nevertheless more inadequate than these? On one interpretation it is divine essence, that is, the attributes of thought and extension that are individually most adequately conceived after successful therapy. It is tempting to suppose that a single idea of God as both thinking and extended would be more adequate still, but Spinoza holds that our conceptions of these attributes are "really distinct" in a sense analogous to Descartes's(1P10). Spinoza's 1D6 definition of God as a substance consisting of both these attributes (and perhaps other inconceivable ones) thus seems to indicate a subsumption of the attributes we can conceive under the image of some printed or spoken words. Such an idea would be more inadequate than our adequate conceptions of the individual attributes. One is here strongly reminded of Descartes's characterization in Article 63 of the first Part of his Principles of Philosophy, "... we more readily understand extended substance or thinking substance than substance alone."In his seventh and concluding chapter, Garrett tackles the grand problems of intuitive knowledge or knowledge of "the third kind" and the sense in which Spinoza thought a part of the human mind is eternal. The discussion is necessarily complex, but one great advantage of Garrett's treatment is that he realizes intuitive knowledge cannot consist in the explicit deduction of particular things from God. The detailed determination of particular "everyday objects" requires sensory knowledge which is, of course, never perfectly determinate and therefore inherently inadequate. But we can acquire the "second kind" of adequate knowledge by understanding what our minds have in common with other determinate, finite things. This finally enables us to ascend to an appreciation of these... (shrink)

This dissertation lays the foundation for a new theory of non-relational intentionality. The thesis is divided into an introduction and three main chapters, each of which serves as an essential part of an overarching argument. The argument yields, as its conclusion, a new account of how language and thought can exhibit intentionality intrinsically, so that representation can occur in the absence of some thing that is represented. The overarching argument has two components: first, that intentionality can be profi tably studied (...) through examination of the semantics of intensional transitive verbs (ITVs), and second, that providing intensional transitive verbs with a nonrelational semantics will serve to provide us with (at least the beginnings of) a non-relational theory of intentionality. This approach is a generalization of Anscombe's views on perception. Anscombe held that perceptual verbs such as "see" and "perceive" were ITVs, and that understanding the semantics of their object positions could help us to solve the problems of hallucination and illusion, and provide a theory of perception more generally. I propose to apply this strategy to intentional states and the puzzles of intentionality more generally, and so Anscombe's influence will be felt all through the dissertation. -/- In the first chapter, titled "Semantic Verbs are Intensional Transitives", I argue that semantic verbs such as "refers to", "applies to", and "is true of" have all of the features of intensional transitive verbs, and discuss the consequences of this claim for semantic theory and the philosophy of language. One theoretically enriching consequence of this view is that it allows us to perspicuously express, and partially reconcile two opposing views on the nature and subject-matter of semantics: the Chomskian view, on which semantics is an internalistic enterprise concerning speakers' psychologies, and the Lewisian view, on which semantics is a fully externalistic enterprise issuing in theorems about how the world must look for our natural language sentences to be true. Intensional Transitive Verbs have two readings: a de dicto reading and a de re reading; the de dicto reading of ITVs is plausibly a nonrelational reading, and the intensional features peculiar to this reading make it suitable for expressing a Chomskian, internalist semantic program. On the other hand, the de re reading is fully relational, and make it suitable for expressing the kinds of word-world relations essential to the Lewisian conception of semantics. And since the de dicto and de re readings are plausibly related as two distinct scopal readings of the very same semantic postulates, we can see these two conceptions of semantics as related by two scopal readings of the very same semantic postulates. -/- In chapter two, titled "Hallucination and the New Problem of Empty Names", I argue that the problem of hallucination and the problem of empty names are, at bottom, the same problem. I argue for this by reconstructing the problem of empty names in way that is novel, but implicit in much of the discussion on empty names. I then show how, once recast in this light, the two problems are structurally identical down to an extremely fine level of granularity, and also substantially overlap in terms of their content. If the problems are identical in the way I propose, then we should expect that their spaces of solutions are also identical, and there is signi cant support for this conclusion. However, there are some proposed solutions to the problem of hallucination that have been overlooked as potential solutions to the problem of empty names, and this realization opens new non-relational approaches to the problem of empty names, and to the nature of meaning more generally. -/- In chapter three, titled "Intensionality is Additional Phrasal Unity", I argue for a novel approach to the semantics of intensional contexts. At the heart of my proposal is the Quinean view that intensional contexts should, from the perspective of the semantics, be treated as units, with the material in them contributing to the formation of a single predicate. However, this proposal is subject to a number of objections, including the criticism that taken at face value, this would render intensional contexts, which seem to be fully productive, non-compositional. I begin by discussing the concept of the unity of the phrase, and pointing to various ways that phrases can gain additional unity. I then proposes that the intensionality of intensional transitive verbs is best construed as a form of semantic incorporation; ITVs, on their intensional readings, meet all of the criteria for qualifying as incorporating the nominals in their object positions. I then give a semantics for ITVs that builds on existing views of the semantics of incorporation structures, and gesture at how this can be extended to intensional clausal verbs, including the so-called propositional attitude verbs. (shrink)

This article addresses two questions. The first question is this: ‘when ought teachers to encourage or discourage students’ belief of a given proposition on the one hand (call this ‘directive teaching’), and when ought teachers to simply facilitate students’ understanding of that proposition, on the other (call this ‘non-directive teaching’) (cf. the work of Michael Hand)? The second question is this: ‘which propositional content should curricula address?’ An answer to these questions would amount to what I will call a (...) ‘theory of propositional curricula content’, by providing both a means for choosing content, and a directive for teaching that content. While the answer that I give to the second question is unlikely to prove exhaustive, I still consider that it would form an important part of the answer, hence the title a ‘towards a theory of propositional curricula content’. (shrink)

Kant informs us that the categorical imperative is a synthetic a priori proposition. It might be thought that Kant means thereby to say that we have an a priori rational insight, somewhat like that which Plato claimed for the Forms, into this basic moral truth. W. D. Ross had a similar view about human rational insight into certain basic moral principles, and in his book Kant's Ethical Theory he attritubes such a view to Kant.I argue that this initially plausible interpretation (...) is not correct, and that the "rational intuitionism" that it involves goes against Kant's whole approach to philosophy, in the first Critique as well as in the moral philosophy. I develop a new alternative interpretation, as follows: the categorical imperative is synthetic because it contains a claim about the causal/motivational power we have to act purely from the motive of duty, without any assistance from "sensible" or empirical motives, such as pleasure or pain. This claim, qua motivational, goes beyond the meaning of the categorical imperative considered as a mere ethical precept. It is a priori because this motive's source is the noumenal self.Hence to justify the categorical imperative is to show that this sort of non-sensible motive is or could be active in us as agents, and Kant is an "internalist": one who believes that morality and motivation are internally, analytically connected. Nach Kant ist der kategorische Imperativ ein synthetischer Satz a priori. Kant könnte damit sagen wollen, wir hätten in die grundlegende moralische Wahrheit, die der kategorische Imperativ darstellt, eine vernünftige Einsicht a priori, die unserer Wahrnehmung der Formen, wie Plato sie sieht, vergleichbar wäre. W. D. Ross vertrat eine ähnliche Auffassung von einer vernünftigen menschlichen Einsicht in gewisse grundlegende moralische Prinzipien, und in seinem Buch "Kant's Ethical Theory" schreibt er diese Auffassung auch Kant zu.Ich behaupte, daß diese auf den ersten Blick als plausibel erscheinende Interpretation nicht richtig ist, und daß der "rationale Intuitionismus", den sie impliziert, Kants philosophischem Ansatz, sowohl in der ersten Kritik als auch in der Moralphilosophie, ganz grundsätzlich widerspricht. Ich entwickele eine neue, alternative Interpretation: Der kategorische Imperativ ist synthetisch, weil er eine Behauptung über eine kausale/motivationale Kraft enthält, die uns zukommt und die uns befähigt, ohne irgendeine Unterstützung durch bloß empirische oder Beweggründe der Zweckrationalität wie Freude oder Schmerz allein aus der Vorstellung der Pflicht heraus zu handeln. Soweit sie den vernünftigen Beweggrund zu handeln betrifft, geht die Behauptung über die Bedeutung des kategorischen Imperativs als eines rein ethischen Gebots hinaus. Sie ist a priori, da die Quelle des vernünftigen Beweggrunds das noumenale Ich ist.Jede Rechtfertigung des kategorischen Imperativs muß folglich zeigen, daß die fragliche Art vernünftiger Beweggründe, die nicht Beweggründe bloßer Zweckrationalität sind, in uns als Handelnden aktiv ist oder jedenfalls aktiv sein könnte und daß Kant insoweit ein "Internalist" ist: das ist jemand, der meint, Moral und Motivation seien innerlich, analytisch miteinander verbunden. (shrink)

The paper explores the status of the proposition "God exists" in late scholastic debates of the sixteenth and seventeenth centuries in some key authors of the era. A proposition is said to be self-evident if its truth is known solely from the meaning of the terms and is not inferred from other propositions. It does not appear to be immediately evident from the terms that God exists, for the concept expressed by "God" is based on the relation to creatures (...) and negation of imperfection and does not reach to the divine essence. Thomas Aquinas maintains that there are two types of self-evident propositions: those self-evident in themselves but not to us and those self-evident in themselves as well as to us. "God exists" is of the fi rst type. For Scotus a self-evident proposition is such that if its terms are conceived by any intellect, the truth of the proposition becomes known from the terms, non-inferentially. In his view there is no distinction between a self-evident proposition in itself and that in relation to us, because any proposition self-evident in itself is known to be such to any intellect, even though it might not be actually known; it would be known, provided that the terms are conceived. So for Scotus the sentence "God exists" expresses diff erent propositions for the blessed in heaven, the angels and God on the one hand and humans on the other. The former is self-evident, the latter is not. While later scholastics accept either the solution of Thomas or that of Scotus, according to which "God exists" is not self-evident for humans, Thomas de Argentina diff ers in that for him "God exists" is self-evident for humans too. The position of Thomas Aquinas was defended by Domingo Ban¯ez, Francisco Zumel and Gregorio de Valentia. In contrast, Johannes Poncius was a famous adherent of Scotus. There is a fair number of scholastics harmonizing the doctrine of Thomas and Scotus: Bernard Sannig, Luis de Molina, Gabriel Vázquez, Rodrigo de Arriaga and Jean Lalemandet. According to these authors, when Thomas says that "God exists" is self-evident in itself, he speaks about the extensional proposition, i.e. the state of affairs being conceptualized, which does not contradict Scotus’s teaching. © FILOSOFIA, 2013. (shrink)

. In the XIXth century there was a persistent opposition to Aristotelian logic. Nicolai A. Vasiliev (1880–1940) noted this opposition and stressed that the way for the novel – non-Aristotelian – logic was already paved. He made an attempt to construct non-Aristotelian logic (1910) within, so to speak, the form (but not in the spirit) of the Aristotelian paradigm (mode of reasoning). What reasons forced him to reassess the status of particular propositions and to replace the square of opposition by (...) the triangle of opposition? What arguments did Vasiliev use for the introduction of new classes of propositions and statement of existence of various levels in logic? What was the meaning and role of the “method of Lobachevsky” which was implemented in construction of imaginary logic? Why did psychologism in the case of Vasiliev happen to be an important factor in the composition of the new ‘imaginary’ logic, as he called it? (shrink)

The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...) is devised specially for symmetric, i.e. Blogics. GSC I and GSC II are not different formalizations, from the theoretical point of view GSC I may be seen as a simplification of the more general approach present in GSC II. They are considered separately, mainly because Blogics demand different, and more complicated, strategy in completeness proof, whereas non symmetric logics are easily and uniformly characterised by means of Fitting's Consistency Properties. The weakest modal logic captured by this formalization is minimal regular logic C, but many stronger logics are obtainable by addition of suitable structural rules, which conforms to Do en's methodology. Both variants of GSC satisfy also other, besides cut-freedom, desirable properties. (shrink)

The reason for characterizing mental states as propositional attitudes is sentence form: ‘S Vs that p’. However, many mental states are not ascribed by means of such sentences, and the sentences that ascribe them cannot be appropriately paraphrased. Moreover, even if a paraphrase were always available, that in itself would not establish the characterization. And the mental states that are ascribable by appropriate senses do not form any natural subset of mental states. A reason for the characterization relying on (...) beliefs, etc., about non‐existing things is also rejected. Last, some sentences ascribing abilities and dispositions have the same grammatical form as some senses that ascribe mental states, so that the attempt to paraphrase the latter would obscure the conceptual relations between the two sorts. It follows that mental states are not relations to propositions. (shrink)

Thirteen seminal essays by Mark Richard develop a nuanced account of semantics and propositional attitudes. The collection addresses a range of topics in philosophical semantics and philosophy of mind, and is accompanied by a new Introduction which discusses attitudes realized by dispositions and other non-linguistic cognitive structures.