Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...) attempt to solve Hume’s problem is also both obscure and controversial. Russell accepted that Hume’s reasoning about induction was basically correct, but he argued that given the centrality of induction in our cognitive endeavors something must be wrong with Hume’s basic assumptions. What Russell effectively identified as Hume’s (and Reichenbach’s) failure was the commitment to a purely extensional empiricism. So, Russell’s solution to the problem of induction was to concede extensional empiricism and to accept that induction is grounded by accepting both a robust essentialism and a form of rationalism that allowed for a priori knowledge of universals. So, neither of those doctrines is without its critics. On the one hand, Reichenbach’s solution faces the charges of obscurity and of offering no response to the inductive skeptic. On the other hand, Russell’s solution looks to be objectionably ad hoc absent some non-controversial and independent argument that the universals that are necessary to ground the uniformity of nature actually exist and are knowable. This particular charge is especially likely to arise from those inclined towards purely extensional forms of empiricism. In this paper the significance of Reichenbach’s solution to the problem of induction will be made clearer via the comparison of these two historically important views about the problem of induction. The modest but important contention that will be made here is that the comparison of Reichenbach’s and Russell’s solutions calls attention to the opposition between extensional and intensional metaphysical presuppositions in the context of attempts to solve the problem of induction. It will be show that, in effect, what Reichenbach does is to establish an important epistemic limitation of extensional empiricism. So, it will be argued here that there is nothing really obscure about Reichenbach’s thoughts on induction at all. He was simply working out the limits of extensional empiricism with respect to inductive inference in opposition to the sort of metaphysics favored by Russell and like-minded thinkers. (shrink)

My modest aim in this paper is to prove certain relations between some type of hyper-intensional operators, namely context shifting operators, and compositionality in natural languages. Various authors (e.g. von Fintel & Matthewson 2008; Stalnaker 2014) have argued that context-shifting operators are incompatible with compositionality. In fact, some of them understand Kaplan’s (1989) famous ban on context-shifting operators as a constraint on compositionality. Others, (e.g. Rabern 2013) take contextshifting operators to be compatible with compositionality but, unfortunately, do not provide (...) a proof, or an argument in favor of their position. The aim of this paper is to do precisely that. Additionally, I provide a new proof that compositionality for propositional content (intension) is a proper generalization of compositionality for character (hyper-intensions). (shrink)

Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. This is Part 3 of a five-part introduction. The focus here is on explaining the semantic model for CAT4. Points in CAT4 graphs represent facts. We introduce all the formal (data) elements used in the classic semantic model: sense or intension (1st and 2nd joins), reference (3rd join), functions (4th join), (...) time and truth (logical fields), and symbolic content (name/value fields). Concepts are introduced through examples alternating with theoretical discussion. Some concepts are assumed from Part 1 and 2, but key ideas are re-introduced. The purpose is to explain the CAT4 interpretation, and why the data structure and CAT4 axioms have been chosen: to make the semantic model consistent and complete. We start with methods to translate information from database tables into graph DBs and into CAT4. We conclude with a method for translating natural language into CAT4. We conclude with a comparison of the system with an advanced semantic logic, the hyper-intensional logic TIL, which also aims to translate NL into a logical calculus. The CAT4 Natural Language Translator is discussed in further detail in Part 4, when we introduce functions more formally. Part 5 discusses software design considerations. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...) rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...) the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

