Скачать с ютуб PLEXUS Summer School Pitch Talk: Javier Viñeta (Universidad de Navarra): The Meaning of Tonk в хорошем качестве

PLEXUS Summer School Pitch Talk: Javier Viñeta (Universidad de Navarra): The Meaning of Tonk

The Meaning of Tonk Slides: https://plexuslogic.wordpress.com/wp-... References: Anderson A.R., Belnap N.D. (1975). Entailment: The Logic of Relevance and Necessity, vol.1, Princeton University Press. Belnap, N. D. (1962). Tonk, plonk, and plink. Analysis, 22(6):130–134. Cobreros, P., Egré, P., Ripley, D., and van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2):347– 385. Cobreros, P., Egré, P., Ripley, D., and van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488):841–866. Fitch, W. T. (2010). The Evolution of Language. Cambridge University Press. Gentzen, G. (1934/35). Untersuchungen über das logische Schließen, Math. Z. 39, 176Y210, 405Y431. Girard, J.Y. (1987). Linear logic, Theoretical Computer Science, 50:1-102. Hjortland, Ole T. (2009). The Structure of Logical Consequence: Proof-Theoretic Conceptions. Saint Andrews University Press. Jaskowski, S. (1969), Propositional calculus for contradictory systems. Studia Logica, 24:143-157. Lewy C. (1958). Entailment. Proceedings of the Aristotelian Society, 32: 123-142. Makinson D. (1993). General patterns in nonmonotonic reasoning, in D.M. Gabbay et al. (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, Oxford University Press, Oxford McGonigle, B. and Chalmers, M. (1977). Are monkeys logical? Nature, 267:694–696. Paoli, F. (2002). Substructural Logics: A Primer. Kluwer Academic Publishing. Paz-y-Miño, G., Bond, A. B., Kamil, A. C., and Balda, R. P. (2004). Pinyon jays use transitive inference to predict social dominance. Nature, 430:778– 781. Prior, A. (1960). The runabout inference-ticket. Analysis, 21(2):38–39. Restall, G. (2000). An Introduction to Substructural Logics. Routledge. Restall, G. (To come out). Proof Theory, Rules and Meaning. Ripley, D. (2015). Anything goes. Topoi, 34(1):25–36. Ripley, D. (To come out). Uncut. Steinberger, F. (2011). What Harmony Could and Could Not Be. Australasian Journal of Philosophy, 89(4):617–639. Smiley T.J. (1959). Entailment and deducibility. Proceedings of the AristotelianSocie ty, 33: 233-249. Teijeiro, P. (2022). Vague Connectives. Philosophical Studies, online. Wansing, H. (2006). Connectives stranger than tonk. Journal of Philosophical Logic, 35(6):653–660.