Graduate studies at Western
Journal of Logic, Language and Information 12 (2):153-182 (2003)
|Abstract||We investigate two formalizations of Optimality Theory, a successful paradigm in linguistics.We first give an order-theoretic counterpart for the data and processinvolved in candidate evaluation.Basically, we represent each constraint as a function that assigns every candidate a degree of violation.As for the second formalization, we define (after Samek-Lodovici and Prince) constraints as operations that select the best candidates out of a set of candidates.We prove that these two formalizations are equivalent (accordingly, there is no loss of generality with using violation marks and dispensing with them is only apparent).Importantly, we show that the second formalization is equivalent with a class of operations over sets of formulas in a given logical language.As a result, we prove that Optimality Theory can be characterized by certain cumulative logics.So, applying Optimality Theory is shown to be reasoning by the rules of cumulative logics.|
|Keywords||cumulative logics non-monotonic logics Optimality Theory|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gerhard Jäger (2002). Some Notes on the Formal Properties of Bidirectional Optimality Theory. Journal of Logic, Language and Information 11 (4):427-451.
Ming Xu (2006). Some Embedding Theorems for Conditional Logic. Journal of Philosophical Logic 35 (6):599 - 619.
William M. Baum (2000). Choice of Mating Tactics and Constrained Optimality. Behavioral and Brain Sciences 23 (4):589-590.
Angela Potochnik (2009). Optimality Modeling in a Suboptimal World. Biology and Philosophy 24 (2):183-197.
Richard Zach (2007). First-Order Gödel Logics. Annals of Pure and Applied Logic 147:23-47.
Klaus Bonik, Wolfgang Friedrich Gutmann & D. Stefan Peters (1977). Optimierung Und Ökonomisierung Im Kontext Von Evolutionstheorie Und Phylogenetischer Rekonstruktion. Acta Biotheoretica 26 (2).
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. [REVIEW] Journal of Philosophical Logic 27 (2):179-216.
Added to index2009-01-28
Total downloads3 ( #214,063 of 740,551 )
Recent downloads (6 months)1 ( #61,960 of 740,551 )
How can I increase my downloads?