This paper describes some important classes of two degrees of freedom of underactuated mechanical system and also surveys review of the recent state-of-the-art concerning the mathematical modeling of these systems, their classification, and all the control strategies that have been made so far to control these systems. Future research and challenges concerning the improvement, the effectiveness, and robustness of the proposed controllers for underactuated mechanical systems are presented.

According to truth-conditional semantics, to explain the meaning of a statement is to specify the conditions necessary and sufficient for its truth. This book develops a more radical mentalist semantics by shifting the object of semantic inquiry. Classical semantics analyzes an abstract sentence or utterance such as "Grass is green"; in attitudinal semantics the object of inquiry is a propositional attitude such as "Speaker so-and-so thinks grass is green".

Moral philosophers widely believe that it is a part of the MEANING of 'ought' statements that they imply 'can' statements. To this thesis I offer three challenges, and then I conclude on a broader methodological note. (1) Epistemological Modal Argument: for all we know, determinism is true; determinism contradicts “ought implies can”; therefore we don’t know that 'ought' implies 'can'. (2) Metaphysical Modal Argument: determinism is conceptually possible; determinism contradicts “ought implies can”; therefore “ought implies can” is not an analytic (...) truth. (3) Semantic Argument: “You ought to X” is equivalent to “Do X!”; but “Do X!” does not entail that you can X, according to leading analyses of the imperative. (4) My two modal arguments are epistemologically significant, for they illustrate a general method for refuting a whole class of argument. (shrink)

Quote marks, I claim, serve to select from the multiple ostensions that are produced whenever any expression is uttered; they act to constrain pragmatic ambiguity or indeterminacy. My argument proceeds by showing that the proffered account fares better than its rivals-the Name, Description, Demonstrative, and Identity Theories. Along the way I shall need to explain and emphasize that quoting is not simply the same thing as mentioning. Quoting, but not mentioning, relies on the use of conventional devices.

