Regressive taxA regressive tax is a tax imposed in such a manner that the tax rate decreases as the amount subject to taxation increases. "Regressive" describes a distribution effect on income or expenditure, referring to the way the rate progresses from high to low, so that the average tax rate exceeds the marginal tax rate. In terms of individual income and wealth, a regressive tax imposes a greater burden (relative to resources) on the poor than on the rich: there is an inverse relationship between the tax rate and the taxpayer's ability to pay, as measured by assets, consumption, or income.
International taxationInternational taxation is the study or determination of tax on a person or business subject to the tax laws of different countries, or the international aspects of an individual country's tax laws as the case may be. Governments usually limit the scope of their income taxation in some manner territorially or provide for offsets to taxation relating to extraterritorial income. The manner of limitation generally takes the form of a territorial, residence-based, or exclusionary system.
Taxation as theftThe position that taxation is theft, and therefore immoral, is found in a number of political philosophies considered radical. It marks a significant departure from conservatism and classical liberalism. This position is often held by anarcho-capitalists, objectivists, most minarchists, anarchists, right-wing libertarians, and voluntaryists. Proponents of this position see taxation as a violation of the non-aggression principle. Under this view, government transgresses property rights by enforcing compulsory tax collection, regardless of what the amount may be.
Economic growthEconomic growth can be defined as the increase or improvement in the inflation-adjusted market value of the goods and services produced by an economy in a financial year. Statisticians conventionally measure such growth as the percent rate of increase in the real and nominal gross domestic product (GDP). Growth is usually calculated in real terms – i.e., inflation-adjusted terms – to eliminate the distorting effect of inflation on the prices of goods produced. Measurement of economic growth uses national income accounting.
Economic inequalityEconomic inequality is an umbrella term for a) income inequality or distribution of income (how the total sum of money paid to people is distributed among them), b) wealth inequality or distribution of wealth (how the total sum of wealth owned by people is distributed among the owners), and c) consumption inequality (how the total sum of money spent by people is distributed among the spenders).
Gross domestic productGross domestic product (GDP) is a monetary measure of the market value of all the final goods and services produced in a specific time period by a country or countries. GDP is most often used by the government of a single country to measure its economic health. Due to its complex and subjective nature, this measure is often revised before being considered a reliable indicator. GDP definitions are maintained by several national and international economic organizations.
AusterityIn economic policy, austerity is a set of political-economic policies that aim to reduce government budget deficits through spending cuts, tax increases, or a combination of both. There are three primary types of austerity measures: higher taxes to fund spending, raising taxes while cutting spending, and lower taxes and lower government spending. Austerity measures are often used by governments that find it difficult to borrow or meet their existing obligations to pay back loans.
Consumption (economics)Consumption is the act of using resources to satisfy current needs and wants. It is seen in contrast to investing, which is spending for acquisition of future income. Consumption is a major concept in economics and is also studied in many other social sciences. Different schools of economists define consumption differently. According to mainstream economists, only the final purchase of newly produced goods and services by individuals for immediate use constitutes consumption, while other types of expenditure — in particular, fixed investment, intermediate consumption, and government spending — are placed in separate categories (see consumer choice).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
DebtDebt is an obligation that requires one party, the debtor, to pay money borrowed or otherwise withheld from another party, the creditor. Debt may be owed by sovereign state or country, local government, company, or an individual. Commercial debt is generally subject to contractual terms regarding the amount and timing of repayments of principal and interest. Loans, bonds, notes, and mortgages are all types of debt. In financial accounting, debt is a type of financial transaction, as distinct from equity.
Lambda calculusLambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing lambda terms and performing reduction operations on them.
