Over the past three decades, Vietnam has transitioned from an agrarian-based, centrally planned economy to a mixed economy with emerging market status. Additionally, projections indicate that Vietnam will be one of the world’s largest economies by 2050 if growth is sustained at present rates. The evolution of the financial sector, which began with the Doi Moi reforms in the mid-1980s, has been central to facilitating this growth. As the economy has expanded, Vietnam has maintained a gradualist approach to developing market-based (...) mechanisms of resource allocation. However, financial markets are still in an embryonic stage and substantial reform is required if the economy is to meet the expected rates of development. Against this backdrop, this dissertation critically evaluates trends and dynamics in Vietnam’s journey of financial development over the past three decades, with a particular emphasis on the experiences of small and medium-sized enterprises (SMEs). Drawing on quantitative analysis, secondary data and interviews conducted with a range of firms and stakeholders, I argue that financial development in Vietnam has had positive effects in terms of increasing access to funding for SMEs. As the financial system has developed, allocative efficiency has improved to the benefit of SMEs. However, some informants criticised the progress made to date, arguing that a funding mismatch still exists. Specifically, weak corporate governance, state-owned enterprises and a lack of derivatives have prevented effective capital market development. Given Vietnam’s high level of political corruption, this paper concludes that policy makers must place more attention on the political-economic structures of Vietnam if achieving middle-income status is to occur. Specifically, a tighter and more controlled effort to dismantle corporate bureaucracy and nepotism would allow better access to funding for Vietnamese SMEs. (shrink)

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

Straipsnyje analizuojamos Søreno Kierkegaard’o filosofinio personažo Teisėjo Vilhelmo etinės pažiūros. Įprastai Teisėjas Vilhelmas yra siejamas su Hegelio filosofine teorija, kurioje siektinas etinis gyvenimas yra suprantamas kaip Sittlichkeit, vyraujančių etinių bei moralinių normų laikymasis. Analizuojant S. Kierkegaard’o veikalo Arba / arba II dalį, straipsnyje kvestionuojamas tokios sąsajos pagrįstumas ir atskleidžiama, kad esama nemažai argumentų, leidžiančių permąstyti Teisėją Vilhelmą kaip Immanuelio Kanto etikos atstovą.

This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.

Mit den Werken von Jean-Jacques Rousseau, Georg Wilhelm Friedrich Hegel und Karl Marx erscheinen in einem Abstand von knapp einhundert Jahren einschlägige Gründungstexte der Sozialphilosophie. Allen drei Autoren ist dabei das Vorhaben gemein, sich kritisch-reflexiv mit den Wandlungen ihrer jeweiligen Zeit auseinandersetzen zu wollen: Rousseau im absolutistischen Frankreich Hege! im agrarischen Preußen und Marx im industrialisierten England: Trotz der unterschiedlichen historischen und nationalen Kontexte gibt es dabei ein verbindendes Moment zwischen den drei Autoren. Sie alle versuchen nämlich, die sozialen (...) Pathologien ihrer Zeit als Pathologien der Anerkennung zu verstehen. Soziale Desintegration, so ihre Überzeugung, darf nicht allein vor dem Hintergrund materieller Ungleichheit verstanden werden, sondern muss selbst noch einmal als Ausdruck verweigerter Teilhabe gedeutet werden. Die Arbeiten von Rousseau, Hegel und Marx zeichnen sich nun dadurch aus, diese grundlegende Einsicht auf ganz unterschiedliche Art und Weise zu einer je spezifischen Pathologiediagnose ausgeweitet zu haben: Während Rousseau das Phänomen der Anerkennungsbesessenheit in den Mittelpunkt seiner Überlegungen rückt, ist es bei Hegel das Phänomen der Anerkennungsabhängigkeit und bei Marx das Phänomen der Anerkennungsvergessenheit . (shrink)