I provide a characterization of weakly pseudo-rationalizable choice functions---that is, choice functions rationalizable by a set of acyclic relations---in terms of hyper-relations satisfying certain properties. For those hyper-relations Nehring calls extended preference relations, the central characterizing condition is weaker than (hyper-relation) transitivity but stronger than (hyper-relation) acyclicity. Furthermore, the relevant type of hyper-relation can be represented as the intersection of a certain class of its extensions. These results generalize known, analogous results for path independent choice (...) functions. (shrink)

Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, while intensional (...) realism is not, to the pessimistic induction. I reply that if extensional realism overcomes the pessimistic induction at all, that is because it implicitly relies on the theoretical resource of intensional realism. I also argue that extensional realism, by nature, cannot embed a criterion for distinguishing between believable and unbelievable theories. (shrink)

Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or Frege-Church-style (...) senses. The article identifies propositionalism with a specific variant of the Russellian strategy, reviews key arguments for propositionalism, and compares familiar varieties of propositionalism on the basis of instructive examples. It closes by discussing various challenges for propositionalism and suggesting a generalization of propositionalism that meets some of these challenges. Because of the association of propositions with semantic information, the article also addresses the more general question of whether all information content (including mental and pictorial content) is propositional. (shrink)

NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, in this article I will defend that this is not so. Instead of showing the limitations of Marshall’s undoubtedly impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our (...) preferred conception of property identity. (shrink)

This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The syntactic structure of the deontic “ought” has been much debated in philosophy and linguistics. Schroeder argues that the deontic “ought” is syntactically ambiguous in the sense that it can be associated with either a control or raising construction. He distinguishes between deliberative and evaluative “ought”s and argues that the deliberative “ought” is control while the evaluative “ought” is raising. However, if there is a control sense of “ought,” it implies that there is a sense of “ought” in which the (...) word carries an external argument. Chrisman (2012) proposes two linguistic tests to verify this prediction. I add a new test, which I call the intensionality test, to the list. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

This article discusses the extension of ViewGen, an algorithm derived for belief ascription, to the areas of intensional object identification and metaphor. ViewGen represents the beliefs of agents as explicit, partitioned proposition sets known as environments. Environments are convenient, even essential, for addressing important pragmatic issues of reasoning. The article concentrates on showing that the transformation of information in metaphors, intensional object identification, and ordinary, nonmetaphorical belief ascription can all be seen as different manifestations of a single environment-amalgamation process. The (...) article also briefly discusses the extension of ViewGen to speech-act processing and the addition of a heuristic-based relevance-determination procedure, and justifies the partitioning approach to belief ascription. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...) more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

Attempting to deflate ontological debates, the proponent of Quantifier Variance (QV) claims that there are multiple quantifier meanings of equal metaphysical merit. According to Hirsch—the main proponent of QV—metaphysical merit should be understood intensionally: two languages have equal merit if they allow us to express the same possibilities. I examine the notion of metaphysical merit and its purported link to intensionality. That link, I argue, should not be supported by adopting an intensional theory of semantic content. Rather, I give (...) a general strategy for supporting claims about metaphysical merit and examine whether that strategy can be used to link merit and intensionality. Though I don’t deliver a definitive verdict, the discussion provides a clearer framework for articulating and evaluating claims about metaphysical merit. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (shrink)

This article challenges the orthodox position that some smells are pleasantly fragrant and some tactile sensations are painful. It proposes that the affective components of our experiences are a kind of illusion. Under this alternative picture, experiences that seem to have positive or negative affect never actually do. Rather, the affective component is hyper-illusory, a second-order misrepresentation of the way things actually seem to us. While perceptual hyperillusions have elicited scepticism in other contexts, affective hyperillusions can withstand common critiques. (...) Focusing on the paradigmatic affective experience — pain — the article situates the hyperillusory account within the existing scientific and philosophical literature. Several theoretical advantages of positing a hyper-illusory structure to affective experiences emerge from the discussion. (shrink)

