Sharif Digital Repository

Immensity and profundity of mathematical logic have provided an opportunity for its interconnection with other branches of science, one of which is computer science where theory of dependent types and lambda calculus lounges amongst the area of their overlap. The former has been engendered for the sake of deepening the connection between mathematical logic and programming. On the other side, lambda calculus which is a formal system in mathematical logic and computer science, developed as a tool for formal computations, could also be counted as a programming discipline. It is the objective of this thsis to study the two aforementioned fields with emphasis on unification of higher-order... 

The concept of symmetry has long been the focus of numerous debates in different fields; some have come up with an artistic approach looking for a beautiful notion germane to the concept of symmetry. Others have examined this issue from a philosophical viewpoint and studied the ontology of symmetry and philosophers like Kant moved beyond the limits and have given their symmetry a transcendental position. On the other hand, in an anti-realist position relying on the fact that the goal of science is not truth but merely it’s an empirical adequacy, Van Fraassen argued that “science was rapidly gaining autonomy not only from theology but from all of philosophy, and was exploiting concepts and...