We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in $\Delta _2^0 $ T-degrees for which there is a low T-upper bound.

Kuera, A., On relative randomness, Annals of Pure and Applied Logic 63 61–67. It is the aim of the paper to answer a question raised by M. van Lambalgen and D. Zambella whether there can be a nonrecursive set A having the property that there is a set B such that B is 1-random relative to A and simultaneously A is recursive in B. We give apositive answer to this question as well as further information about relative randomness.

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

We show that certain classes of modules have universal models with respect to pure embeddings: Let R be a ring, T a first‐order theory with an infinite model extending the theory of R‐modules and (where ⩽pp stands for “pure submodule”). Assume has the joint embedding and amalgamation properties. If or, then has a universal model of cardinality λ. As a special case, we get a recent result of Shelah [28, 1.2] concerning the existence of universal reduced torsion‐free abelian groups with (...) respect to pure embeddings.We begin the study of limit models for classes of R‐modules with joint embedding and amalgamation. We show that limit models with chains of long cofinality are pure‐injective and we characterize limit models with chains of countable cofinality. This can be used to answer [18, Question 4.25].As this paper is aimed at model theorists and algebraists an effort was made to provide the background for both. (shrink)

Demuth tests generalize Martin-Löf tests in that one can exchange the m-th component a computably bounded number of times. A set fails a Demuth test if Z is in infinitely many final versions of the Gm. If we only allow Demuth tests such that GmGm+1 for each m, we have weak Demuth randomness.We show that a weakly Demuth random set can be high and , yet not superhigh. Next, any c.e. set Turing below a Demuth random set is strongly jump-traceable.We (...) also prove a basis theorem for non-empty classes P. It extends the Jockusch–Soare basis theorem that some member of P is computably dominated. We use the result to show that some weakly 2-random set does not compute a 2-fixed point free function. (shrink)

The paper discusses the role of language and culture in the context of quantitative text analysis in psychological research. It reviews current automatic text analysis methods and approaches from the perspective of the unique challenges that can arise when going beyond the default English language. Special attention is paid to closed-vocabulary approaches and related methods, both from the perspective of cross-cultural research where the analytic process inherently consists of comparing phenomena across cultures and languages and the perspective of generalizability beyond (...) the language and the cultural focus of the original investigation. We highlight the need for a more universal and flexible theoretical and methodological grounding of current research, which includes the linguistic, cultural, and situational specifics of communication, and we provide suggestions for procedures that can be implemented in future studies and facilitate psychological text analysis across languages and cultures. (shrink)

Studie pojednává o významu a smyslu židovského šabatu pro hospodářskou společnost, která ztrácí vědomí sounáležitosti člověka se světem a přírodou. Myšlenkový potenciál šabatu nabízí jedno z podstatných ozdravných východisek pro odcizení člověka a jeho práce. Filozofické hledání smyslu práce a volného času nachází odpověď v rámcovém pojetí smyslu lidské činnosti, pravidelného odpočinku a hodnoty času. Šabat obsahuje poselství pro vnímání světa jako hodnotného prostoru pro život a odpovědnou práci s perspektivou minulosti, přítomnosti a budoucnosti.

It is well known that the manner in which a definitely descriptive term contributes to the meaning of a sentence depends on the place the term occupies in the sentence. A distinction is accordingly drawn between ordinary contexts and contexts variously termed non-referential, intensional, oblique, or opaque. The aim of the present article is to offer a general account of the phenomenon, based on transparent intensional logic. It turns out that on this approach there is no need to say (as (...) Frege does) that descriptive terms are referentially ambiguous or to deny (as Russell does) that descriptive terms represent self-contained units of meaning. There is also no need to tolerate (as Montague does) exceptions to the Principle of Functionality. The notion of an ordinary (i.e., non-intensional) context is explicated exclusively in terms of logical structure and it is argued that two aspects of ordinariness (termed hospitality and exposure) must be distinguished. (shrink)

A positive answer to a question of M. van Lambalgen and D. Zambella whether there exist nonrecursive sets that are low for the class of random sets is obtained. Here a set A is low for the class RAND of random sets if RAND = RAND A.

