David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 12 (2):153-182 (2003)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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, Matthias Baaz & Norbert Preining (2007). First-Order Gödel Logics. Annals of Pure and Applied Logic 147 (1):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):75-119.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Added to index2009-01-28
Total downloads11 ( #192,360 of 1,696,258 )
Recent downloads (6 months)5 ( #111,244 of 1,696,258 )
How can I increase my downloads?