Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Haim Gaifman"'
Autor:
Haim Gaifman, Yang Liu
In his classic book “the Foundations of Statistics” Savage develops a formal system of rational decision making. It is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70450da5d806996cf278396e32847e06
Autor:
Haim Gaifman
Publikováno v:
Journal of Applied Logic. 11:373-385
The common theme that unites the four sections is STP, the sure thing principle . But the paper can be divided neatly into two parts. The first, consisting of the first two sections, contains an analysis of STP as it figures in Savageʼs system and p
Autor:
Haim Gaifman
Publikováno v:
The Review of Symbolic Logic. 5:480-512
The paper is concerned with the way in which “ontology” and “realism” are to be interpreted and applied so as to give us a deeper philosophical understanding of mathematical theories and practice. Rather than argue for or against some particu
Autor:
Haim Gaifman, Anubav Vasudevan
Publikováno v:
Synthese. 187:147-178
The technique of minimizing information (infomin) has been commonly employed as a general method for both choosing and updating a subjective probability function. We argue that, in a wide class of cases, the use of infomin methods fails to cohere wit
Autor:
Haim Gaifman
Publikováno v:
Synthese. 174:5-46
The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One
Autor:
Haim Gaifman
Publikováno v:
The Review of Symbolic Logic. 1:433-458
We develop a formal apparatus to be used as a tool in analyzing common kinds of context dependence in natural language, and their interaction with temporal and spatial modalities. It is based on context-operators, which act on wffs. The interplay bet
Autor:
Haim Gaifman
Publikováno v:
Readings in Formal Epistemology ISBN: 9783319204505
Causation, Chance and Credence ISBN: 9789401077880
TARK
Causation, Chance and Credence ISBN: 9789401077880
TARK
We set up a general framework for higher order probabilities. A simple HOP (Higher Order Probability space) consists of a probability space and an operation PR, such that, for every event A and every real closed interval Δ, PR(A, Δ) is the event th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e4945686ffcee99150de14bc06ea966
https://doi.org/10.1007/978-3-319-20451-2_6
https://doi.org/10.1007/978-3-319-20451-2_6
Autor:
Haim Gaifman
Publikováno v:
Logic Journal of IGPL. 14:709-728
We trace self-reference phenomena to the possibility of naming functions by names that belong to the domain over which the functions are defined. A naming system is a structure of the form ðD,type ðÞ , fg Þ, where D is a non-empty set; for every
Autor:
Haim Gaifman
Publikováno v:
Bulletin of Symbolic Logic. 12:503-516
Autor:
Haim Gaifman
Publikováno v:
Synthese. 140:97-119
There are three sections in this paper. Thefirst is a philosophical discussion of the general problem of reasoning under limited deductive capacity. The second sketches a rigorous way of assigning probabilities to statements in pure arithmetic; motiv