An “inferentialist” semantic theory for some language L aims to account for the meanings of the sentences of L solely in terms of the inferential rules governing their use. A “hyper-inferentialist” theory admits into the semantics only “narrowly inferential” rules that normatively relate sentences of L to other sentences of L. A “strong inferentialist” theory also admits into the semantics “broadly inferential” rules that normatively relate perceptual states to sentences of L or sentences of L to intentional actions. It (...) is widely thought that only the latter of these two sorts of semantic theories is at all viable. I argue here that the opposite is so. Negatively, strong inferentialism is viciously circular: including rules into the semantic theory that relate perceptual states to sentences of the language requires us to appeal, in individuating those perceptual states, to the very meanings for which we are supposed to be inferentially accounting. Hyper-inferentialism does not face this problem because it does not appeal to any nonlinguistic states. Positively, though hyper-inferentialism is widely thought to be a theoretical non-starter, I argue here that it is a genuine theoretical possibility insofar as it essentially includes cross-perspectival inferences, inferences along the lines of the one from the sentences “The ball is in front of n,” “The ball is red,” and “The lighting is good” to the sentence “n sees that the ball is red.” I make the further exegetical claim that Robert Brandom, though unanimously taken to be a strong inferentialist, is in fact a hyper-inferentialist. (shrink)

In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.

In this chapter, a new type Hyper groups are defined, corresponding basic properties and examples for new type Hyper groups are given and proved. Moreover, new type Hypergroups groups and are compared to hyper groups and groups. New type Hyper groups are shown to have a more general structure according to Hyper groups and groups. Also, new type SuperHyper groups are defined, corresponding basic properties and examples for new type SuperHyper are given and proved. Furthermore, (...) we defined neutro-new type SuperHyper groups. (shrink)

In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional (...) contexts and semantic equivalences. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...) that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

This paper advocates a new reading of Nelson Goodman’s new riddle of induction. According to Ian Hacking, this famous problem conveys a “pure nominalism”, as it grounds Goodman’s denial regarding the existence of natural kinds. While this interpretation is somewhat convincing, it suffers the major flaw of not corresponding to what Goodman himself understood by “nominalism”. Nominalism, in a goodmanian sense, is indeed primarily a technical demand, which stems from the so-called “calculus of individuals”. I argue that this mereological definition (...) of nominalism allows to understand the new riddle of induction afresh. As a result, Goodman’s riddle is “hyper-nominalist”, i.e., nominalist in a distinct and stronger sense than what Hacking suggested. (shrink)

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the (...) child was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (shrink)

With the transition of the pandemic-gripped labor market en masse to remote capabilities to avert from a national or international economic meltdown, a concern arises that many job seekers simply cannot fit into the new roles being developed and implemented. Beyond the loss of on-site work, the market is unable to reverse the loss of many roles that are, and have been, taken over by artificial (computer) intelligence systems. The “business-as-usual” mentality that many have come to associate with pre-pandemic life (...) supposedly took these losses into account, much to various societies’ detriment during this international crisis. And unlike at the turn of the millennium, the market has come to realize that it cannot function without advanced computer intelligence (CI) systems. Arguments can be made that humanity’s currently most sophisticated CI systems come nowhere near replicating the nuances that would prompt one to classify the system as being “human-like,” and that they will remain this way for the foreseeable future. However, what is conveniently ignored in this assessment is how not even three generations have passed since computer systems became an integral aspect of daily life. While the loss of work for humans as a result of this advancement of technology may not immediately reach concerning levels, it still begs the question of how society should react to a lack of non-specialized work and the value of “humanness” in the labor market. This work intends to explore these concepts and provide anticipatory guidance on how humanity should adapt. (shrink)

Ikigai is a Japanese concept, which, in brief, refers to the “reason or purpose to live”. I-risks have been identified as a category of risks complementing x- risks, i.e., existential risks, and s-risks, i.e., suffering risks, which describes undesirable future scenarios in which humans are deprived of the pursuit of their individual ikigai. While some developments in AI increase i-risks, there are also AI-driven virtual opportunities, which reduce i-risks by increasing the space of potential ikigais, largely due to developments in (...) generative AI, virtual worlds as well as AI-driven hyper-personalization. The purpose of this paper is to present a first attempt to map the potential AI-driven virtual hyper-personalised ikigai universe. Moreover, challenges and further ideas are presented. (shrink)

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...) which employs ideas made explicit by the former one. (shrink)

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...) for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in his career he invented intensional logic, simultaneously with Richard Montague, but published his version in 1971, slightly after Montague's 1970 papers, and has never been recognised for this achievement. But this was only the beginning of his work. He developed a highly original theory of semantics called (...) Transparent Intensional Logic, which is the basis of an important research program based in the Czech Republic and Slovenia. He published a wide range of original work in semantics, philosophy of logic and language, philosophy of science, and metaphysics; but despite the indisputable quality of this work, he has gained little contemporary recognition. This article provides a brief introduction to his work, focussing mainly on basic ideas of his intensional semantics and his theory of 'constructions'. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

