-
Pointer semantics describing a formal language with the possibility of
self-reference have been invented by Haim Gaifman; they form a
fundamental way of understanding the semantics of logic programming,
but have also been used extensively in philosophical logic and other
applications of logic. In...
-
We present an iterated learning experiment with human subjects. We
introduce the framework of iterated learning, where learners learn
from data that is itself the result of a learning process. We review
one such experiment from Kalish et al. (2007), based on function
learning, where subjects lea...
-
What is the mechanism that translates the individual properties of
learners into the properties of the language they speak? This paper
will investigate cultural transmission as this mechanism and will take
up the Iterated Learning Model as a formal framework in which to
address this claim. This...
-
Given a finite model M, it is possible to associate to every sentence
φ of Backslash Logic and Dependence Logic the value of the
corresponding imperfect information game H(φ), that is, the best
average payoff that the Verifier can guarantee when both players are
allowed to play random moves. Hodg...
-
Theories of the evolutionary origins of language must be informed by
empirical and theoretical results from a variety of different fields.
Complementing recent surveys of relevant work from linguistics, animal
behaviour and genetics, this paper surveys the requirements on
evolutionary scenarios t...
-
Recently, Gerd Niestegge developed a new approach to quantum mechanics
via conditional probabilities developing the well-known proposal to
consider the Lüders-von Neumann measurement as a non-classical
extension of probability conditionalization. I will apply his powerful
and rigorous approach to...
-
Taking the lead from orthodox quantum theory, I will introduce a handy
generalization of the Boolean approach to propositions and questions:
the ortho-algebraic framework. I will demonstrate that this formalism
relates to a formal theory of questions (or ‘observables’ in the
physicist’s jargon). ...
-
We propose a formalization of C.G. Jung's theory of personality using
a four-dimensional Hilbert-space for the representation of two
qubits. The first qubit relates to Jung's four psychological functions
Thinking, Feeling, Sensing and iNtuition, which are represented by two
groups of projection o...
-
Recently, Gerd Niestegge developed a new approach to quantum mechanics
via conditional probabilities developing the well-known proposal to
consider the Lüders-von Neumann measurement as a non-classical
extension of probability conditionalization. I will apply his powerful
and rigorous approach to...
-
We introduce an inquisitive semantics for a language of propositional
logic, where the interpretation of disjunction is the source of
inquisitiveness. Indicative conditionals and conditional questions are
treated on a par both syntactically and semantically. The semantics
comes with a new logical...
-
‘Possible worlds semantics’ for modal logic is a widely used
term, sometimes with ominous metaphysical connotations, but
what does this style of modeling involve today? We discuss
three main issues, using epistemic logic as a running example,
and drawing upon both mathematical results and pra...