Search

Your search keyword '"Hornischer, Levin"' showing total 10 results
Start Over Author "Hornischer, Levin"
10 results on '"Hornischer, Levin"'

4. Cognitive synonymy : a dead parrot?

Author

Berto, Franz, Hornischer, Levin, European Research Council, University of St Andrews. Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and University of St Andrews. Philosophy

Subjects
Cognitive content, Subject matter, Hyperintensionality, BD Speculative Philosophy, MCP, BC Logic, Defeasible reasoning, Leitgeb impossibility result, Aboutness, Synonymy, BD, BC
Abstract

Funding: This research is published within the project ‘The Logic of Conceivability’, funded by the European Research Council (ERC CoG), Grant Number 681404. Sentences φ and ψ are cognitive synonyms for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1), but elusive: it is bound to be hyperintensional (Sect. 2), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2), and it should be sensitive to subject matters (Sect. 2.3). A cognitively adequate individuation of content may be intransitive (Sect. 3) due to ‘dead parrot’ series: sequences of sentences φ1,…,φn where adjacent φi and φi+1 are cognitive synonyms while φ1 and φn are not (Sect. 3.1). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3). Sed contra, there are reasons for transitivity, too (Sect. 3.4). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. Publisher PDF

Published
2023

7. THE LOGIC OF INFORMATION IN STATE SPACES.

Author

HORNISCHER, LEVIN

Subjects
*SPACE trajectories, *UNIVERSAL algebra, *DYNAMICAL systems, *LOGIC, *STRUCTURAL analysis (Engineering)
Abstract

State spaces are, in the most general sense, sets of entities that contain information. Examples include states of dynamical systems, processes of observations, or possible worlds. We use domain theory to describe the structure of positive and negative information in state spaces. We present examples ranging from the space of trajectories of a dynamical system, over Dunn's aboutness interpretation of fde, to the space of open sets of a spectral space. We show that these information structures induce so-called hype models which were recently developed by Leitgeb (2019). Conversely, we prove a representation theorem: roughly, hype models can be represented as induced by an information structure. Thus, the well-behaved logic hype is a sound and complete logic for reasoning about information in state spaces. As application of this framework, we investigate information fusion. We motivate two kinds of fusion. We define a groundedness and a separation property that allow a hype model to be closed under the two kinds of fusion. This involves a Dedekind–MacNeille completion and a fiber-space like construction. The proof-techniques come from pointless topology and universal algebra. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results