Canción (lírica)
La canción lírica es una composición en forma de poema admirativo que denota una emoción y un tema. Por lo regular siempre son de tipo amoroso. Sus orígenes se remontan a los trovadores provenzales, quienes escribían juntas letra y música. Más adelante el género lírico de la Provenza dio origen al soneto.
Principio de composicionalidad
Formalmente, una sintaxis puede entenderse como un álgebra parcial E = , donde E es el conjunto de expresiones, P el conjunto de expresiones primitivas y Σ un conjunto de operaciones tales que E es generado a partir de P mediante Σ (intuitivamente, Σ puede entenderse como el conjunto de reglas gramaticales; por simplicidad, puede asumirse los miembros de E son formas lógicas desambiguadas). Una semántica, a su vez, puede entenderse como una función μ: E→M que vincula cada expresión gramatical con su significado. Las formulaciones "funcional" y "sustitucional" del principio de composicionalidad pueden darse como sigue:Quienes ponen en duda el principio de composicionalidad señalan que en ocasiones, el significado de una expresión compleja puede variar según las intenciones del hablante y el contexto. Por ejemplo, la oración "Abelardo ama a Eloísa" puede significar algo distinto si el hablante está siendo irónico. Los defensores del principio pueden responder que estas son cuestiones de pragmática, y que el principio es un principio semántico. Aunque es debatible si los lenguajes naturales cumplen con el principio de composicionalidad, muchos lenguajes formales se diseñan para que cumplan con el principio.