|
M
Monday
|
T
Tuesday
|
W
Wednesday
|
T
Thursday
|
F
Friday
|
S
Saturday
|
S
Sunday
|
|---|---|---|---|---|---|---|
|
0 events,
|
0 events,
|
1 event,
-
Title: When Rules Define Logical Operators: Rules as Second-Order Definitions Abstract: Logical inferentialists hold that the meaning of logical operators is given by their rules of inference. Arthur Prior cast doubt on this by introducing rules for his so-called tonk operator that seemed to allow for the derivation of any sentence whatsoever from any sentence… |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
1 event,
-
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
1 event,
-
Title: Talk About Types Abstract: Many metaphysical theories of identity, existence, and so on, are formulated using higher-order languages like the simply typed lambda calculus. But as I argue, for the purposes of metaphysical theorizing, a different language would be better: the calculus of constructions. Since this language—like many pure type systems—allows for quantification over… |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
1 event,
-
Janina Hosiasson鈥檚 logic of rational degrees of belief: subjective probability before and after Ramsey Abstract: In 1931, Janina Hosiasson-Lindenbaum proposed a proto-decision-theoretic answer to the value of evidence problem, originally posed by C. D. Broad and eventually solved by I. J. Good in the context of Savage鈥檚 decision theory. As an influence on her paper… |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
1 event,
-
Title: ‘Logic and Inference in the Sender-Receiver Model’ Abstract: Logic, inference, language 鈥� somehow these are all connected. But how? One of David Lewis鈥檚 goals in his book聽Convention聽(1969)聽was to answer this question. There, he presented what is now known as the sender-receiver model of communication, and he revealed how conventionally meaningful communication might come about.… |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
漏 The University of St Andrews is a charity registered in Scotland, No SC013532.