Logik als Modellierungswerkzeug
Vrije University - Summer & Winter graduate programs
Schlüsselinformation
Campus-Standort
Amsterdam, Niederlande
Sprachen
Englisch
Studienformat
Auf dem Campus
Dauer
2 Wochen
Tempo
Vollzeit
Studiengebühren
EUR 735 *
Bewerbungsschluss
Infos anfordern
frühestes Startdatum
21 Jul 2024
* Studierende der VU
Einführung
Während des gesamten Kurses werden wir die Teilnehmer ermutigen, darüber nachzudenken, wie Logik auf ihre Interessengebiete angewendet werden kann.
Logik ist das Studium verschiedener Arten des Denkens. Logik ist auch eine Technologie, ein Werkzeug zur eleganten Modellierung verschiedener Phänomene. Ziel des Kurses ist es, Ihnen dieses Tool vorzustellen und zu erklären, wie es verwendet werden kann. Der Kurs ist in 3 Teile gegliedert.
Wir führen die klassische Logik als Ausgangspunkt ein und zeigen, wie viele unterschiedliche Denksysteme (Logiken) als Variationen entstehen. Wir werden zwei grundlegende Arten des Studiums einer Logik über Semantik und Syntax vorstellen. Letzteres eignet sich natürlich für Modellierung und automatisiertes Schließen. Wir werden auch Anwendungen in den Sozialwissenschaften diskutieren, die sich auf Handlungsfähigkeit und Informationsfluss konzentrieren. Wir werden logische Formalismen einführen, mit denen wir Situationen modellieren können, in denen Wahrheit sozial konstruiert wird, und Begriffe wie Wissen und Gruppen- und Allgemeinwissen entwickeln.
Das übergreifende Thema im Umgang mit Anträgen ist der Begriff der Kategorien und Kategorisierung. Kategorisierung ist die Aktivität, Dinge wie Objekte oder Ideen basierend auf ihren Ähnlichkeiten oder gemeinsamen Kriterien in Kategorien einzuordnen. Wir werden die Kategorisierungstheorie formal einführen, ausgehend von der klassischen Theorie des Aristoteles bis hin zur Prototypen- und Exemplartheorie. Wir werden diese Begriffe formalisieren und erklären, wie die Werkzeuge der Logik verwendet werden könnten, um Vagheit in diese Theorie einzubeziehen.
Der dritte Teil des Kurses verwendet die grundlegende Entwicklung aus Teil 1 und die Modellierungsintuitionen aus Teil 2. Wir werden in das Studium der formalen Linguistik einführen, wo Wörter hinsichtlich ihrer Rolle bei der Satzbildung klassifiziert werden. Ein Wort kann als Nominalphrase, transitives Verb usw. kategorisiert werden. Syntaktische Kategorien werden dann entsprechend den Bildungsregeln kombiniert, um komplexe Ausdrücke zu bilden. Wir werden sehen, wie ein grammatikalisch korrekter Satz dann durch einen formalen Beweis oder einen Berechnungsprozess erfasst werden kann und wie unterschiedliche Lesarten unterschiedlichen Beweisen entsprechen.
Galerie
Ideale Studenten
Unsere Zielgruppe sind Studierende mit unterschiedlichem Hintergrund, die sich mit mathematischem Denken, akademischer Reife und interdisziplinären Interessen auskennen. Wir setzen keine Fachkenntnisse voraus. Konkret richten wir uns an fortgeschrittene Bachelorstudierende und Masterstudierende aus den Bereichen Mathematik, Informatik, Wirtschaftswissenschaften, Philosophie, Finanzen, Rechnungswesen und Linguistik.
Neben Bachelor- und Masterstudierenden freuen wir uns auch über Doktoranden und Berufstätige, die sich für den Studiengang bewerben möchten.
Admissions
Stipendien und Finanzierung
Equal-Access-Stipendium
Bewerbungsverfahren
Die Bewerbungsfrist ist abgelaufen. Eine Bewerbung für das Equal-Access-Stipendium ist nicht mehr möglich.
Schön, dass Sie sich für das Equal Access-Stipendium bewerben möchten. Über diesen Link (abgelaufen) können Sie sich ab dem 1. Februar und 1. April für das Stipendium bewerben. Bitte beachten Sie, dass die Auswahl nur eines Kurses möglich ist.
Die Ergebnisse der Stipendienauswahl werden Mitte Mai bekannt gegeben. Da wir für eine große Zahl an Bewerbern nur eine begrenzte Anzahl an Stipendien zur Verfügung haben, empfehlen wir – wenn möglich! - um Ihre Zahlung zum Zeitpunkt Ihrer Kursanmeldung abzuschließen, um Ihren Platz im Kurs zu garantieren. Wenn Sie jedoch ohne das Stipendium nicht kommen können, können Sie einfach bis zur Ausschreibung warten. Wenn Sie kommen möchten, unabhängig davon, ob Ihnen das Stipendium gewährt wird, sichern Sie sich am besten Ihren Studienplatz, indem Sie Ihre Zahlung über unser reguläres Bewerbungsformular abwickeln. Wenn Ihnen das Stipendium gewährt wird, werden Ihnen die Studien- und Unterkunftskosten erstattet.
Frist für die Einreichung Ihres Equal-Access-Stipendienantrags: 31. März (23:59 Uhr MEZ).
Fotografenstipendium
Lieben Sie es, Momente, Menschen und Umgebungen mit Ihrem Smartphone/Ihrer Kamera festzuhalten? Du verfügst über gute Redaktionsfähigkeiten und eine Leidenschaft für soziale Medien? Werden Sie unser Summer School-Fotograf! Dieses Fotografenstipendium wird nur denjenigen angeboten, die an einem zweiwöchigen Kurs teilnehmen oder an beiden Sitzungen teilnehmen.
Was bieten wir an:
- 500 € Rabatt auf die Studiengebühr
- Eine Reihe kostenloser sozialer Aktivitäten (wird vom Sommerteam zugeteilt, Voraussetzung: Fotos müssen gemacht werden)
Was erwarten wir von Ihnen:
- Fotos Ihrer Zeit an der VU Amsterdam Summer School (Fotos von Kommilitonen, Amsterdam, Ausflügen und Rahmenprogramm)
- Erstellen von Inhalten/Story-Takeovers auf dem Instagram-Konto der VU Amsterdam
- Teilnahme am Rahmenprogramm (kostenlos und nach Verfügbarkeit)
- Teilnahme am Fotografen-Kick-off-Meeting
Bewerbungsverfahren*
Bitte senden Sie ein kurzes Video, in dem Sie sich vorstellen (ca. 30 Sekunden bis 1 Minute) und einige Beispiele Ihrer Fotoarbeiten an [email protected]. Bitte verwenden Sie als Betreff „Fotografenstipendium“. Wichtig ist die Verwendung eines eigenen Smartphones oder einer eigenen Kamera. Bewerbungsschluss: 14. Mai 23:59 (MEZ).
Da die Bewerbungsfrist für Fotografen nach der Anmeldefrist für den Kurs liegt, ist es wichtig, dass Sie sich vor Ablauf der Bewerbungsfrist am 1. Mai für den Kurs bewerben und bezahlen, an dem Sie interessiert sind. Wenn Sie das Stipendium gewinnen, werden Ihnen die 500 €, die das Stipendium gewährt, zurückerstattet. Wenn Ihnen das Stipendium nicht gewährt wird und Sie ohne die Teilförderung nicht am Kurs teilnehmen können, können Sie bis zum 16. Mai noch eine volle Rückerstattung erhalten. Wenn Sie ohne das Stipendium nicht teilnehmen können, können Sie sich auch dafür entscheiden, bis zur Bekanntgabe der Gewinner zu warten und sich somit nicht vorher für den Kurs zu bewerben. Dies kann jedoch dazu führen, dass der Kurs, an dem Sie interessiert sind, nicht mehr verfügbar ist. Wir also. Wir empfehlen Ihnen dringend, sich möglichst vor Ablauf der offiziellen Kursanmeldefrist über unsere Bewerbungsseite zu bewerben.
*Wenn Sie ein Austauschstudent im Sommer oder ein Kandidat für einen Universitätspartner sind (Kursgebühren und/oder Unterkunft werden von Ihrer Universität finanziert), dann kommen Sie für dieses Stipendium leider nicht in Frage.
Lehrplan
Der Unterricht findet von Montag, 4. Juli, bis Freitag, 15. Juli, statt. Der Unterricht findet in der Regel unter der Woche zwischen 9 und 17 Uhr statt (Ausnahmen bitte beachten). Mittwochnachmittage und Wochenenden stehen für optionale gesellschaftliche Aktivitäten oder persönliche Zeit frei. Beachten Sie bitte, dass in Ihrer Freizeit (nachts und am Wochenende) Selbststudium erforderlich ist. Samstag, 2. Juli und Samstag, 16. Juli sind An- und Abreisetage (falls Sie die Unterkunft über unseren Wohnungsservice arrangieren). Weitere Einzelheiten werden im Kursplan bekannt gegeben, der den Teilnehmern im Juni mitgeteilt wird.
Programmergebnis
Am Ende dieses Kurses sind die Studierenden in der Lage:
- Verstehen Sie, was mit dem Studium der Logik gemeint ist, und fassen Sie zusammen, wie verschiedene Denksysteme (Logiken) entstehen, und skizzieren Sie, wie sie untersucht werden können.
- Erklären Sie die Beziehung zwischen Beweistheorie und Logik.
- Listen und vergleichen Sie verschiedene Logiken und veranschaulichen Sie, wie sie sich von der klassischen Logik unterscheiden.
- Zeigen Sie, wie Logik zur Modellierung verschiedener Phänomene eingesetzt werden kann.
- Unterscheiden Sie die Doppelrolle der Logik als idealisierte Form des Denkens und als Modellierungswerkzeug.
- Entwickeln Sie eine Reife in Bezug auf abstrakte Modellierung und Argumentation.