DE eng

Search in the Catalogues and Directories

Hits 1 – 19 of 19

1
Updating: Learning versus supposing
In: Cognition. - Amsterdam [u.a] : Elsevier 124 (2012) 3, 373-378
OLC Linguistik
Show details
2
Introduction to the Special Issue: Probability, Confirmation and Fallacies
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 184 (2011) 1, 1
OLC Linguistik
Show details
3
Strengthening the case for knowledge from falsehood
In: Analysis. - Oxford [u.a.] : Oxford Univ. Press 70 (2010) 4, 666-669
BLLDB
Show details
4
FEW 2009 special issue: preface
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 39 (2010) 6, 591
BLLDB
Show details
5
Probability, confirmation, and the conjunction fallacy
In: Thinking & reasoning. - Abingdon : Routledge, Taylor & Francis Group 14 (2008) 2, 182-199
BLLDB
OLC Linguistik
Show details
6
Goodman's "new riddle"
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 37 (2008) 6, 613-643
BLLDB
Show details
7
Likelihoodism, Bayesianism, and relational confirmation
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 156 (2007) 3, 473
OLC Linguistik
Show details
8
Bayesian epistemology
Bovens, Luc (Hrsg.); Hartmann, Stephan (Hrsg.); Douven, Igor. - Dordrecht [u.a.] : Springer, 2007
BLLDB
Show details
9
Steps toward a computational metaphysics
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 36 (2007) 2, 227-247
BLLDB
Show details
10
Bayesian confirmation and auxiliary hypotheses revisited : a reply to Strevens
In: The British journal for the philosophy of science. - Chicago, IL : University of Chicago Press 56 (2005) 2, 293-302
BLLDB
Show details
11
A probabilistic theory of coherence
In: Analysis. - Oxford [u.a.] : Oxford Univ. Press 63 (2003) 3, 194-199
BLLDB
Show details
12
Shortest axiomatizations of implicational S4 and S5
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 43 (2002) 3, 169-179
BLLDB
OLC Linguistik
Show details
13
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 29 (2002) 2, 107-124
OLC Linguistik
Show details
14
Short Single Axioms for Boolean Algebra
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 29 (2002) 1, 1-16
OLC Linguistik
Show details
15
Symmetries and asymmetries in evidential support
In: Philosophical studies. - Dordrecht [u.a.] : Springer Science + Business Media 107 (2002) 2, 129-142
BLLDB
Show details
16
Missing Proofs Found
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 27 (2001) 2, 201
OLC Linguistik
Show details
17
Distributivity in L(Part of the article not published ASCII) 0 and Other Sentential Logics
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 27 (2001) 2, 141-156
OLC Linguistik
Show details
18
Finding missing proofs with automated reasoning
In: Studia logica. - Dordrecht : Springer Science + Business Media 68 (2001) 3, 329-356
BLLDB
Show details
19
Measuring confirmation and evidence
In: The journal of philosophy. - New York, NY : The Journal of Philosophy, Inc. 97 (2000) 12, 663-672
BLLDB
Show details

Catalogues
0
0
9
0
0
0
0
Bibliographies
12
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern