SoSe 2026: Semantics 1 - Revision history

Manfred: /* Interpretation of formulae with logical connectives */

2026-05-06T07:55:03Z

Interpretation of formulae with logical connectives

← Older revision		Revision as of 07:55, 6 May 2026
Line 29:		Line 29:
	== Interpretation of formulae with logical connectives ==		== Interpretation of formulae with logical connectives ==
	Consider these two natural language sentences. While keeping in mind the scenario given in [[ExerciseFOModels-d\|a previous exercise]], create complex formulae with logical connectives and compute the interpretation, respectively.		Consider these two natural language sentences. While keeping in mind the scenario given in [[ExerciseFOModels-d\|a previous exercise]], create complex formulae with logical connectives and compute the interpretation, respectively.

	Consider these two natural language sentences. While keeping in mind the scenario given in [[ExerciseFOModels-d\|a previous exercise]], create complex formulae with logical connectives and compute the interpretation, respectively.


	'''a.)''' Alice is a dog and Lisa and Tom enjoy watching football together.		'''a.)''' Alice is a dog and Lisa and Tom enjoy watching football together.
Line 40:		Line 37:


	Here the interpretation in predicate logic notation:		Here the interpretation in predicate logic notation: ('''Attention:''' This is an informal argumentation, not a formal computation of the truth value!)


Line 71:		Line 68:


	Here the interpretation in predicate logic notation:		Here the interpretation in predicate logic notation: ('''Attention:''' This is an informal argumentation, not a formal computation of the truth value!)


Line 92:		Line 89:
	</div>		</div>
	</div>		</div>


	= Meeting 3 =		= Meeting 3 =

Manfred: /* Meeting 3 */

2026-05-05T20:45:51Z

Meeting 3

@@ Line 2: / Line 2: @@
 Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.
 = Meeting 3 =
@@ Line 122: / Line 213: @@
 </div>
 </div>
 = Meeting 2 =

Manfred: /* Meeting 2 */

2026-04-29T08:11:32Z

Meeting 2

Show changes

Manfred: /* Meeting 1 */

2026-04-21T21:13:40Z

Meeting 1

← Older revision		Revision as of 21:13, 21 April 2026
Line 2:		Line 2:

	Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.		Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.

			= Meeting 2 =
			== Models ==

			{{CreatedByStudents1213}} Involved participants: [[User:Lisa\| Lisa]], [[User:Marthe\| Marthe]], [[User:Elisabeth.krall\| Elisabeth]], [[User:IsaB\|Isabelle]].

			Watch a short podcast what first-order models look like.

			<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>

			Based on this podcast, we can define a scenario as follows:
			* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}<br />
			* Properties:
			:: ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
			:: ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
			:: ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
			:: ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}
			* Relations:
			:: ''GrandChildOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }
			:: ''AfternoonSnackOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }

			From this scenario, we can build a model ''M'' = < ''U'', I >
			* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}
			* Name symbols: '''NAME''' = {'''little-red-riding-hood'''}<br>Note: In our model, only one individual has a name.
			* Predicate symbols: '''PREDICATE''' = {'''red-hood1''', '''female1''', '''big-mouth''', '''live-in-forest1''', '''grand-child-of2''', '''afternoon-snack-of2'''}
			* Interpretation function I:
			:* for name symbols: I('''little-red-riding-hood''') = ''LittleRedRidingHood''
			:* for predicate symbols:<br>
			:: I('''red-hood1''') = ''RedHood'' = { < ''x''> \| ''x'' wears a read hood } = { <''LittleRedRidingHood''> }
			:: I('''female''') = ''Female'' = { <''x''> \| ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }
			:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> \| ''x'' has a big mouth } = { <''Wolf''> }
			:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> \| ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}
			:: I('''grand-child-of2''') = ''GrandChildOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }
			:: I('''afternoon-snack-of2''') = ''AfternoonSnackOf'' = { <''x'',''y''> \| ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > }


	= Meeting 1 =		= Meeting 1 =

Manfred: /* Meeting 1 */

2026-04-18T10:07:51Z

Meeting 1

← Older revision		Revision as of 10:07, 18 April 2026
Line 13:		Line 13:
	== Scenario ==		== Scenario ==

	The Dead Poets Society (film, 1989): [https://en.wikipedia.org/wiki/Dead_Poets_Society https://en.wikipedia.org/wiki/Dead_Poets_Society]		The Dead Poets Society (film 1989; available for streaming on Disney+): [https://en.wikipedia.org/wiki/Dead_Poets_Society https://en.wikipedia.org/wiki/Dead_Poets_Society]

Manfred at 09:58, 18 April 2026

2026-04-18T09:58:59Z

← Older revision		Revision as of 09:58, 18 April 2026
Line 2:		Line 2:

	Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.		Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.

			= Meeting 1 =

			== Video ==

			Challenging phenomena at the syntax-semantics interface

			<embedvideo service="youtube" dimensions="400">https://youtu.be/zaBC9dKXe5A</embedvideo>

			== Scenario ==

			The Dead Poets Society (film, 1989): [https://en.wikipedia.org/wiki/Dead_Poets_Society https://en.wikipedia.org/wiki/Dead_Poets_Society]

Manfred: Created page with "Course description Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic r..."

2025-12-11T23:39:16Z

Created page with "Course description Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic r..."

New page

Course description

Semantics is the study of the (literal) meaning of words and sentences. The meaning of a sentence is usually predictable from the words in the sentence and its syntactic structure. Yet, this relationship between form and meaning is not a simple one-to-one mapping. Instead, it is rich in ambiguities, pleonastic marking and elements without any identifiable meaning contribution. We will work on an account that is founded on classical tools of semantic research but still directly addresses these empirical challenges. After the class, the participants will be able to identify - and partly analyze - interesting semantic phenomena in naturally occurring texts. They will have acquired a basic working knowledge in formal logic, which they will be able to apply in the description of meaning.