From rzach at ucalgary.ca Tue Jan 12 08:47:22 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Tue Jan 12 08:47:35 2016 Subject: [Alta-Logic] Peripatetic Seminar Wednesday Message-ID: <5695200A.70806@ucalgary.ca> Wednesday January 13, 4pm 1253 SS https://ucalgary.ca/logic/event/2016-01-13/principled-demarcations-logicality-and-permutation-invariance-criterion Samara Burns (Philosophy) In logic we can distinguish (at least) two demarcation problems. First, there is the problem of demarcating the realm of logic. Second, and often related, is the problem of demarcating the logical operators. It is often said that a good demarcation should be principled. This requires determining some criterion (or a set of criteria) by which we can give an answer to one, or both of the demarcation problems. This criterion is not meant to be a simple codification of informal intuitions about logicality; it should be substantive. Proponents of the permutation invariance criterion argue that the logical operators are those that are invariant up to isomorphism. The mathematical precision of permutation invariance makes it a viable candidate for a principled demarcation. I will argue that permutation invariance fails to be principled demarcation, as it can be reduced to a mere systematization of intuitions. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From baker at ucalgary.ca Wed Jan 13 15:08:28 2016 From: baker at ucalgary.ca (John Baker) Date: Wed Jan 13 15:08:31 2016 Subject: [Alta-Logic] Re: [Vendler-group-l] Peripatetic Seminar Wednesday In-Reply-To: <5695200A.70806@ucalgary.ca> References: <5695200A.70806@ucalgary.ca> Message-ID: <4CD34D6F-3684-4BD9-BEE5-DDF56E8D9E47@ucalgary.ca> My regrets. I am teaching at that time. John On Jan 12, 2016, at 8:47 AM, Richard Zach > wrote: Wednesday January 13, 4pm 1253 SS https://ucalgary.ca/logic/event/2016-01-13/principled-demarcations-logicality-and-permutation-invariance-criterion Samara Burns (Philosophy) In logic we can distinguish (at least) two demarcation problems. First, there is the problem of demarcating the realm of logic. Second, and often related, is the problem of demarcating the logical operators. It is often said that a good demarcation should be principled. This requires determining some criterion (or a set of criteria) by which we can give an answer to one, or both of the demarcation problems. This criterion is not meant to be a simple codification of informal intuitions about logicality; it should be substantive. Proponents of the permutation invariance criterion argue that the logical operators are those that are invariant up to isomorphism. The mathematical precision of permutation invariance makes it a viable candidate for a principled demarcation. I will argue that permutation invariance fails to be principled demarcation, as it can be reduced to a mere systematization of intuitions. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada _______________________________________________ This message was sent to all subscribers of vendler-group-L To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: vendler-group-L@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/vendler-group-l John A. Baker, D.Phil., Department of Philosophy, University of Calgary, Calgary, Alberta, Canada T2N 1N4 E-mail: baker@ucalgary.ca Tel (Philosophy Dept): (403) 220-3167 Fax (Philosophy Dept): (403) 289-5698 This communication is intended for the use of the recipient to which it is addressed, and may contain confidential, personal, and or privileged information. Please contact the sender immediately if you are not the intended recipient of this communication, and do not copy, distribute, or take action relying on it. Any communication received in error, or subsequent reply, should be deleted or destroyed. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160113/b102329d/attachment.html From rzach at ucalgary.ca Sat Jan 23 10:42:32 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Sat Jan 23 10:42:46 2016 Subject: [Alta-Logic] History & Philosophy of Math Meeting in Calgary - Deadline Feb 1 Message-ID: <56A3BB88.1070004@ucalgary.ca> Hi, The Canadian Society for History & Philosophy of Mathematics will hold its annual meeting as part of Congress 2016 in Calgary, May 29-31, 2016. - Would you be kind enough to add the date to the PIMS & Math Department calendar? - If you have colleagues or students with interests in history or philosophy of mathematics who would be interested in presenting: the deadline (abstracts only required) is February 1. > > The CSHPM/SCHPM will be holding its 2016 Annual Meeting at the > University of Calgary in conjunction with the > 2016 Congress of the Humanities and Social Sciences > . The meeting will be held Sunday through > Tuesday, May 29-31, 2016. The Special Session topic for the meeting > will be "Mathematics and Logic in the 19th and 20th Centuries." The > Kenneth May Lecturer will be Dr. Jamie Tappenden (Department of > Philosophy, University of Michigan). > > The Call for Papers for the 2016 Annual Meeting > is > now available. *Please note that the deadline for submission of paper > titles and abstracts is February 1, 2016. * > -R -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160123/d56b5f3a/attachment.html From jdgall84 at gmail.com Tue Jan 26 13:06:30 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Jan 26 13:07:14 2016 Subject: [Alta-Logic] talk tomorrow Message-ID: Location and Time: ICT 616. Wednesday January 27 at 12:30 pm Title: Reflexive Objects in Cartesian Closed (Differential) Categories. Abstract: We begin by reviewing the sound and complete model of the untyped lambda calculus -- a cartesian closed category with a reflexive object. We then show how to extend this to additive and differential (if time permits) variants of the lambda calculus. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160126/44fff054/attachment.html From jdgall84 at gmail.com Tue Feb 2 17:36:44 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Feb 2 17:37:36 2016 Subject: [Alta-Logic] peripatetic seminar Message-ID: Greetings, We are having a peripatetic seminar, tomorrow, February 3, at 12:30 in ICT 616. Title: On Sound and Complete Models of the Lambda Calculus Abstract: We will show that Turing categories with an additional property are sound and complete models of the untyped lambda calculus. We will show that the idempotent splitting of such a Turing category is a Cartesian closed category with a reflexive object. Extensions may be considered. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160202/3ef6dc90/attachment.html From rzach at ucalgary.ca Tue Feb 2 21:00:06 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Tue Feb 2 21:00:26 2016 Subject: [Alta-Logic] March 3: Potential Infinity: A Modal Account (Calgary Mathematics & Philosophy Lecture) Message-ID: <56B17B46.3010702@ucalgary.ca> Please mark your calendars: http://ucalgary.ca/mathphil/ Potential Infinity: A Modal Account Stewart Shapiro The Ohio State University Thursday, March 3, 2016, 3:30 pm ST 141 Beginning with Aristotle, almost every major philosopher and mathematician before the nineteenth century rejected the notion of the actual infinite. They all argued that the only sensible notion is that of potential infinity. The list includes some of the greatest mathematical minds ever. Due to Georg Cantor?s influence, the situation is almost the opposite nowadays (with some intuitionists as notable exceptions). The received view is that the notion of a merely potential infinity is dubious: it can only be understood if there is an actual infinity that underlies it. After a sketch of some of the history, Prof. Shapiro will analyze the notion of potential infinity, in modal terms, and assess its scientific merits. This leads to a number of more specific questions. Perhaps the most pressing of these is whether the conception of potential infinity can be explicated in a way that is both interesting and substantially different from the now-dominant conception of actual infinity. One might suspect that, when metaphors and loose talk give way to precise definitions, the apparent differences will evaporate. A number of differences still remain. Some of the most interesting and surprising differences concern consequences that one?s conception of infinity has for higher-order logic. Another important question concerns the relation between potential infinity and mathematical intuitionism. In fact, as will be shown, potential infinity is /not/ inextricably tied to intuitionistic logic. There are interesting explications of potential infinity that underwrite classical logic, while still differing in important ways from actual infinity. However, on some more stringent explications, potential infinity does indeed lead to intuitionistic logic. (The lecture is based on joint work with ?ystein Linnebo.) *Stewart Shapiro * is O'Donnell Professor of Philosophy at The Ohio State University. He is an eminent logician and philosopher of mathematics, well-known for his work on second-order logic and on mathematical structuralism. He is the author of numerous articles and of five books, including most recently /Vagueness in Context/ (2006) on vagueness and logic, and /Varieties of Logic/ (2014) on logical pluralism. /This talk is the second annual Calgary Mathematics & Philosophy Lecture, co-sponsored by PIMS , the Pacific Institute for the Mathematical Sciences, and the Department of Philosophy . The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. The event is free & open to the public; a reception follows./ -------------- next part -------------- Skipped content of type multipart/related From jdgall84 at gmail.com Tue Feb 9 14:13:00 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Feb 9 14:13:43 2016 Subject: [Alta-Logic] no peripatetic seminar tomorrow, but Message-ID: There is no peripatetic seminar tomorrow at 12:30. Instead we will have a working session, led by JS Lemmay, on analytic functions in the usual room ICT 616. Do feel free to come. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160209/0f83098d/attachment.html From jdgall84 at gmail.com Tue Feb 16 11:29:25 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Feb 16 11:30:08 2016 Subject: [Alta-Logic] informal talk today Message-ID: There will be an informal talk today at 3pm in ICT 616. Title: Universal Objects in Cartesian Differential Categories Abstract: We will investigate when an object $U$ in a category with products determines a differential structure on the entire category. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160216/ee019227/attachment.html From jdgall84 at gmail.com Tue Feb 16 11:56:06 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Feb 16 11:56:50 2016 Subject: [Alta-Logic] peripatetic seminar Wednesday Message-ID: Location: ICT 616 at 12:30 pm Speaker: Geoff Cruttwell Title: Differential forms in tangent categories Abstract: Tangent categories, first defined by Rosicky in 1984, have recently enjoyed renewed interest in the category theory community. A tangent category is a category equipped with an abstract analog of the tangent bundle functor T for smooth manifolds. Examples include the category of smooth manifolds and extensions of it (eg., convenient manifolds, synthetic differential geometry), categories in algebraic geometry, and categorical models of differential linear logic. In this talk we will look at the question of how to define differential forms in a tangent category. It turns out that the most natural formulation of differential forms in this setting is not the standard one (in which a differential form of an object M is a map whose domain is the object of n tangent vectors at a point of M) but instead are maps whose domain is the result of n applications of T to M. We'll look at the definition of these "singular" forms, a closely related notion of "tangent form", and discuss how these two definitions relate to classical differential forms. This is joint work with Rory Lucyshyn-Wright. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160216/3d76b6e0/attachment.html From rzach at ucalgary.ca Fri Feb 26 18:06:12 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Fri Feb 26 18:06:27 2016 Subject: [Alta-Logic] Logic Events Next Week! Message-ID: <56D0F684.5060709@ucalgary.ca> Next week, on March 3, at 3:30 in ST 141, Philosophy and PIMS are cohosting a public lecture by Stewart Shapiro (Ohio State), "Potential Infinity: A Modal Account" http://ucalgary.ca/mathphil On Friday and Saturday, the logic fun will continue with three talks around the topic of Logical Pluralism On Friday, March 4, at 3pm, we'll have Gillian Russell (North Carolina) on "Pluralism and Abductive Methodology" On Saturday, March 5, at 11am, Allen Hazen (Alberta) will speak on "An argument for Church's Thesis, with methodological remarks about the choice of logics" There will be lunch served in the Philosophy Department at 1pm. At 2pm, Stewart Shapiro will deliver a second talk, "Pluralism, normativity, and meaning" Please let me know if you would like to have lunch or dinner with Stewart (and Allen Hazen) on Thursday! -R -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- Skipped content of type multipart/related From rzach at ucalgary.ca Thu Mar 3 11:21:00 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Mar 3 11:21:11 2016 Subject: [Alta-Logic] Reminder: logic talks today, tomorrow, Saturday Message-ID: <56D8808C.4030608@ucalgary.ca> Today at 3:30 in ST 141: Potential Infinity: A Modal Account, by Stewart Shapiro (The Ohio State University) http://ucalgary.ca/mathphil/ Tomorrow at 3pm in SS 1253: Pluralism and abductive methodology, by Gillian Russell (Chapel Hill) Saturday at 11am in SS 1253: An argument for Church's Thesis, with methodological remarks about the choice of logics, by Allen Hazen (UofA) Saturday at 2pm in SS 1253: Pluralism, normativity, and meaning, by Stewart Shapiro (The Ohio State University) http://phil.ucalgary.ca/event/2016-03-04/logical-pluralism-miniconference-allen-hazen-alberta-gillian-russell-unc-chapel -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From jdgall84 at gmail.com Tue Mar 8 17:38:38 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Mar 8 17:39:23 2016 Subject: [Alta-Logic] peripatetic seminar Message-ID: Speaker: JS Lemma Time and Location: 12:30 pm March 9 in ICT 616 Title: Cartesian Integral Categories -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160308/65401ec6/attachment.html From jdgall84 at gmail.com Tue Mar 15 17:11:07 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Mar 15 17:11:52 2016 Subject: [Alta-Logic] peripatetic seminar Message-ID: Location: ICT 616 @ 12:30 pm; Wednesday March 16 Speaker: Ben Macadam Title: The category of ultrametric spaces Abstract: An introduction to the category of ultrametric spaces. Various properties and structures on ultrametric spaces will be discussed. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160315/3b2efdb6/attachment.html From jdgall84 at gmail.com Tue Apr 12 11:49:28 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Apr 12 11:50:49 2016 Subject: [Alta-Logic] peripatetic seminar tomorrow Message-ID: There is a talk tomorrow: Location: ICT 616 at 12:30 pm -- Wednesday April 13 Speaker: Kristine Bauer Title: The chain rule for functors -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160412/3fff5348/attachment.html From jdgall84 at gmail.com Wed May 4 16:39:33 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed May 4 16:40:47 2016 Subject: [Alta-Logic] peripatetic seminar this Friday Message-ID: We are pleased to announce a special peripatetic seminar this Friday. Speaker: Laura Scull Title: Atlases for Ineffective Orbifolds Location: ICT 616 at 2 pm, Friday May the 6 Effective orbifolds were originally defined via charts and atlases, analogous to manifolds. In the current literature, they are often defined instead via certain topological groupoids, which gives a more convenient category for studying them. These two approaches are known to be equivalent and produce the same objects. More recently, applications arising in geometry and physics have led to an interest in more general ineffective orbifolds. However, the current generalizations of the atlas definition do not correspond to the objects created by ineffective topological groupoids. I will discuss a project, joint with D. Pronk and M. Tommasini, where we develop an alternate atlas definition for ineffective orbifolds. Our atlases generalize the existing effective atlas definition, and our definition leads to the same objects as those defined by ineffective topological groupoids. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160504/09507713/attachment.html From robin at ucalgary.ca Sun May 29 15:13:37 2016 From: robin at ucalgary.ca (Robin Cockett) Date: Sun May 29 15:14:21 2016 Subject: [Alta-Logic] Talk by Brigitte Pientka (McGill) Message-ID: Time: 2:00pm Tuesday 31st May Place: ICT616 Title: Programming Coinductive Proofs Using Observations Speaker: Brigitte Pientka (McGill) Abstract: Coinduction is a key proof technique to establish properties about systems that continue to run and produce results (i.e. network or communications protocols, I/O interaction, data streams, or processes) . Yet, mechanizing coinductive proofs about formal systems and representing, generating and manipulating such proofs remains challenging. In this talk, we develop the idea of programming coinductive proofs dual to the idea of programming inductive proofs. Unlike properties about finite data which can be defined by constructing a derivation, properties about infinite data can be described by the possible observations we can make. Dual to pattern matching, a tool for analyzing finite data, we develop the concept of copattern matching, which allows us to describe properties about infinite data. This leads to a symmetric proof language where pattern matching on finite and infinite data can be mixed. Bio: Brigitte Pientka is an Associate Professor in the School of Computer Science at McGill University, Montreal, Canada. She received her Ph.D. from Carnegie Mellon University and recently has been awarded a Humboldt Research Fellowship. Her research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, she combines theoretical research on the logical foundations of computer science in programming languages and verification with system building. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160529/960d8bfd/attachment.html From jdgall84 at gmail.com Tue Jul 5 11:58:51 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Jul 5 12:00:04 2016 Subject: [Alta-Logic] informal talk on homotopy type theory Message-ID: Greetings, There will be a brief, informal talk today on the topological model of identity types. Title: Topological spaces as a path object category Speaker: Jonathan Gallagher Location: ICT 616 @ 1:30 p.m. July 5. Abstract: We will present an example, due to Garner and van den Berg, that topological spaces bear the structure of a path object category. Path object categories give rise to categorical models of identity types. This will be a short talk. Sincerely, Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160705/4dc316a7/attachment.html From jdgall84 at gmail.com Tue Jul 5 17:59:38 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Jul 5 18:01:14 2016 Subject: [Alta-Logic] homotopy theoretic models of type theory Message-ID: There will be a talk tomorrow on homotopy theoretic models of identity types. Title: Path object categories are homotopy theoretic models of identity types Location: ICT 616 @ 1:30 pm Speaker: Jonathan Gallagher Abstract: In this talk, we will review the notion of type category with identity types as well as homotopy theoretic model of identity types, and then sketch out the result that homotopy theoretic models of identity types are type categories with identity types. Then we will prove that a path object category is a homotopy theoretic model of identity types. This talk is based on the paper "Topological and simplicial models of identity types" by van den Berg and Garner. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160705/6f7b97c0/attachment.html From jdgall84 at gmail.com Tue Sep 13 12:08:53 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Sep 13 12:09:37 2016 Subject: [Alta-Logic] talk friday at 2pm Message-ID: We are pleased to inform you that there is a peripatetic seminar this Friday, at 2 pm. Speaker: Ben MacAdam Location: MS 522 @ 2 pm Friday 16. Title: An introduction to secant theories Abstract: Secant theories will be introduced along with their relationship to Fermat theories, and differential theories. This time may conflict with the mathematics colloquium, but the time is not necessarily fixed. Hope to see you all there! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160913/483f1773/attachment.html From jdgall84 at gmail.com Thu Sep 22 13:04:35 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Sep 22 13:05:20 2016 Subject: [Alta-Logic] peripatetic seminar tomorrow Message-ID: I am delighted to inform you that there is a peripatetic seminar tomorrow, at 2pm. Speaker: Kristine Bauer Location: ICT 616, Friday, September 22, at 2 pm. Title: The differential category of abelian functors Abstract: In homological algebra, it is common to conflate an abelian category A with it associated category of chain complexes, Ch A. This practice is made precise by realizing that Ch(-) is a monad which acts on the category of abelian categories and gives it the structure of a Kleisli category. There is a functor calculus for functors of abelian categories due to Johnson-McCarthy. The linearization process from this calculus gives rise to a kind of directional derivative. In this talk, I will show that abelian categories equipped with these structures satisfy the axioms defining a differential category, at least, up to quasi-isomorphism. This is joint work with Brenda Johnson, Christina Osorno, Emily Riehl, and Amelia Tebbe. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160922/89b31840/attachment.html From jdgall84 at gmail.com Thu Sep 22 13:13:45 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Sep 22 13:14:37 2016 Subject: [Alta-Logic] minor edit Message-ID: The location is Friday, September *23*, at 2pm. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160922/f172ad86/attachment.html From jdgall84 at gmail.com Thu Sep 29 12:22:34 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Sep 29 12:23:18 2016 Subject: [Alta-Logic] peripatetic talk tomorrow Message-ID: We are pleased to announce a very special peripatetic seminar tomorrow afternoon. Speaker: Matthew Burke Location: MS 522 at 2pm Friday September 30 Title: Lie theory for categories using infinitesimals Abstract: In this talk we will describe a generalisation of classical Lie theory in which Lie groups are replaced by a special type of category. First we will review the main objects of study in classical Lie theory and Lie's second and third theorems. We will also describe the established generalisation of Lie theory involving Lie groupoids. Then we will sketch how to construct two different approximations of a category in a well-adapted model of synthetic differential geometry. The first uses the nilpotent infinitesimals in synthetic differential geometry and the second an intuitionistic double negation operator. Finally we show how to state and prove Lie's second theorem for both of these approximations. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160929/18737bf7/attachment.html From rzach at ucalgary.ca Thu Sep 29 14:26:50 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Sep 29 14:27:00 2016 Subject: [Alta-Logic] Tomorrow: JC Beall (UConn), The one true logic Message-ID: <77485a50-1497-f3c1-0fe0-85ff3a9abd4b@ucalgary.ca> http://phil.ucalgary.ca/event/2016-09-30/philosophy-speakers-one-true-logic *Date & Time: * September 30, 2016 | 3:00 pm - 5:00 pm *Location: * Social Sciences Tower, Room 1253 *Speaker: * J. C. Beall (Connecticut) About the talk The logic FDE (i.e., first-degree entailment) is a very natural but very weak logic. (Examples of weakness: modus ponens fails; there are no logical truths; and more.) This talk begins with a brief review of the FDE picture of logic. (The review is informal and accessible. This talk is not intended to be technical; its focus is on a philosophical picture.) With review of FDE in hand the talk turns to its main task: namely, to explore and defend a view according to which FDE is "the one true logic". The first question: in what sense might FDE be ?the one true logic?? The second question: but how, in light of its conspicuous weakness, /can/ FDE be the one true logic? (We don?t even have modus ponens!) My main aim is to answer these questions in a clear and plausible fashion. About the speaker J. C. Beall is Board of Trustees Distinguished Professor of Philosophy at the University of Connecticut where he is Director of the UConn Logic Group. His books include /Logic: The Basics/, /Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic/ with Bas van Fraassen, /Logical Pluralism/ with Greg Restall, and /Spandrels of Truth/. -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- Skipped content of type multipart/related From jdgall84 at gmail.com Wed Oct 19 12:03:49 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed Oct 19 12:04:44 2016 Subject: [Alta-Logic] peripatetic seminar time change Message-ID: Due to time conflicts with the mathematics colloquium, we are moving the peripatetic seminar to Wednesday at 10:30 am, in ICT 616 for the remainder of the semester. We will resume the seminar next week. Hope to see you all there! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161019/ccc0835d/attachment.html From jdgall84 at gmail.com Thu Oct 27 12:45:17 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Oct 27 12:46:01 2016 Subject: [Alta-Logic] talk Friday 11 am Message-ID: Location: ICT "Jabberwocky" or Theory Reading Library at 11 am Speaker: Robin Cockett Title: Tangent categories and differential bundles -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161027/49632f14/attachment.html From jdgall84 at gmail.com Thu Nov 3 11:34:15 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Nov 3 11:34:59 2016 Subject: [Alta-Logic] peripatetic seminar Friday at 11 am!! Message-ID: Speaker: Robin Cockett Title: Differential Bundles part 2 When: Friday November 4 at 11 am Where: ICT "Theory Reading Library" -- this is on the 6th floor of the ICT building in the back corner -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161103/d5c2f19b/attachment.html From jdgall84 at gmail.com Wed Nov 16 20:07:18 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed Nov 16 20:08:09 2016 Subject: [Alta-Logic] peripatetic seminar Friday Message-ID: Greetings, We will have a peripatetic seminar this Friday: Speaker: Priyaa Varshinee Srinivasan Title: A resource reflecting functor to characterize majorization When: Friday 18 November, 2016 Where: ICT 6th floor -- in the theory reading library Abstract: We will introduce partitioned symmetric monoidal categories, and two examples: stochastic matrices and a category that captures majorization. We will then introduce the concept of morphism of partitioned symmetric monoidal categories, and show that there is a functor from stochastic matrices to the majorization category that reflects free resources. Hope to see you all there! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161116/c60c46f4/attachment.html From jdgall84 at gmail.com Fri Nov 25 09:00:08 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Fri Nov 25 09:00:53 2016 Subject: [Alta-Logic] talk today Message-ID: Speaker: JS Lemay Title: Integral Categories Location: ICT 6th Floor Theory Reading Library at 11 am Come watch JS's practice talk for the upcoming Union College math conference! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161125/d201d3b1/attachment.html From nicole.wyatt at ucalgary.ca Sat Dec 3 13:39:14 2016 From: nicole.wyatt at ucalgary.ca (Nicole Wyatt) Date: Sat Dec 3 15:40:27 2016 Subject: [Alta-Logic] Vendler Group Meetings and Visiting Speakers: Pronouns and Reference Message-ID: Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: Anand & Nevins 2004 Shifty Operators SALT.pdf Type: application/pdf Size: 1727734 bytes Desc: Anand & Nevins 2004 Shifty Operators SALT.pdf Url : http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161203/ab227a8e/AnandNevins2004ShiftyOperatorsSALT.pdf From jdgall84 at gmail.com Wed Dec 7 19:08:46 2016 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed Dec 7 19:09:56 2016 Subject: [Alta-Logic] peripatetic seminar Friday Message-ID: Location: Theory reading library, 6th floor ICT Time: Friday December 9, at 11 am Speaker: Jonathan Gallagher Title: The differential objects of a representable tangent category Abstract: It is known that the differential objects of any tangent category are always a Cartesian differential category (Cockett and Cruttwell 2014). In this talk, we will explore the additional properties that the differential objects of a representable tangent category have. We will see that they are always Cartesian closed, and in fact, they are Cartesian closed left additive. With one extra coherence, we can obtain a model of the differential lambda calculus. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20161207/9c6f205a/attachment.html