Cut-Simulation and Impredicativity

We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for classical type theory -- is like adding cut. The phenomenon equally applies to prominent axioms like Boolean- and functional extensionality, induction, choice, and description. This calls for the development of calculi where these principles are built-in instead of being treated axiomatically.Comment: 21 page

Ariadne as the Exemplum of the Virtutes of Heroes in Catullus Carmen 64

In Carmen 64, Catullus establishes Ariadne as an exemplum of a new type of hero whose uirtutes are motivated by love rather than by the desire for glory that motivated traditional male epic heroes. Catullus utilizes the ecphrasis, a literary device which is traditionally a digression from the main narrative, to place Ariadne in this new heroic role. The first chapter reviews the past scholarship of Carmen 64. The second chapter examines how Catullus makes Ariadne the exemplum of this new type of hero while presenting a negative portrayal of Theseus. The third chapter discusses how the wedding of Peleus and Thetis and the prophecy of Achilles are exempla of the praised amores and criticized uirtutes established in the portrayals of Ariadne and Theseus in the ecphrasis

A Phenomenological Study of the Use of Humor as a Teaching Tool by Middle and High School Teachers

The purpose of this transcendental phenomenological study was to understand perceptions of instructional classroom humor used to help students learn and master new material, among teachers at middle and high schools in rural Appalachia districts. Using humor in the classroom is generally defined as deliberate planning and utilization of subject relevant humor in an attempt to improve students’ learning outcomes. Rural Appalachia was defined as the area geographically located in or near the Appalachian Mountain range, and the dominant socioeconomic culture found there. The theories guiding this study were (a) Bandura’s social learning theory, as it describes the way students learn from observing others and through vicarious experiences, such as teachers’ use of humor, (b) Vygotsky’s social development theory as it relates to the idea of children learning first socially then individually, and (c) the incongruence theory of humor as supported by Kant, as it provides an explanation for humor as the act of understanding something unexpected. Data were collected through interviews, a focus group interview, and classroom observations conducted with 10 purposefully selected middle and high school teachers who used humor in the classroom. Data were analyzed using a modified version of Moustakas’ seven steps, as described by Creswell. Analysis revealed humor use fell into three major themes: relationships, instruction, and environment

Combatting Secular Humanism: Creating a Strategy to Teach Theology and Apologetics to High School Students

In today’s society, there are more distractions than ever before. Students graduate from high school and often face worldview attacks from their professors. Many times, students do not have a solid enough understanding of a biblical worldview to respond confidently. The postmodern culture has created a gap between student’s emotional need and the intellectual need for a solid biblical foundation. Secular humanism has become a dominating worldview in our culture, and this project will formulate a strategy to teach theology and apologetics to high school students to combat secular humanism. Discipleship is training of a person’s mental, emotional, and spiritual qualities, and this project has combined all three to better equip today’s youth. Many youth pastors struggle to incorporate solid theology and apologetics teaching into their programs, many times due to lack of training. This curriculum has a secondary goal of helping youth pastors realize the need for Apologetics as pre-evangelism. The curriculum will help youth pastors recognize the need and realize how easily accessible curriculum like this is

Treatment of Travel Expenses by Golf Course Patrons: Sunk or Bundled Costs and the First and Third Laws of Demand

To attract golf patrons, sport managers must understand consumption patterns of the golfer. Importantly, the treatment of travel costs must be understood. According to the Alchian-Allen (1964) theorem, golfers treat travel costs as bundled costs (third law of economic demand) whereas classical consumer theory indicates that golfers treat travel costs as sunk costs (first law of economic demand). The purpose of this study was to determine if golf patrons treated travel costs as sunk costs or if they treated travel costs as a bundled cost. Data from a survey of course patrons in Ohio support the treatment of travel costs as bundled costs by golf course patrons, especially those classified as tourists. Managers should utilize geographic segmentation in choosing whom to market their course based upon their product’s price compared to area competitors, as shown by the strong, positive correlation found between distance traveled and cost of green fees.Alchian-Allen Theorem; Third Law of Demand; Golf Tourism; Bundling

Major League Baseball Anti-Trust Immunity: Examining the Legal and Financial Implications of Relocation Rules

Major League Baseball (MLB) rules restrict the movement of any franchise into another’s territory. These territorial rules are designed to protect each team’s potential local revenue sources as well as to provide stability throughout the league. Recently, Major League Baseball approved financial compensation for the Washington Nationals move into the Baltimore Orioles’ territory – primarily because it was in the best interest of MLB even though it hurt the Orioles. However, the Oakland Athletics were unable to even negotiate a potential compensation plan for a move into the San Francisco Giants territory, despite the apparent financial benefit the move could have provided for every other league franchise. The Athletics are already located within 15 miles of the Giants, and their potential 40 mile move to San Jose, California would not add a new team to the San Francisco Bay Area; rather, it would simply be a move of a current team to a different location within the metropolitan area. The refusal of the Giants or MLB to negotiate a potential compromise has kept the Oakland Athletics in a substandard facility and has led to their potential move to Fremont, CA – a less desirable location than San Jose. This paper investigates the legal, policy, and financial considerations concerning Major League Baseball’s territorial rules. Specifically, it addresses antitrust law as it pertains to American professional sport, relative sport franchise relocation cases, financial arguments why leagues desire to control relocation, financial components of MLB’s current Collective Bargaining Agreement, and the legal and financial impact of a challenge to MLB’s territorial rules – an option the Oakland Athletic initially investigated prior to their decision to pursue a potential move to Fremont.Antitrust law; Collective Bargaining Agreement; Franchise Relocation; Major League Baseball; Revenue Sharing; Territorial Rights