Канал: UConn Logic Group

Xinhe Wu — Vague Identity: A Uniform Approach

Xinhe Wu — Vague Identity: A Uniform Approach

James Walsh — Is the consistency operator canonical?

James Walsh — Is the consistency operator canonical?

Denis Hirschfeldt – Reductions between problems in reverse mathematics and computability theory

Denis Hirschfeldt – Reductions between problems in reverse mathematics and computability theory

Michael De – Fitch's paradox of knowability and empirical negation

Michael De – Fitch's paradox of knowability and empirical negation

Owain Griffin – Is Functionalism Inconsistent?

Owain Griffin – Is Functionalism Inconsistent?

Richard Samuels, Eric Snyder, and Stewart Shapiro – Semantics without numbers?

Richard Samuels, Eric Snyder, and Stewart Shapiro – Semantics without numbers?

Andrew Tedder – Negated Implications in Connexive Relevant Logics

Andrew Tedder – Negated Implications in Connexive Relevant Logics

Liesbeth De Mol – Towards a diversified understanding of computability

Liesbeth De Mol – Towards a diversified understanding of computability

Maria Aloni – Nothing is Logical

Maria Aloni – Nothing is Logical

Elitzur Bar-Asher Siegal – Modeling Linguistic Causation

Elitzur Bar-Asher Siegal – Modeling Linguistic Causation

Eugenio Orlandelli – Quantified modal logics: One approach to rule them all!

Eugenio Orlandelli – Quantified modal logics: One approach to rule them all!

Josh Grochow – Polynomial-time axioms of choice and polynomial-time cardinality

Josh Grochow – Polynomial-time axioms of choice and polynomial-time cardinality

Christopher Porter – Revisiting Chaitin’s Incompleteness Theorem

Christopher Porter – Revisiting Chaitin’s Incompleteness Theorem

Graham Priest – How Not to See Pierre: Making Sense of Absences

Graham Priest – How Not to See Pierre: Making Sense of Absences

Andreas Kapsner – Superconnexivity Reconsidered (joint work with Hitoshi Omori)

Andreas Kapsner – Superconnexivity Reconsidered (joint work with Hitoshi Omori)

Yimei Xiang – Relativized Exhaustivity: Mention-Some and Uniqueness

Yimei Xiang – Relativized Exhaustivity: Mention-Some and Uniqueness

Teresa Kouri Kissel – Cooperation and Determining When Merely VerbalDisputes are Worthwhile

Teresa Kouri Kissel – Cooperation and Determining When Merely VerbalDisputes are Worthwhile

Julian Schlöder – Neo-Pragmatist Truth and Supervaluationism

Julian Schlöder – Neo-Pragmatist Truth and Supervaluationism

Damian Szmuc – On Sequent Calculi for Classical Logic where Cut is Admissible

Damian Szmuc – On Sequent Calculi for Classical Logic where Cut is Admissible

Julien Murzi – Revenge

Julien Murzi – Revenge

Dilip Ninan – An Expressivist Theory of Taste Predicates

Dilip Ninan – An Expressivist Theory of Taste Predicates

Rashed Ahmad – A Recipe for Paradox (A Better Schema than the Inclosure Schema)

Rashed Ahmad – A Recipe for Paradox (A Better Schema than the Inclosure Schema)

Alessandro Zucchi – Minimal change theories of conditionals

Alessandro Zucchi – Minimal change theories of conditionals

Bjørn Jespersen – Impossibilities without impossibilia

Bjørn Jespersen – Impossibilities without impossibilia

Floris Roelofsen – Interacting Alternatives: Referential Indeterminacy And Questions

Floris Roelofsen – Interacting Alternatives: Referential Indeterminacy And Questions

Ulf Hlobil – Bilateralist Truth-Maker Semantics for ST and Related Logics

Ulf Hlobil – Bilateralist Truth-Maker Semantics for ST and Related Logics

Paola D'Auquino – Algebraic Constructions In Models Of Peano Arithmetic And Its Weak Fragments

