Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks". Abstract: Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This additional expressive power is useful for many applications, for example when reasoning about time one often...

Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) titled "On flattening rules in natural deduction calculus for intuitionistic propositional logic". Abstract: Standard versions of natural deduction calculi consist of so called ‘flat’ rules that either discharge some formulas as their assumptions or discharge no assumptions at all. However, non-flat, or ‘higher-order’ rules discharging inferences rather than single formulas...

Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a case study in many valued reasoning". Abstract: For a quite a while it had been an open problem whether there is an analytic (cut-free) calculus for infinite valued Lukasiewicz logic, one of threefundamental many valued logics that lie at the centre of interest in contemporary mathematical fuzzy logic. The hypersequent calculus HL presented by Metcalfe, Gabbay, and Olivetti...

Moritz Schulz (Barcelona) gives a talk at the MCMP Colloquium (7 February, 2013) titled "Modus Ponens on the Restrictor View". Abstract: Recently, Kolodny & MacFarlane (2010) have proposed a new counterexample to modus ponens, which bears interesting relations to the classic counterexample by McGee (1985). By way of resolving the issue, I will see how the potential counterexamples can be analysed on the restrictor view of conditionals. The proposed resolution saves modus ponens by denying...

Jakub Szymanik (Amsterdam) gives a talk at the MCMP Colloquium (12 June, 2013) titled "From Logic to Behavior". Abstract: In this talk I will explore the applicability of modern logic and computation theory in cognitive science. I will show how logic can be used to build cognitive models in order to explain and predict human behavior. I will also illustrate the use of logical and computational toolboxes to evaluate (not necessarily logical) cognitive models along the following dimensions: (i)...

Alexandra Zinke (Konstanz) gives a talk at the MCMP Colloquium (24 January, 2013) titled "Interpretational Logical Truth: The Problem of Admissible Interpretations". Abstract: According to the interpretational definition of logical truth a sentence is logically true iff it is true under all interpretations of the non-logical terms. The most prominent problem of the interpretational definition is the problem of demarcating the logical from the non-logical terms. I argue that it does not...

Diderik Batens (Ghent) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Transitory and Permanent Applications of Paraconsistency". Abstract: The advent of paraconsistency offers an excellent opportunity to unveil past prejudices. These do not only concern the truth or sensibility of inconsistencies, but many aspects of the nature of logic(s). My aim will be to raise questions (and possibly arrive at insights) on such topics as...

Marie Duzi (Technical University Ostrava) gives a talk at the MCMP Colloquium (15 May, 2014) titled "A plea for beta-reduction by value". Abstract: This paper solves, in a logically rigorous manner, a problem discussed in a 2004 paper by Stephen Neale and originally advanced as a counterexample to Chomsky’s theory of binding. The example I will focus on is the following. John loves his wife. So does Peter. Therefore, John and Peter share a property. Only which one? There are two options. (1)...

Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Why designate gluts?". Abstract: In this talk, I want to explore the following idea: Truth value gluts should be allowed in the semantics of logical systems, as they are in many non-classical systems. However, unlike what is standard in such systems, these gluts should be treated as undesignated values. I shall give my reasons for taking this to be a view...

Francesco Berto (Amsterdam) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Inconsistent Thinking, Fast and Slow". Abstract: This plays on Kahneman’s Thinking Fast and Slow. We implement two reasoning systems: our Slow system is logical-rule-based. Our Fast system is associative, context-sensitive, and integrates what we conceive via background information Slow inconsistent thinking may rely on paraconsistent logical rules, but...

Maarten McKubre-Jordens (Canterbury) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Doing mathematics paraconsistently. A manifesto". Abstract: In this talk, we outline several motivations for conducting mathematics–in the style of the working mathematician–without dependence on assumptions of non-contradiction. The story involves a short analysis of theorem and counterexample, what it is to reason paraconsistently within...

