Using Logic as a Tool for Modelling

Niveau
Tijdsduur
Logo van VU Amsterdam Summer School
Opleiderscore: starstarstarstarstar_half 9,3 VU Amsterdam Summer School heeft een gemiddelde beoordeling van 9,3 (uit 3 ervaringen)

Tip: meer info over het programma, prijs, en inschrijven? Download de brochure!

Startdata en plaatsen

Er zijn nog geen startdata bekend voor dit product.

VU Amsterdam Summer School biedt haar producten standaard aan in de volgende regio's: Amsterdam

Beschrijving

Logic is the study of different forms of reasoning. It can also be a useful tool for modelling diverse phenomena. This course starts with the basics, as we explain what is meant by logic and illustrate how we can use symbolic language to convey meaning more efficiently than natural language. We will introduce two core approaches to studying logic. The first is through semantics (meaning), and the second is through syntax. This way, we will demonstrate the power of logic as a tool, reinforced with concrete examples. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and pe…

Lees de volledige beschrijving

Veelgestelde vragen

Er zijn nog geen veelgestelde vragen over dit product. Als je een vraag hebt, neem dan contact op met onze klantenservice.

Nog niet gevonden wat je zocht? Bekijk deze onderwerpen: Financieel Engels, Engels, Engels schrijven, Zakelijk Engels en Presenteren in het Engels.

Logic is the study of different forms of reasoning. It can also be a useful tool for modelling diverse phenomena. This course starts with the basics, as we explain what is meant by logic and illustrate how we can use symbolic language to convey meaning more efficiently than natural language. We will introduce two core approaches to studying logic. The first is through semantics (meaning), and the second is through syntax. This way, we will demonstrate the power of logic as a tool, reinforced with concrete examples. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.

Logic is the study of different forms of reasoning. It is also a tool for modelling diverse phenomena. The course aims to familiarise you with this tool and summarise its uses.

The course has three main sections.

1. An Introduction to Logic

The first part of the course will outline what is meant by logic and illustrate how we can use symbolic language in speech for precision. 

We will introduce Classical Logic, which is the reasoning used in truth tables and logic gates, as the starting point. From there, we will show how many different methods of logic arise as variations. 

We will discuss two fundamental ways of studying logic, through both semantics (meaning) and syntax. The latter, which we will study via proof theory, is more naturally suited to modelling and automated reasoning.

In the rest of the course, we will use concrete examples to illuminate the applications and power of logic as a tool. 

2. Social Applications

In the second part of the course, we will discuss the applications of logic in the social sciences, focusing on agency and information flow.

The students will get to grips with logical formalisms, allowing us to model situations such as the idea that truth is a social construct. We will then evaluate knowledge, belief, group knowledge, common knowledge, probabilistic reasoning, and belief revision within this framework.

One of the main topics which concerns the applications of logic is categorisation.

Categorisation refers to the process of placing objects or ideas into categories based on their similarities or standard criteria. 

Categorisation is a fundamental process that helps us to make sense of the world. For this reason, we will cover categorisation theory in-depth, starting from the classical theory of Aristotle and ending with the more recent prototype and exemplar theories.

We will also explore how fuzzy logic can interfere with this theory and its effectiveness as a tool.

3. Formal Linguistics

The course’s final part will bring the first part’s foundational ideas and the second part’s modeling intuitions together. 

We will also look at formal linguistics, which is concerned with the classification of words and their role within sentence formation. 

We can categorise a word in many ways since it can be a noun phrase, a transitive verb, a modifier, and many more things.

Using words within syntactic frameworks, we can build complex expressions that adhere to sentence formation rules. 

We will explore how to produce a grammatically correct sentence using formal proof or a process of computation and how different readings correspond to different proofs. 

We will see how exceptions can be systematically captured due to the rules of interactions between different entities. 

Blijf op de hoogte van nieuwe ervaringen

Er zijn nog geen ervaringen.

Deel je ervaring

Heb je ervaring met deze cursus? Deel je ervaring en help anderen kiezen. Als dank voor de moeite doneert Springest € 1,- aan Stichting Edukans.

Er zijn nog geen veelgestelde vragen over dit product. Als je een vraag hebt, neem dan contact op met onze klantenservice.

Download gratis en vrijblijvend de informatiebrochure

Aanhef
(optioneel)
(optioneel)
(optioneel)
(optioneel)
(optioneel)
(optioneel)
(optioneel)

Heb je nog vragen?

(optioneel)
We slaan je gegevens op om je via e-mail en evt. telefoon verder te helpen.
Meer info vind je in ons privacybeleid.