Paola D'Auquino – Algebraic Constructions In Models Of Peano Arithmetic And Its Weak Fragments

Larry Moss – Logic Done as if Inference in Language Mattered

Larry Moss – Logic Done as if Inference in Language Mattered

Gillian Russell – Social Spheres

Gillian Russell – Social Spheres

Edi Pavlović – A More Unified Approach to Free Logics

Edi Pavlović – A More Unified Approach to Free Logics

Paolo Mancosu – The company you keep: Some recent results on neo-logicism and abstraction principles

Paolo Mancosu – The company you keep: Some recent results on neo-logicism and abstraction principles

Ehtibar Dzhafarov – Contextual Analysis, Epistemic Probabilities, And Paradoxes

Ehtibar Dzhafarov – Contextual Analysis, Epistemic Probabilities, And Paradoxes

Tyler Markkanen – Computing Perfect Matchings in Graphs

Tyler Markkanen – Computing Perfect Matchings in Graphs

Sandra Villata – Intermediate Grammaticality

Sandra Villata – Intermediate Grammaticality

Lenore Blum – What Can Theoretical Computer Science Contribute to the Discussion of Consciousness?

Lenore Blum – What Can Theoretical Computer Science Contribute to the Discussion of Consciousness?

Ethan Brauer, Øystein Linnebo, and Stewart Shapiro – Divergent Potentialism

Ethan Brauer, Øystein Linnebo, and Stewart Shapiro – Divergent Potentialism

Sam Sanders – Brouwer, Platonism, and classification

Sam Sanders – Brouwer, Platonism, and classification

Sara Uckelman – What Problem Did Ladd-Franklin (Think She) Solve(d)?

Sara Uckelman – What Problem Did Ladd-Franklin (Think She) Solve(d)?

Benedict Eastaugh — Recursive counterexamples and the foundational standpoint

Benedict Eastaugh — Recursive counterexamples and the foundational standpoint

Sara Negri – Unveiling the constructive core of classical theories: ..90 years of Glivenko’s theorem

Sara Negri – Unveiling the constructive core of classical theories: ..90 years of Glivenko’s theorem

Sara Negri – A three-fold method for non-classical logics

Sara Negri – A three-fold method for non-classical logics

Will Starr – Indicative Conditionals, Strictly

Will Starr – Indicative Conditionals, Strictly

Una Stojnić – The Anatomy of Arguments in Natural Language Discourse

Una Stojnić – The Anatomy of Arguments in Natural Language Discourse

Paolo Santorio – Counterfactuals and possibilities

Paolo Santorio – Counterfactuals and possibilities

Kai von Fintel & Sabine Iatridou – Prolegomena to a Theory of X-Marking

Kai von Fintel & Sabine Iatridou – Prolegomena to a Theory of X-Marking

Hannes Leitgeb – On the Logic of Vector Space Models

Hannes Leitgeb – On the Logic of Vector Space Models

Eileen Nutting – Ordering Anything: Rejiggering Linnebo’s Ordinal Abstraction

Eileen Nutting – Ordering Anything: Rejiggering Linnebo’s Ordinal Abstraction

David Ripley – Core Type Theory

David Ripley – Core Type Theory

Chris Kennedy – Expressing Experience: not necessarily 'stoned', but 'beautiful'

Chris Kennedy – Expressing Experience: not necessarily 'stoned', but 'beautiful'

Steven Dalglish – How to Deal with Semantic Paradox (Hint: Accept Defeat)

Steven Dalglish – How to Deal with Semantic Paradox (Hint: Accept Defeat)

Pauline Jacobson – Variable Free Semantics: Putting competition effects where they belong

Pauline Jacobson – Variable Free Semantics: Putting competition effects where they belong

Peter Pagin – Indexicals, Time, and Compositionality

Peter Pagin – Indexicals, Time, and Compositionality

Ethan Brauer – A Modal Theory of Free Choice Sequences

Ethan Brauer – A Modal Theory of Free Choice Sequences

