Semantics 1, WiSe 2014/15 (Sailer) - Revision history

Suzanne: /* Input */

2016-04-03T18:20:15Z

Input

← Older revision		Revision as of 18:20, 3 April 2016
Line 20:		Line 20:
	Watch the following video on logical determiners:		Watch the following video on logical determiners:

	<~~mediaplayer~~> http://youtu.be/5PRL23XcaFY</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>
	<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->		<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->

2015-02-01T02:40:42Z

General information

← Older revision		Revision as of 02:40, 1 February 2015
Line 8:		Line 8:

	Practice material:		Practice material:
	* [[Semantics_1,_WiSe_2014/15:_Mock_exam Mock exam]] with master solutions for WiSe 2014/15		* [[Semantics_1,_WiSe_2014/15:_Mock_exam\| Mock exam]] with master solutions for WiSe 2014/15
	* Master solution for the first assignment sheet		* Master solution for the first assignment sheet
	* Master solution for the second assignment sheet.		* Master solution for the second assignment sheet.

2015-02-01T02:40:28Z

General information

← Older revision		Revision as of 02:40, 1 February 2015
Line 6:		Line 6:

	Register for the olat course at https://olat.server.uni-frankfurt.de/olat/url/RepositoryEntry/2563833857.		Register for the olat course at https://olat.server.uni-frankfurt.de/olat/url/RepositoryEntry/2563833857.

			Practice material:
			* [[Semantics_1,_WiSe_2014/15:_Mock_exam Mock exam]] with master solutions for WiSe 2014/15
			* Master solution for the first assignment sheet
			* Master solution for the second assignment sheet.

	== Material for week 6: Meeting of November 18, 2014 ==		== Material for week 6: Meeting of November 18, 2014 ==

2014-11-25T07:22:14Z

Homework task for the meeting of November 25

← Older revision		Revision as of 07:22, 25 November 2014
Line 105:		Line 105:
	<u>''Example:''</u>		<u>''Example:''</u>
	''Laurence married Romeo to a Capulet.''		''Laurence married Romeo to a Capulet.''
	# determiner: ''~~every~~''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x''		# determiner: ''a''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x''
	# paraphrase: For some ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''.		# paraphrase: For some ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''.
	# formula: ∃ ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))		# formula: ∃ ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))

2014-11-25T07:21:56Z

Homework task for the meeting of November 25

← Older revision		Revision as of 07:21, 25 November 2014
Line 106:		Line 106:
	''Laurence married Romeo to a Capulet.''		''Laurence married Romeo to a Capulet.''
	# determiner: ''every''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x''		# determiner: ''every''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x''
	# paraphrase: For ~~every~~ ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''.		# paraphrase: For some ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''.
	# formula: &~~forall~~; ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))		# formula: ∃ ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))
	# true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.		# true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.

2014-11-25T07:20:26Z

Tasks

← Older revision		Revision as of 07:20, 25 November 2014
Line 51:		Line 51:
	\|\| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets).		\|\| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets).
	+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))		+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))
	- ∃''x'' (('''montague<sub>1</sub>'''(''x'') ~~&and;~~ '''at-party<sub>1</sub>'''(''x'')~~) :~~ '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))		- ∃''x'' ('''montague<sub>1</sub>'''(''x'') : ('''at-party<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))
	\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor.		\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor.
	- ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x''))		- ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x''))

2014-11-24T22:04:06Z

Homework task for the meeting of November 24

← Older revision		Revision as of 22:04, 24 November 2014
Line 95:		Line 95:
	</div>		</div>

	=== Homework task for the meeting of November 24 ===		=== Homework task for the meeting of November 25 ===

	In the following sentences,		In the following sentences,

2014-11-16T12:48:08Z

Input

← Older revision		Revision as of 12:48, 16 November 2014
Line 15:		Line 15:
	Watch the following video on logical determiners:		Watch the following video on logical determiners:

	<mediaplayer> http://youtu.be/5PRL23XcaFY		<mediaplayer> http://youtu.be/5PRL23XcaFY</mediaplayer>
	<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->		<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->
	~~</mediaplayer>~~

	=== Tasks ===		=== Tasks ===

2014-11-16T12:47:40Z

Input

← Older revision		Revision as of 12:47, 16 November 2014
Line 15:		Line 15:
	Watch the following video on logical determiners:		Watch the following video on logical determiners:

	<mediaplayer>http://youtu.be/b0iLejXP9C8</mediaplayer>		<mediaplayer> http://youtu.be/5PRL23XcaFY
			<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->
			</mediaplayer>

	=== Tasks ===		=== Tasks ===

2014-11-14T08:45:35Z

Material for week 6: Meeting of November 18, 2014

← Older revision		Revision as of 08:45, 14 November 2014
Line 8:		Line 8:

	== Material for week 6: Meeting of November 18, 2014 ==		== Material for week 6: Meeting of November 18, 2014 ==

			Work through the material for week 6. Hand in your solution to the '''homework task''' at the meeting of November 25 (this will count as "proof of attendance" for the meeting of week 6).

	=== Input ===		=== Input ===