Graham Priest (CUNY and St Andrews) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Models of Paraconsistent Set Theory". Abstract: Any adequate paraconsistent set theory must be able to validate at least a major part of the standard results of orthodox set theory. One way to achieve this is to take the universe or universes of sets to be such as to validate not only the naïve principles, but also all the theorems of Zermelo...

Itala M. Loffredo D'Ottaviano (Campinas) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Can a paraconsistent differential calculus extend the classical differential calculus?". Abstract:In 2000, da Costa proposes the construction of a paraconsistent differential calculus, whose language is the language L of his known paraconsistent logic C1, extended to the language of his paraconsistent set theory CHU1, introduced in 1986. We...

Bryson Brown (Lethbridge) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "On the Preservation of Reliability". Abstract: …all models are wrong, but some are useful. (G E.P. Box and N. R. Draper, 1987). C.S. Peirce examined several broad methods for arriving at beliefs in “On the Fixation of Belief”; the central theme of his essay is the importance of having a method that leads to stable agreement amongst the members of a...

Otávio Bueno (Miami) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Inconsistent scientific Theories: A Framework". Abstract: Four important issues need to be considered when inconsistent scientific theories are under discussion: (1) To begin with, are there–and can there be–such things as inconsistent scientific theories? On standard conceptions of the structure of scientific theories, such as the semantic and the syntactic...

Holger Andreas (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "A Paraconsistent Generalization of Carnap's Logic of Theoretical Terms".

Michael De (Konstanz) gives a talk at the MCMP Colloquium (18 December, 2014) titled "Negation as modality". Abstract: In a recent paper, Francesco Berto (forthcoming) defends an account of negation as a modality. According to that account, the negation of a sentence is true at a world x just in case the sentence is not true in any world compatible with x. Alternatively, the negation of a sentence is true at x just in case all the worlds at which the sentence is true are incompatible with x....

Colloquium Mathematical Philosophy, Michael De (Konstanz) gives a talk at the MCMP Colloquium (18 December, 2014) titled "Negation as modality". Abstract: In a recent paper, Francesco Berto (forthcoming) defends an account of negation as a modality. According to that account, the negation of a sentence is true at a world x just in case the sentence is not true in any world compatible with x. Alternatively, the negation of a sentence is true at x just in case all the worlds at which the...

Kevin Zollman (CMU) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Introduction to Networks". Abstract: Social networks have become a central feature of the scientific study of social behavior and have been imported into philosophical discussions – like ethics, epistemology, and the philosophy of science – where social behavior is important. In ethics, scholars have asked what effect social networks might...

Summer School on Mathematical Philosophy for Female Students 2015, Kevin Zollman (CMU) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Introduction to Networks". Abstract: Social networks have become a central feature of the scientific study of social behavior and have been imported into philosophical discussions – like ethics, epistemology, and the philosophy of science – where social behavior is...

Isidora Stojanovic (Jean Nicod Institute Paris) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Context-dependence and the Semantics-Pragmatics Interface". Abstract: Context-dependence is ubiquitous not only in language, but in cognition and action more generally. In the first part of the course, we shall introduce two basic tools from formal semantics (and pragmatics) that help understanding how the truth...

Summer School on Mathematical Philosophy for Female Students 2015, Isidora Stojanovic (Jean Nicod Institute Paris) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Context-dependence and the Semantics-Pragmatics Interface". Abstract: Context-dependence is ubiquitous not only in language, but in cognition and action more generally. In the first part of the course, we shall introduce two basic tools from...

Julia Staffel (Washington University in St. Louis) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Attitudes in Epistemology: Belief vs. Credence". Abstract: This lecture stream is intended to be an introduction to some central topics in formal epistemology. Formal epistemology is a relatively recent branch of epistemology, which uses formal tools such as logic and probability theory in order to answer...

Summer School on Mathematical Philosophy for Female Students 2015, Julia Staffel (Washington University in St. Louis) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Attitudes in Epistemology: Belief vs. Credence". Abstract: This lecture stream is intended to be an introduction to some central topics in formal epistemology. Formal epistemology is a relatively recent branch of epistemology, which uses formal...