Ellen Lehet – The Explanatory Value of Category Theory

Ellen Lehet – The Explanatory Value of Category Theory

Luca Tranchini – Proof-theoretic Harmony: intensional aspects from a second-order perspective

Luca Tranchini – Proof-theoretic Harmony: intensional aspects from a second-order perspective

Philip A. Ebert - “What is the Aim of Frege’s Logicist Project?”

Philip A. Ebert - “What is the Aim of Frege’s Logicist Project?”

Ole Hjortland and Ben Martin - Anti-Exceptionalism and Explanations in Logic

Ole Hjortland and Ben Martin - Anti-Exceptionalism and Explanations in Logic

Hiromune Oda – Japanese Free Choice "Items" as Unconditionals

Hiromune Oda – Japanese Free Choice "Items" as Unconditionals

Greg Scontras – The pragmatics of truth-value judgments

Greg Scontras – The pragmatics of truth-value judgments

Andrew Tedder & Stewart Shapiro – Saving Truth for Intuitionists

Andrew Tedder & Stewart Shapiro – Saving Truth for Intuitionists

Jos Tellings – Counterfactuality and causal structure

Jos Tellings – Counterfactuality and causal structure

Branden Fitelson – How to model the probabilities of conditionals

Branden Fitelson – How to model the probabilities of conditionals

Joshua Knobe – Moral Disagreement and Moral Semantics

Joshua Knobe – Moral Disagreement and Moral Semantics

Joe Buffington – The syntax and semantics of contractual offers

Joe Buffington – The syntax and semantics of contractual offers

Jessica Rett – Explaining ‘EARLIEST’

Jessica Rett – Explaining ‘EARLIEST’

Craige Roberts – Character assassination: de se semantics for indexicals

Craige Roberts – Character assassination: de se semantics for indexicals

Sabrina Ouazzani – How to compute with an infinite time Turing machine

Sabrina Ouazzani – How to compute with an infinite time Turing machine

Craige Roberts –The Character of Epistemic Modals: Evidential indexicals – SEP 2018

Craige Roberts –The Character of Epistemic Modals: Evidential indexicals – SEP 2018

Elaine Landry – Mathematics is not Metaphysics – SEP 2018

Elaine Landry – Mathematics is not Metaphysics – SEP 2018

Joan Rand Moschovakis – A Logical Look at Kripke's Idea of Free Choice Sequences – SEP 2018

Joan Rand Moschovakis – A Logical Look at Kripke's Idea of Free Choice Sequences – SEP 2018

Timothy Williamson – Objective Possibilities

Timothy Williamson – Objective Possibilities

Timothy Williamson – What if the impossible happened?

Timothy Williamson – What if the impossible happened?

Timothy Williamson – Alternative logics and abductive methodology

Timothy Williamson – Alternative logics and abductive methodology

$Whit Tabor – Stable, fractal-based processing of complex languages$

Whit Tabor – Stable, fractal-based processing of complex languages

Norbert Gratzl – Single Conclusions Rock, Take 2

Norbert Gratzl – Single Conclusions Rock, Take 2

Parasara Sridhar Duggirala – Logic and Program Verification

Parasara Sridhar Duggirala – Logic and Program Verification

Archambault – The distinction between formal and material consequence in medieval logic

Archambault – The distinction between formal and material consequence in medieval logic

Juliet Floyd – Gödel vis-à-vis Russell: Philosophy

Juliet Floyd – Gödel vis-à-vis Russell: Philosophy

Akihiro Kanamori – Gödel vis-à-vis Russell: Logic and Set Theory

Akihiro Kanamori – Gödel vis-à-vis Russell: Logic and Set Theory

Jeff Hirst – Counting uses of a theorem

Jeff Hirst – Counting uses of a theorem

Paolo Santorio – Reasoning and Consequence for Indicative Conditionals

Paolo Santorio – Reasoning and Consequence for Indicative Conditionals

Dan Lassiter - Learning from and embedding probabilistic language

Dan Lassiter - Learning from and embedding probabilistic language