It is widely held that oblique contexts and indexical terms present difficulties to Frege's theory of sense. The aim of the present paper is to show that a simple device involving no revision of Frege's semantic doctrine resolves all the alleged difficulties. A simple extension of Frege's notation is proposed which makes it possible to translate oblique contexts into the concept script.

Jan Patočka’s philosophical development was varied. Over the course of fifty years of philosophizing, he gradually, and to varying degrees, developed close to a dozen systematic projects, whose ambition was, at least initially, to present what he called a “unified philosophy.” However, the dynamism with which he changed his philosophical plans and incessantly embarked on new projects invites the question of how to approach the various and often mutually “contradictory” transformations of his philosophical thinking, if neither the continuity and integrity (...) of Patočka’s thought nor the essential specificity of any of these positions is to be lost. Through the notion of the “personal a priori” found in one of Jan Patočka’s early texts, and in a critical, “overcoming-preserving” reference to two antagonistic conceptions of Patočka’s philosophical development, the article attempts to sketch a solution to this general interpretative problem. In the context of the search for Patočka’s “basic position of seeing” as the integrating framework of his diverse philosophical attempts, it simultaneously reconstructs the early question about the meaning of philosophy in general, which Patočka developed in a series of texts from the 1930s, some of which are still available only in the Czech language. (shrink)

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).

European Journal of Philosophy, EarlyView.

In my comment on Katerina Ierodiakonou’s paper, I outline my understanding of the programme of De anima and how it bears on Aristotle’s discussion of the transparent in De anima 2.7, in contrast with his discussion of the transparent in De sensu 3. I then explore Aristotle’s notion of transparency and sketch an alternative to Ierodiakonou’s interpretation of Aristotle’s views as to how colours are generated in physical objects. At the end, I raise two objections to Alexander’s interpretation of the (...) transparent as discussed by Ierodiakonou. (shrink)

Buzaglo (as well as Manders (J Philos LXXXVI(10):553–562, 1989)) shows the way in which it is rational even for a realist to consider ‘development of concepts’, and documents the theory by numerous examples from the area of mathematics. A natural question arises: in which way can the phenomenon of expanding mathematical concepts influence empirical concepts? But at the same time a more general question can be formulated: in which way do the mathematical concepts influence empirical concepts? What I want to (...) show in the present paper can be described as follows. The problem articulated by Buzaglo deserves some semantic refinements. Following explications are needed: What is meaning? (In particular: What are concepts?) What are questions? (Or, equivalently: Semantics of interrogative sentences.) -/- Further, a useful notion will be the notion of problem. Taking over the notion of conceptual system from Materna (Conceptual Systems. Logos, Berlin, 2004) and using Tichý’s Transparent intensional logic (TIL) I can try to solve the problem of the relation between mathematical and empirical concepts (not only for the case of expanding some mathematical concepts). (shrink)

