INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
Weir, Alan
openaire +3 more sources
‘Relays, signals, actuality: a return to Focillon’. Review of: Annamaria Ducci, Henri Focillon en son temps. La liberté des forms, Strasbourg: Presses Universitaires de Strasbourg, 2021 [PDF]
A review-essay on Annamaria Ducci’s intellectual biography Henri Focillon en son temps. La liberté des forms (2021) that extends this work by presenting a call for a ‘return to Focillon’ within art historical thought that begins with his ability to ...
Jae Emerling
doaj +1 more source
Critics on the Formalistic Attitude to the Arts [PDF]
When Immanuel Kant, in the third minute of his critique of the power of judgement, discussed the beautiful thing as something whose face and form have an infinite finality, the way was opened for proposing several ideas in the realm of art.
Sheyda Nasiri, Marzieh Piravi Vanak
doaj +1 more source
Plot Patterns in Manga Based on Propp’s narratological elements
This article takes into consideration Vladimir Propp’s work on narratological elements and applies them to the narrative strategies of manga. Through a generalization of Propp’s scheme, an in-depth explanation of how they interact with one another and ...
Bogdan Groza, Adrian Momanu
doaj +1 more source
The study of the influence of two factors of concentration and recognition in the structure of the education system on religious education of students [PDF]
The main purpose of this study was to determine the effect of two factors of concentration and recognition in the structure of the education system on the religious education of students from the point of view of religion and life teachers.
hassan eslamian
doaj +1 more source
Vibrational wave scattering in disordered ultra-thin film with integrated nanostructures
A theoretical model, the phase-field matching theory, has been used to investigate the localized states, their associated states, the local vibrational density of states, the coherent conductance, and the associated thermal conductivity of the perturbed ...
Bouchareb Sansabilla +2 more
doaj +1 more source
A Study of Semantic Norm-Breaking in the literary style of Masnavi: Hosne Glousoz and Saqinameh Meikadeye Shogh by Rashid Tabrizi [PDF]
Literary language and poetic aspects arise from deviating from the linguistic norms for artistic purposes. In the formalism theory, this is called "defamiliarization". One of the most important aspects of deviating from the norm of automatic language and
Shahla Hajtalebi +2 more
doaj +1 more source
Pathology of Commercialization Policy-Making of Research in Iran’s Academic System [PDF]
IntroductionCommercialization of academic research has become a popular interest in most countries of the world. Because the process of commercialization of academic research plays a significant role in the economic development of societies, Thus ...
Sherko Mohammadi +2 more
doaj +1 more source
The Aesthetic Experience of the Literary Artwork: A Matter of Form and Content?
Ever since the introduction of aesthetics in philosophy, the literary arts have posed a challenge to common notions of aesthetic experience. In this paper, I will focus on the problems that arise when a formalist approach to aesthetics is confronted ...
Leen Verheyen
doaj +1 more source
Theoretical Analysis of Intellectual-Philosophical Schools of thoughts’ Interpretation in Iran's Private Law [PDF]
The expansion of legal relations in societies and the inadequacy of laws make the necessity of interpretation more prominent. This has led legal doctrine to outline different approaches to interpretation.
Mahmood Akbari +2 more
doaj +1 more source

