For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

Abstract: This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.

For more information, see http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

In this (tutorial) talk we present some of the usual (very) large cardinals, which are those described by the existence of elementary embeddings between transitive class models of ZFC set theory. We look at some standard results and techniques in the context of such elementary embeddings. Subsequently, we introduce the hierarchies of C^(n)-cardinals, which were defined and studied by Bagaria, giving an overview of their properties and connections with the usual large cardinal hierarchy. Finally, we mention some recent applications of C^(n)-cardinals outside of set theory. (The talk is meant to be accessible to master level students.)

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

In celebration of Rineke Verbrugge's many contributions to science and academia on 12th March 2015, we are organizing a workshop that covers wide range of topics such as logic, AI, and cognitive science. The workshop will be held at the second floor of the Bernoulliborg building of the University of Groningen.

For more information, see http://www.ai.rug.nl/SocialCognition/2015/03/04/schedule-workshop-rineke50/

For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

In this talk, I will introduce you to the ontological argument for the existence of God: Its birth in the Middle Ages, its apparent death in the Age of Enlightenment and Gödel's (in)famous ontological proof as an example of its phoenix-like resurrection in our age. To him, the ontological argument posed a logical challenge, namely, "in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible." I will walk you through his formal proof in detail.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

This workshop will adress questions in collective decision making from the perspectives of a variety of disciplines, including artificial intelligence, computer science, logic, economics, political science and philosophy. There is no registration fee and everyone is very welcome to attend. However, please register through the website at least one week in advance.

For more information, see https://staff.science.uva.nl/u.endriss/workshop-2015/

This workshop will adress questions in collective decision making from the perspectives of a variety of disciplines, including artificial intelligence, computer science, logic, economics, political science and philosophy. There is no registration fee and everyone is very welcome to attend. However, please register through the website at least one week in advance.

For more information, see https://staff.science.uva.nl/u.endriss/workshop-2015/

We are happy to announce the second installment of the joint CWI-ILLC table tournament. All employees and students are welcome to join. Besides being a sporting event, this will also be a great opportunity to socialize and get to know some people from CWI. Drinks and snacks will be provided!

Please sign up on this doodle poll, if you're interested: http://doodle.com/fwbdk6ft8u4g5psp. For more information, please contact P.Schulz at uva.nl.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

A fundamental observation about human cognition is that we make "infinite use of finite means," using a limited number of rules and principles to generate unbounded sets of behaviors and to recognize unbounded sets of patterns. In many cases this involves a capacity to both generate and perceive tree structures in stimuli of various types (language, music, social cognition, etc.). Human language in particular requires computational resources that go beyond simple string generation to allow the inference and generation of complex, flexible tree structures. This entails supra-regular (above finite state) computational mechanisms that augment standard finite state mechanisms with a flexible, multi-purpose memory store (a "stack" or equivalent).

I review comparative research gathered over the past decade suggesting that such computational resources are poorly developed or absent in most nonhuman animal species. This body of empirical research implies that the human proclivity for producing and perceiving tree-structured stimuli -- our "dendrophilia" -- represented a key cognitive innovation during recent human evolution. Both brain imaging and comparative research suggest that Broca's area (Brodmann Areas 44 and 45) is an important computational hub for human tree processing, suggesting that this core prefrontal region was harnessed, and its computational role expanded, during the evolution of dendrophilia and human cognitive abilities in general.

For more information, see http://abc.uva.nl/events/item/abc-lecture-tecumseh-fitch.html

SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

For more information, see http://smartcs.humanities.uva.nl/.

For more information, see here or contact M.D.Aloni at uva.nl

SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

For more information, see http://smartcs.humanities.uva.nl/.

SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

For more information, see http://smartcs.humanities.uva.nl/.

We consider the properties of the arithmetically simplest class of universal (i.e. $\Pi^0_1$) sentences undecidable in sufficiently strong arithmetical theories. Following the framework of experimental logic and results of R. G. Jeroslow obtained in Jer75, we therefore answer an epistemological question about cognitive reasons of epistemic hardness of undecidable arithmetical sentences. We prove that by adjoining the minimal (in the sense of being on a very low level of arithmetical hierarchy) possible set of undecidable sentences to recursive set of axioms of arithmetical theory and closing it under logical consequence, we obtain a theory such that it is not algorithmically learnable (i.e. not $\Delta^0_2$).

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

For more information, see http://smartcs.humanities.uva.nl/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.