ОТНОСТНО ТОЗИ ЕПИЗОД
Greg Restall (Melbourne) gives a talk at the MCMP Colloquium (12 Apr, 2012) titled "Sequent Systems and Defining Rules". Abstract: In this talk I will explain how it can be that inference rules can be used to define a class of concepts, and why there are at least three grades of logical complexity (propositional connectives, quantifiers, and modals), depending on the kinds of discourse features exploited in those rules. I'll then explain how concepts characterised by "defining rules" (which I’ll precisely characterise) have a number of important features, such as admitting a uniform cut elimination argument.
Английски
САЩ
ТРАНСКРИПЦИЯ 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
ТЪРСЕНЕ на МИНАЛИ ЕПИЗОДИ
Търсене в минали епизоди на MCMP – Mathematical Philosophy (Archive 2011/12).
ДРУГИ ЕПИЗОДИ В ТОЗИ ПОДКАСТ
Catarina Duthil-Novaes (ILLC/Amsterdam) gives a talk at the MCMP Colloquium titled "The 'fitting problem' for logical semantic systems". Abstract: When applying logical tools to study a given extra-theoretical, informal phenomenon, it is now customary to design a deductive system, and a semantic sy…
Peter Verdée (Ghent) gives a talk at the MCMP Colloquium (8 Feb, 2012) titled "Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments". Abstract: Peter Verd ́ee (peter.verdee@ugent.be) Centre for Logic and Philosophy of Science Ghent University, Belgium In this ta…
Catarina Duthil-Novaes (ILLC/Amsterdam) gives at talk at the MCMP Colloquium titled "Cognitive motivations for treating formalisms as calculi". Abstract: In The Logical Syntax of Language, Carnap famously recommended that logical languages be treated as mere calculi, and that their symbols be viewe…
Charles B. Cross (University of Georgia) gives a talk at the MCMP Colloquium titled "Conclusive Reasons, Transmission, and Epistemic Closure".
Stephan Hartmann (Tilburg) gives a talk at the MCMP Workshop on Computational Metaphysics titled "On the Emergence of Descriptive Norms".
Опровержение: Подкастът и произведенията на изкуството, вградени на тази страница, са от MCMP Team, което е собственост на неговия собственик и не е свързано с или одобрено от Listen Notes, Inc.
РЕДАКТИРАНЕ
Благодарим Ви, че помогате да поддържаме базата данни за подкастове актуална.