For a regular cardinal κ with κ<κ = κ and κ ≤ λ , we construct generically a subset S of {x ∈ Pκλ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense but the stationarity of S can be destroyed by a κ+-c. c. forcing ℙ* which does not add any new element of Pκλ . Actually ℙ* can be chosen so that ℙ* is κ-strategically closed. However we show that such (...) ℙ* itself cannot be κ-strategically closed or even <κ-strategically closed if κ is inaccessible. (shrink)

We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side by-side product of partial orderings which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with ¬CH and Martin's axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club (...) principle for every stationary subset of limits of ω1 together with ¬CH and Martin's axiom for countable p.o.-sets. (shrink)

The Demonstrative Theory holds that quoted matter is logically external to the quoting sentence, that quotation marks are (demonstratively) referential, and that quotation marks are grammatically required for autonomous mentioning. In contrast, the Identity Theory holds that quoted matter is integral to its quoting sentence, that quotation marks serve merely as disambiguating punctuation, and that mentionings need not be quotation-marked. I support the Identity Theory by pointing out fallacies in the arguments for demonstrative theories and by considering empty quotation, ordinary (...) language as found in casual use and in novels and plays, and historical and developmental facts about quotation. (shrink)

The utterance of any expression x ostends or makes manifest the customary referent of x, x itself, and related matter. If x appears in quotation marks then the presumed intention behind the utterance is to pick out something other than the customary referent (either instead of it or in addition to it). The consequences of these ideas, taken from my 1998 work, are here drawn out in application to a variety of quotations: metalinguistic citation, reported speech, scare-quoting, echo-quoting, loan words, (...) and titles. (shrink)

Understanding quotation is fundamental to understanding the nature of truth and meaning. Quotation, however, is a remarkably complicated phenomenon, and a vigorous literature on the topic has been growing at an increasing rate.§1 To give you a sense of this work, §1 enlarges upon the significance of studying quotation; §2 presents a rudimentary taxonomy of quotation; and §3 critically surveys theories of how quotation works.

The chapters in this volume address a variety of issues surrounding quotation, such as whether it is a pragmatic or semantic phenomenon, what varieties of quotation exist, and what speech acts are involved in quoting. Quotation poses problems for many prevailing theories of language. One fundamental principle is that for a language to be learnable, speakers must be able to derive the truth-conditions of sentences from the meanings of their parts. Another popular view is that indexical expressions like "I" display (...) a certain fixity -- that they always refer to the speaker using them. Both of these tenets appear to be violated by quotation. This volume is suitable for scholars in philosophy of language, semantics, and pragmatics, and for graduate students in philosophy and linguistics. The book will also be useful for researchers in other fields that study quotation, including psychology and computer science. (shrink)

We study L∞κ-freeness in the variety of Boolean algebras. It is shown that some of the theorems on L∞κ-free algebras which are known to hold in varieties such as groups, abelian groups etc. are also true for Boolean algebras. But we also investigate properties such as the ccc of L∞κ-free Boolean algebras which have no counterpart in the varieties above.

This note concerns the model theoretic properties of logics extending the first-order logic with monadic second-order variables equipped with the stationarity quantifier. The eight variations of the strong downward Löwenheim–Skolem Theorem down to <ℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$<\aleph _2$$\end{document} for this logic with the interpretation of second-order variables as countable subsets of the structures are classified into four principles. The strongest of these four is shown to be equivalent to the conjunction of CH and the (...) Diagonal Reflection Principle for internally clubness of S. Cox. We show that a further strengthening of this SDLS and its variations follow from the Game Reflection Principle of B. König and its generalizations. (shrink)

This paper discusses empty quotation (‘’ is an empty string) and lexical quotation (his praise was, quote, fulsome, unquote), it challenges the minimal theory of quotation (‘ “x” ’ quotes ‘x’) and it defends the identity theory of quotation. In the process it illuminates disciplinary differences between the science of language and the philosophy of language. First, most philosophers assume, without argument, that language includes writing, whereas linguists have reason to identify language with speech (plus sign language). Second, philosophers tend (...) to think of languages as abstract objects whereas linguists tend to think of them as natural objects. These foundational differences help to explain disagreements in grammaticality judgments and consequent disagreements in semantic theory. (shrink)

I focus on one approach to understanding quotation, the identity theory; I delineate varieties thereof; and I cite some considerations for favoring a speech-act version. Along the way we shall see how the study of quotation can illuminate the general conflict between speech-act semantics and formal semantics, and we shall see fresh arguments for insisting that the mechanism of quotation is referentially indeterminate.

This article shows how, in recent works of cultural analysis, the concept of ‘assemblage’ has been been derived from key sources of theory and put to work to provide a structure-like surrogate to express certain prominent values of a modernist sensibility in the discourse of description and analysis. Assemblage is a sort of anti-structural concept that permits the researcher to speak of emergence, heterogeneity, the decentred and the ephemeral in nonetheless ordered social life. There are other related concepts, like collage, (...) which have been used to give these values substance in research, but currently assemblage is enjoying a popularity perhaps because of the continuing fascination of the work of Deleuze and Guattari. (shrink)

A partial ordering P is said to have the weak Freese-Nation property if there is a mapping tf : P → [P]0 such that, for any a, b ε P, if a b then there exists c ε tf∩tf such that a c b. In this note, we study the WFN and some of its generalizations. Some features of the class of Boolean algebras with the WFN seem to be quite sensitive to additional axioms of set theory: e.g. under CH, (...) every ccc complete Boolean algebra has this property while, under b 2, there exists no complete Boolean algebra with the WFN. (shrink)

Section 1 discerns ambiguity in the word “truth”, observing that the term is used most naturally in reference to truth-bearers rather than truth-makers. Focusing on truths-as-truth-bearers, then, it would appear that alethic realism conflicts with metaphysical realism as naturalistically construed. Section 2 discerns ambiguity in the purporting of truth (as in assertion), conjecturing that all expressions, not just those found in traditionally recognized opaque contexts, can be read intensionally (as well, perhaps, as extensionally). For instance, we would not generally want (...) to say that “The Matterhorn is 4,500 m high” expresses the same truth as “The Matterhorn is 14763.7795276 feet high” (or that it is true in the same range of utterance contexts), even though the two are extensionally equivalent. The reason is that they express different intensions. (shrink)

A Boolean algebra B is said to be openly generated if {A: A ≤rc B, |A| = ℵ0} includes a club subset of [ B]ℵ0 . We show: (V = L). For any cardinal κ there exists an L∞κ-free Boolean algebra which is not openly generated (Proposition 4.1). (MA+(σ-closed)). Every L∞ℵa -free Boolean algebra is openly generated (Theorem 4.2). The last assertion follows from a characterization of openly generated Boolean algebras under MA+(σ-closed) (Theorem 3.1). Using this characterization we also prove (...) the independence of problem 7 in Scepin [15] (Proposition 4.3 and Theorem 4.4). (shrink)

The principle of charity (“Charity”), in one form or other, is held by many and for various reasons. After cataloging discernible kinds of Charity, I focus on the most familiar versions as found in Davidson, Dennett, Devitt, Lewis, Putnam, Quine, Stich, and others. To begin with, I argue that such versions of Charity are untenable because beliefs cannot be counted, and even if they could be counted there is reason to believe that true beliefs need not outnumber false beliefs. Next (...) I rebut one of the arguments behind Charity, the intelligibility argument. If indeed beliefs are postulated simply as a way to make some system intelligible (predictable and explicable) then a number of theses ensue. First, it would be perfectly intelligible to ascribe mostly false beliefs to an intentional system, or even entirely false beliefs. Second, lower animals would have beliefs. Third, it would sometimes make sense to ascribe beliefs even to inanimate beings. And fourth, the resulting indeterminacy of belief-ascription would suggest a kind of irrealism about belief which may in turn be expressed by the slogan that rejects the container metaphor of the mind. (shrink)

The use of super‐resolution imaging techniques in cell biology has yielded a wealth of information regarding cellular elements and processes that were invisible to conventional imaging. Focusing on images obtained by stimulated emission depletion (STED) microscopy, we discuss how the new high‐resolution data influence the ways in which we use and interpret images in cell biology. Super‐resolution images have lent support to some of our current hypotheses. But, more significantly, they have revealed unexpectedly complex processes that cannot be accounted for (...) by the simpler models based on diffraction‐limited imaging. The super‐resolution imaging data challenge cell biologists to change their theoretical framework, by including, for instance, interpretations that describe multiple functions, functional errors or lack of function for cellular elements. In this context, we argue that descriptive research using super‐resolution microscopy is now as necessary as hypothesis‐driven research. (shrink)

Continuing [6], [8] and [16], we study the consequences of the weak Freese-Nation property of (?(ω),⊆). Under this assumption, we prove that most of the known cardinal invariants including all of those appearing in Cichoń's diagram take the same value as in the corresponding Cohen model. Using this principle we could also strengthen two results of W. Just about cardinal sequences of superatomic Boolean algebras in a Cohen model. These results show that the weak Freese-Nation property of (?(ω),⊆) captures many (...) of the features of Cohen models and hence may be considered as a principle axiomatizing a good portion of the combinatorics available in Cohen models. (shrink)

The following results are proved: In a model obtained by adding ℵ 2 Cohen reals , there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. Modulo the consistency strength of a supercompact cardinal , the existence of a c.c.c. complete Boolean algebra without the weak Freese-Nation property is consistent with GCH. If a weak form of □ μ and cof =μ + hold for each μ >cf= ω , then the weak Freese-Nation property of 〈 P (...) ,⊆〉 is equivalent to the weak Freese-Nation property of any of C or R for uncountable κ . Modulo the consistency of ↠ , it is consistent with GCH that C does not have the weak Freese-Nation property and hence the assertion in does not hold , and also that adding ℵ ω Cohen reals destroys the weak Freese-Nation property of 〈 P , ⊆ 〉 . These results solve all of the problems except Problem 1 in S. Fuchino, L. Soukup, Fundament. Math. 154 159–176, and some other problems posed by Geschke. (shrink)

According to orthodox semantics, to know the meaning of a sentence is to know its truth-conditions. Against this view I observe that we typically do not know the truth-conditions of the sentences we understand. We do not know the truth-conditions, for instance, of empty definite descriptions, non-declaratives, subjunctive conditionals, causal ascriptions, belief ascriptions, probability statements, figurative language, category mistakes, normative judgments, or vague statements. Appealing to tacit knowledge does not help, for the problem goes beyond our inability to articulate complete (...) truth-conditions: even full knowledge of the world’s condition would leave us unable to say whether an arbitrary sentence was true or false. (shrink)

Solovay’s random-real forcing [R.M. Solovay, Real-valued measurable cardinals, in: Axiomatic Set Theory , Amer. Math. Soc., Providence, R.I., 1971, pp. 397–428] is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay’s model that do not follow from the existence of real-valued measurability.

We prove that the automorphism group ofP(ω)/fin remains simple if ℵ2 Cohen reals are added to a model of ZFC+CH.

Continuing, we study the Strong Downward Löwenheim–Skolem Theorems of the stationary logic and their variations. In Fuchino et al. it has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters \. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size \. We also consider a version of the stationary logic and show that the SDLS for this logic in internal interpretation (...) \\) for reflection down to \ is consistent under the assumption of the consistency of ZFC \ “the existence of a supercompact cardinal” and this SDLS implies that the continuum is weakly Mahlo. These three “axioms” in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be \ or \ or very large respectively. We also show that the existence of one of these generic large cardinals implies the “\” version of the corresponding forcing axiom. (shrink)

إن هذا المبحث ما هو إلا دراسة لذلك الشيء الغامض الذي دائما ما يناقشنا ويجادلنا ويحاورنا بل أحيانا يخاصمنا, هذا الشعور المتولد في داخلنا هو ما نسميه الإنسان الآخر.. هل ذلك الشعور هو حقيقة ثابتة أم جزء من الخيال نصنعه في محيطنا الذاتي لنجد صيقا نثق به, فنحاوره ونجادله, أعني هل هذا المتكون داخلنا هو جزء من الذات أم جزء من الخيال الذي نخترعه لنجد الصديق الحقيقي الذي كثيرا ما نحتاجه, فلن يوجد أحد صادق كصدق ذلك الآخر المتولد والمتشكل داخلنا (...) في لحظات ما.. إنه الإنسان الآخر فتعالوا ندرسه ونفهمه ولو قليلا..! (shrink)