The paper focuses on two apparent paradoxes arising from our use of intensional verbs: first, their object can be something which does not exist, i.e. something which is nothing; second, the fact that entailment from a qualified to a non-qualified object is not guaranteed. In this paper, I suggest that the problems share a solution, insofar as they arise in connection with intensional verbs that ascribe mental states. The solution turns on (I) a properly intensional or nonrelational notion of representation (...) and (II) a notion of “putting a representation on display”. (shrink)

Drawing on Adorno and Horkheimer's oft-quoted 1944 essay, “The Culture Industry: Enlightenment as Mass Deception,” Bernard Stiegler’s The Age of Disruption affirms that the Frankfurt School duo scrupulously envisaged a “new kind of barbarism,” or an inversion of modernity’s Enlightenment project illustrated by our contemporary political semblance. Surveying the critical social fissures that index contemporary Western civil society—from 9/11 to the 2002 Nanterre massacre and the 2015 Charlie Hebdo shooting—Stiegler diagnoses that our epoch is plagued by the “absence of epoch,” (...) whereby computational capitalism and algorithmic governmentality have extirpated the “transcendental imagination” underlying vital primordial narcissism. In short, these are symptoms a world increasingly “going mad,” in a thousand ways, possible because we are the bearers of “a negative protention of a becoming without future,” yet “we prefer not to say so: we do not want to know about it.”. (shrink)

El siguiente artı́culo intenta defender la tesis de que la distinción aristotélica entre enérgeia y kı́nesis debe ser comprendida de modo intensional (en contraposición a una lectura extensional), tomando como punto de partida su célebre aparición en Met IX 6. Sobre la base de la identificación del problema acerca del cual trata dicho pasaje, se toma en consideración otras apariciones de la distinción en Met IX 8, en la EE, en la EN y en otros textos, en orden a documentar, (...) en primer lugar, la vinculación de la distinción con la noción de érgon y, en segundo lugar, de qué modo dicha vinculación permite una lectura intensional de la distinción. Por último, se ofrece un argumento adicional para dicha lectura considerando la estructura teleológica de la acciones presentada por Aristóteles en EN I 1. (shrink)