The paper deals with the etymology of the personal names Qunï Säŋün and Toŋra Simä appearing in the ninth line of the Old Turkic Tonyukuk inscription. These names are borne by the envoys sent by the kagan of the Tokuz Oghuz to the Chinese and Khitan, respectively, to conclude a military alliance against the Turks. Both names have the same structure, a combination of an ethnonym vs. toŋra), referring to a tribal unit within the Tiele 鐵勒 confederation, and a title (...) of Chinese origin. Based on a thorough analysis of historical and philological data, the authors try to establish possible ethnolinguistic grounds for the Tokuz Oghuz mission, which have so far eluded researchers of the inscription and can be fully restored only in the light of the latest discoveries in the history and philology of Inner Asia of the Old Turkic period, e.g., the decipherment of the famous Khüis Tolgoi inscription from Mongolia. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:RUSSELLS ARGUMENT AGAINST FREGE'S SENSE-REFERENCE DISTINCTION PAWEL TURNAu Philosophy I Jagiellonian University Cracow, Poland I n "On Denoting"l Russell argued that Frege's theory of sense and reference was an "inextricable tangle", but, ironically, many readers found the argument even more knotry. In an effort to make sense of it, commentators were often driven to attribute to Russell quite obvious and simple fallacies. A different approach was taken by Peter (...) Geach, who suggested that Russell's argument could be given a consistent reading if it were construed as arguing, not against Frege's theory, but against Russell's own earlier theory, which he put forward in The Principles of Mathematics. It is not an implausible hypothesis, considering how prone Russell was to misrepresent' other philosophers' views and read his own powerful ideas into their writings. In order to justifY Geach's hypothesis properly, one would have to show the crucial difference between Russell's and Frege's theories that made only one of them susceptible to the attack in "On Denoting ". Russell explicitly considered the two theories to be "very nearly the same"; this self-interpretation would have to be questioned. Geach's hypothesis would be further strengthened by providing an actual exegesis of the "On Denoting" argument as directed against The Principles ofMathematics theory. In this paper 1 will try to accomplish both of these tasks. Russell is often accused of confusing use and mention. The accusation is not fair, however. It is true that he does not insist on this distinction; he does not employ it extensively. But he is certainly Russell's Argument against Frege's Distinction 53 aware of it; he simply does not think that it is an important logical distinction. Today this view may seem almost incomprehensible, but that only shows the strength of Frege's influence on our ideas. There are two striking symptoms of Russell's lack of concern for the use-mention distinction: firstly, he does not observe the convention which says that putting an expression in quotation marks produces a name of that expression; secondly, he does not feel any need to employ the pair of terms "sentence" and "proposition", but contents himself with the latter only. The claim about Russell's use of inverted commas needs to be proved; I will come to that later. Russell's assertions are often ambiguous between use and mention of expressions. For example, he asserts that "propositions do not contain words" (PaM, p. 47). However, a few pages later, he speaks of propositions that contain the phrase "any number" (p. 53). If this is not to be self-contradictory, then either the term "proposition" must sometimes signifY a linguistic expression, or the term "phrase" must sometimes be understood without implying that a phrase consists of words. This ambiguity is openly admitted in a later article, where he writes: [we shall be concerned with] the distinction between verbs and substantives, or, more correctly, between the objects denoted by verbs and the objects denoted by substantives. Since this more correct expression is long and cumbrous, I shall generally use the shorter expression to mean the same thing. Thus, when I speak of verbs, I mean the object denoted by verbs, and similarly for substantives.2. Russell's attitude towards the distinction between use and mention is not unjustified. It has its reason in his view oflanguage and the subject -matter of logic. In Russell's view, the subject-matter of logic has nothing to do with language. Words, both spoken and written, are entirely outside its realm. Logic, just as other sciences (except linguistics ), is concerned with the entities indicated by words, and not with words themselves. Even the relation of indicating, which holds between words and things in the world, is of no interest to it: "mean1 In Lf(, pp. 39-56. russ.lI: the Journal of the Bertrand Russell Archives McMaster Univecsity Library Press n.s. 11 (summer 1991): 51- 66 ISSN 0036-o16~ 2 B. Russell, "On the Relations of Universals and Particulars", Proceedings of the Aristotelian Society, n.s. 12 (r9II-12): 1-24; in Lf(, pp. 103-24 (at 107-8). 54 PAWEL TURNAU Russell's Argument... (shrink)

We give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies ψ₁, ψ₂,... s.t. every K-proof of ψi must have a number of proof-lines exponential in terms of the size of ψi. The result extends, for the same sequence of K-tautologies, to the systems K4, Gödel—Löb's logic, S and S4. We also determine some speed-up relations between different systems of modal logic on formulas of modal-depth one.

