Progic 2013: Workshop program Theme: Combining probability and logic to solve philosophical problems Venue: Carl-Friedrich-von-Siemens-Stiftung, Sudliches ¨ Schlossrondell 23, Munich Registration (until July 30) and abs

Source URL: www.pfeifer-research.de

• Reasoning
• Epistemology
• Statistical inference
• Non-classical logic
• Conditionals
• Probabilistic logic
• Counterfactual conditional
• Inference
• Inferential
• Logic
• Knowledge
• Science

An application of Carnapian inductive logic to philosophy of statistics Teddy Groves, University of Kent Introduction In my talk I claim that an argument in philosophy of statistics found in Gelman and Shalizi[removed]can

Source URL: www.pfeifer-research.de

• Reasoning
• Philosophy of science
• Epistemology
• Inductive reasoning
• Problem solving
• Rudolf Carnap
• Argument
• Problem of induction
• Deductive reasoning
• Science
• Knowledge
• Logic

I. Intro II. Avoiding Counting Assignments III. Avoiding Alignment

Source URL: www.pfeifer-research.de

• Philosophy of mathematics
• Logicism
• Axiom
• Peano axioms
• Probability
• Mathematical proof
• Mathematics
• Mathematical logic
• Logic

Towards Classifying Propositional Probabilistic Logics Glauber De Bona, Fabio Gagliardi Cozman and Marcelo Finger University of São Paulo, Brazil Probabilistic logics are commonly designed by adding probabilistic opera

Source URL: www.pfeifer-research.de

• Non-classical logic
• Philosophy of language
• Formal languages
• Probabilistic logic
• Interpretation
• Proposition
• Well-formed formula
• Logical connective
• Linear temporal logic
• Logic
• Mathematical logic
• Propositional calculus

Probabilistic elementary analysis Main results, and references Quantifying over events in probability logic: expressibility vs. computability Stanislav O. Speranski

Source URL: www.pfeifer-research.de

• Logical syntax
• Non-classical logic
• Philosophical logic
• Model theory
• Quantification
• Probabilistic logic
• Probability space
• Well-formed formula
• Proposition
• Logic
• Mathematical logic
• Metalogic

Measuring Degrees of Incoherence Liam Kofi Bright Carnegie Mellon University - Department of Philosophy May 15, 2013 Abstract

Source URL: www.pfeifer-research.de

Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a

Source URL: www.pfeifer-research.de

• Proof theory
• Logic in computer science
• Computability theory
• Effective descriptive set theory
• Peano axioms
• Logicism
• Second-order arithmetic
• Philosophy of mathematics
• Axiom
• Mathematics
• Mathematical logic
• Logic

Anfängerkurs für Tambouren und Pfeifer Bist du mindestens 9? Möchtest du am nächsten Räbeliechtli-Umzug oder sogar am Äschli Trommeln oder Pfeifen? Mir zeiged dir, wie’s gaaht!

Source URL: www.tambourenverein-elgg.ch

ON THE LOGICAL STRUCTURE OF DE FINETTI’S NOTION OF EVENT TOMMASO FLAMINIO, LLUIS GODO, AND HYKEL HOSNI This paper aims to (i) provide a logical development of Bruno de Finetti’s conception of events and (ii) suggest

Source URL: www.pfeifer-research.de

• Statistics
• Decision theory
• Epistemology
• Interpretation
• Probability interpretations
• Bruno de Finetti
• Subjectivism
• Mathematics of bookmaking
• Coherence
• Probability theory
• Wagering
• Probability

Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics

Source URL: www.pfeifer-research.de

• Boolean algebra
• Forcing
• Metalogic
• Lambda calculus
• Boolean-valued model
• Constructible universe
• FO
• Model theory
• Combinatory logic
• Mathematical logic
• Mathematics
• Theoretical computer science