Disciplinary issues -- Field studies -- Appendix: Theory of law : legal ethnography, or, the theoretical fruits of the inquiries into folkways. /// Reedition of papers in English spanning from 1995 to 2008 /// DISCIPLINARY ISSUES -- LAW AS CULTURE? [2002] 9–14 // TRENDS IN COMPARATIVE LEGAL STUDIES [2002] 15–17 // COMPARATIVE LEGAL CULTURES: ATTEMPTS AT CONCEPTUALISATION [1997] 19–28: 1. Legal Culture in a Cultural-anthropological Approach 19 / 2. Legal Culture in a Sociological Approach 21 / 3. Timely Issues of (...) Central and Eastern Europe 24 // COMPARATIVE LEGAL CULTURES? [2001] 29–48: 1. Legal Comparativism Challenged 29 / 2. Comparative Legal Cultures versus Comparative Law 34 / 3. Contrasting Fields 40 [a) The Historical Understanding of Socialist Law 42 / b) Convergence of Civil Law and Common Law 44] 4. Concluding Remarks 46 // THEATRUM LEGALE MUNDI: ON LEGAL SYSTEMS CLASSIFIED [2005] 49–75: 1. Preliminaries 49 / 2. Proposals 50 / 3. Impossible Taxonomy, or the Moment of Practicality in Legal Mapping 69 / 4. Diversity as a Fundamental Quality of Human Existence 74 // LEGAL TRADITIONS? IN SEARCH FOR FAMILIES AND CULTURES IN LAW [2004] 77–97: 1. Comparative Law and the Comparative Study of Legal Traditions 78 / 2. ‘System’, ‘Family’, ‘Culture’, and ‘Tradition’ in the Classification of Law 80 / 3. Different Traditions, Differing Ways of Thinking 85 / 4. Different Expectations, Differings Institutionalisations in Law 88 / 5. Different “Rationalities”, Differing “Logics” 92 / 6. Mentality in Foundation of the Law 94 / 7. Defining a Subject for Theoretical Research in Law 96 // SOMETHING NEW, SOMETHING OLD IN THE EUROPEAN IDENTITY OF LAW? [1995] 99–102 --- FIELD STUDIES -- MEETING POINTS BETWEEN THE TRADITIONS OF ENGLISH–AMERICAN COMMON LAW AND CONTINENTAL-FRENCH CIVIL LAW: DEVELOPMENTS AND EXPERIENCE OF POSTMODERNITY IN CANADA [2002] 105–130: I. Canadian Law in General 105 / II. Canadian Legal Developments in Particular [1. The Transformation of the Role of Precedents 112 / 2. The Transformation of Law-application into a Collective, Multicultural and Multifactorial Search for a Solution 116 / 3. Practical Trends of Dissolving the Law’s Positivity 120 / 4. New Prerogatives Acquired by Courts 125 {a) Unfolding the Statutory Provisons in Principles 126 / b) Constitutionalisation of Issues 127 / c) The Supreme Court as the Nation’s Supreme Moral Authority 129}] // MAN ELEVATING HIMSELF? DILEMMAS OF RATIONALITY IN OUR AGE [2000] 131–163: I. Reason and its Adventures 1. Progress and Advance Questioned 131 / 2. The Human Search for Safety Objectified 133 / 3. Knowledge Separated from Wisdom 135 / 4. Pure Intellectuality thereby Born 137 / II. The Will-Element Formalised in Law 5. Mere Voluntas in the Foundation of Legal Positivism 141 / 6. Formalism with Operations Fragmented 145 / III. The State of America Exemplified 7. “Slouching into Gomorrah” 147 / IV. Consequences 8. Utopianism-cum-Voluntarism 154 / 9. With Logic in Posterior Control of Human Formulations Only 159 / V. Perspectives 10. And a Final Resolution Dreamed about 161 // RULE OF LAW? MANIA OF LAW? ON THE BOUNDARY BETWEEN RATIONALITY AND ANARCHY IN AMERICA [2002] 165–180: {Transformation of American Law and Legal Mentality 165 / With Repercussions on the Underlying Ethos 168 / Legislation through Processualisation 170 / With Hyperrationalism Added 172 / Example: Finding Lost Property 172 / Practicalness Veiled by Verbal Magic 173 / Ending in Jurispathy 175 / Transubstantiating the Self-interest of the Legal Profession 178 / Post-modernity, Substituting for Primitiveness 178} // TRANSFERS OF LAW: A CONCEPTUAL ANALYSIS [2003] 181–207: 1. Terms 182 / 2. Technicality 190 / 3. Contrasts in Transfers of Law 200 {Contrasts 200 / Criticisms 202 / Alternatives205} 4. Conclusions 206 // THE DANGERS FOR THE SELF OF BEING SELF-CENTRED: ON STANDARDS AND VALUES [2002] 209–212 --- APPENDIX -- THEORY OF LAW – LEGAL ETHNOGRAPHY, OR THE THEORETICAL FRUITS OF THE INQUIRIES INTO FOLKWAYS [2008] 213–234 1. Encounters 213 / 2. Disciplines 218 / 3. The Lawyerly Interest 223 / 4. Law and/or Laws 226 / 5. Conclusion 233 --- Index of Subjects 235 / Index of Normative Materials 242 / Index 244 . (shrink)

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.