Pár slov úvodem k dopisu, který poslal Pavel Tichý z University of Otago Pavlu Maternovi (který v té době ´pracoval´ na brněnské univerzitě bez možnosti učení a publikování). K dataci dopisu: Shoduji se s odhadem Dr. Raclavského, že jde patrně o r. 1975. Ti, kdo neprožili normalizaci, si těžko představí situaci. To nebylo tak, že můj přítel Tichý momentálně působí na Novém Zélandě a píše mi z momentálního zahraničního pobytu. Tichý byl emigrant, což mj. znamenalo, že žádnou z jeho (...) odborných statí nebylo možno u nás citovat, dále že dík faktu, o kterém každý věděl, že dopisy emigrantů jsou u nás na příslušných institucích otvírány, znamenala korespondence s emigrantem kádrovou skvrnu. O tom jsem tehdy nepřemýšlel, už proto, že četba Tichého dopisů byla nesmírně zajímavá. Byl jsem na shromažďování korespondence lajdák. Moje krátkozrakost zavinila, že se z této korespondence zachoval nepatrný zlomek. Dopis, který následuje, je ovšem obzvlášť zajímavý, a to z následujícího důvodu: Tichý měl už od šedesátých let – ještě v Československu – v hlavě zárodky svého přístupu k logice a logické analýze přirozeného jazyka (svědčí o tom jeho stati v tehdejším Filosofickém časopise, zejména stať „Smysl a procedura“ z r. 1968). Dopis, který zde uveřejňujeme, má však hodnotu historického dokumentu. Jde o první ´neformální´ formulaci jeho pojetí tzv. konstrukcí a jeho postoje k logice, což se postupně promítlo do systému Transparentní intenzionální logiky (TIL), vyloženého souvisle v monografii The Foundations of Frege´s Logic, vydané asi 13 let po tomto dopisu. Ze vzhledu dopisu je patrné, že byl psán na psacím stroji, což v těch letech bylo standardní. Musíme omluvit překlepy (ostatně to byl osobní dopis), pokud jde o nespisovnosti, vím, že Tichý ovládal češtinu velmi dobře, ale dával přednost psát přirozeně, blízko k hovorové češtině. Jistě připustíte, že jeho jazyk je zde velmi živý a že úpravy směrem ke spisovnému jazyku by narušily kouzlo bezprostřednosti a jistého emocionálního zaujetí, které z dopisu vyzařuje. Tichý posílal mně a Pavlovi Cmorejovi i nadále jednak osobní dopisy, jednak rukopisy svých statí, takže jsme měli výhodu být účastni procesu budování TIL, kterou oba (a dnes už nejenom my) pokládáme za podstatný přínos ke světové logice. --Pavel Materna. (shrink)

The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.

Osvald Demuth studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notions of effective null set which, when phrased in classical language, yield a number of major algorithmic randomness notions. In addition, he proved several results connecting constructive analysis and randomness that were rediscovered only much later.In this paper, we trace the path that took Demuth from his constructivist roots to his deep and innovative work on the (...) interactions between constructive analysis, algorithmic randomness, and computability theory. We will focus specifically on Demuth’s work on the differentiability of Markov computable functions and his study of constructive versions of the Denjoy alternative, Demuth’s independent discovery of the main notions of algorithmic randomness, as well as the development of Demuth randomness, and the interactions of truth-table reducibility, algorithmic randomness, and semigenericity in Demuth’s work. (shrink)

There are no moral entitlements with respect to pollution prior to legal conventions that establish them, or so I will argue. While some moral entitlements precede legal conventions, pollution is part of a category of harms against interests that stands apart in this regard. More specifically, pollution is a problematic type of harm that creates liability only under certain conditions. Human interactions lead to harm and to the invasion of others’ space regularly, and therefore we need an account of undue (...) harm as a basis of assigning legal protections and obligations to different agents, which creates standards for holding those agents responsible for harm. Absent such positive standards with respect to pollution at the domestic or international level, it does not make sense to hold agents responsible. This fact has two fundamental implications. First, contrary to what some defenders of environmental justice argue, we cannot hold people responsible for polluting without a system of legal rights in place that assigns entitlements, protections, and obligations, and second, contrary to what opponents of environmental regulation claim, the lack of moral entitlements to pollute creates room for quite extensive legal restrictions on people’s ability to pollute for the sake of the environment and human health. Indeed the scope of those restrictions is wide and open-ended. (shrink)

The article offers a rigorous truth condition for subjunctively conditional statements. The theory is framed in the system of transparent intensional logic and takes connections (especially the cause-Effect relation) as basic. Counterexamples are given to rival theories based on the notion of world similarity.

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)

Lukács has had a colorful career as a Communist theoretician. One of the strangest events is the fact that he continued to recant in 1967, when there was no longer the external pressure to do so. This may be due to the fact that his differences with Marx on subject-object, praxis, etc., are not those of a humanist.