Scalable zk-SNARK
This article describes the General principle of operation (stages, parameters used) of the ZK-SNARK zero-knowledge proof scheme, the possibility and prospects for its improvement. Implementations of zk-SNARK that are currently known have scalability limitations that depend on the magnitude of the computation being proved. First, the size of the proving key depends ...
The Transcendental Deduction of Categories as Philosophical Proof
... Hegel’s interpretation and reframing of Kant’s idea. Hegel’s reading is crucial for two reasons: first, for fixing the basic form of the Kantian argument and secondly, for understanding its metaphilosophical relevance. For Hegel, philosophical proof has a specific nature, which distinguishes it from scientific proof and brings it closer to a juridical one. In this perspective the transcendental deduction, which is universally considered one of the most difficult chapters in the history of philosophy,...
Christian Wolff and Immanuel Kant on the Existence of God
The positions of Christian Wolff and Immanuel Kant on the possibility of proving the existence of God require some examination. Wolff’s critique of the physical-theological proof and his proposed ways of improving it are here analysed. God is central to Wolff’s philosophical system and the fundamental prerequisite of his theoretical and practical philosophy. Although Wolff insists that the natural law is inherent in human ...
Schelling’s Criticism of Ontological Argument and Interpretation of Kant’s Doctrine of the Ideal of Reason
To reconstruct a critique of the ontological proof of the existence of God in Schelling’s philosophy I examine his interpretation of the ontological argument by Anselm of Canterbury and Descartes as well as Schelling’s assessment of the critique of the Kantian ontological proof of the existence ...
The Real Target of Kant’s “Refutation”
... Meditation, or some other non-sceptic idealist. I present and defend a new reconstruction of Kant’s “Refutation” as a successful argument against Mendelssohnian idealism of Cartesian provenance. This defence is based on a simple logical sketch of the proof provided by Dicker, but essentially modified in the light of Dyck’s insight about Kant’s opponent. How shall I support my reading? First, by appealing to overwhelming textual evidence according to which the proof is of the existence of mind-independent ...
On the logical inconsistency of Kant’s critique of the cosmological argument
The paper shows that the Kantian critique of cosmological argument does not take into account the existential presuppositions of Aristotelian syllogistic, so it is logically untenable. The basic idea of Kant is that the cosmological proof does not rely on the empirical premise (i.e. the existence of the world). Instead, it resorts covertly to the ontological proof. This is the second stage of the proof, when fr om the notion of a necessary being (ens necessarium) they move to the ...
I. Kant in the development of N. O. Lossky’s philosophical views: The case of a translation
... sbornik [Kant’s Compendium], no. 11, p. 30—40.5. Vvedensky, A. I., 1917, Logika kak chast teorii poznanija [Logic as a part of cognition theory], Petrograd.6. Vvedensky, A. I., 1909, Novoe I legkoe dokazatelstvo filosofskogo kriticizma [New and easy proof of the philosophical criticism], SPb.7. Kant, I., 1907, Kritika chistogo razuma. Perevod N. O. Losskogo [Critique of Pure Reason. Translation by N. O. Lossky], St. Peterburg.8. Kant, I., 1915, Kritika chistogo razuma. Perevod N. O. Losskogo [Critique ...
A transcendental analysis of mathematics: The constructive nature of mathematics
... 172—177.
15. Katrechko, S. L. 2014а, Transcendental'nyy analiz matematicheskoy deiatel'nosti: abstraktnye (matematicheskie) ob'ekty, konstrukcii i dokazatel'stva [Transcendental analysis of mathematics: abstract (mathematical) objects, constructions and proofs]. In: Dokazatel'stvo: ochevidnost', dostovernost' i ubeditel'nost' v matematike [Proof: evidence, credibility and convincing sequences in mathematics. Moscow Study in the Philosophy of Mathematics], Moscow, s. 86—120.
16. Katrechko, S. L. 2014в,...
Problems of using the results of an operational experiment and test purchase in proving a criminal case
... effectiveness of prosecuting individuals who have committed serious, covert crimes. Additionally, it may reduce the professional risk for operational personnel authorized to conduct these activities.
Luchinkin F.M.
operational experiment, test purchase, proof, evidence, legal standard
32-41
10.5922/sikbfu-2023-4-3
Procedural and forensic ensuring the reliability of identification results
... the presented object. The conclusion is justified that this recognition is the procedural form of criminalistic identification.
Exarkhopulo A.A., Pankina I. Yu.
investigative action, presentation for identification, forensic identification, proof, evidence
22-31
10.5922/sikbfu-2023-4-2
Evaluating the efficiency of the research sector in Russian regions: a dynamic data envelopment analysis
... expenses and efficiency in Russian regions
On the other hand, Tomsk and Novosibirsk are ranked as leaders despite relatively generous funding. According to our calculation, Moscow is not the absolute leader, albeit ranked in top ten. This is yet another proof that efficiency is a relative indicator, and leadership in absolute values does not mean using the available resources to the fullest.
The opposite situation is also possible, especially when the resource allocation system overrelies on the ‘achievement ...
Semyon Frank and the German Neo-Kantianism: Aspects of Debate
... and annotated by B. Jakim with an introduction by R. F. Gustafson. Princeton: Princeton University Press. doi:
https://doi-org.ezproxy.princeton.edu/10.1515/9780691187990
Frank, S. L., 1972. Ontologicheskoe dokazatel’stvo bytia Bozhia [Ontological Proof of the Existence of God]. In: S. L. Frank, 1972. Po tu storonu pravogo i levogo [On the Other Side of Right and Left]. Paris: YMCA-Press, pp. 114-123. (In Rus.)
Frank, S. L., 1983. The Unknowable. An Ontological Introduction to the Philosophy of ...
Small towns of Latvia: disparities in regional and urban development
... development of Latvia’s towns. These inequalities have a distinct regional angle accounted for by the features of the country’s spatial centre-periphery evolution. The proposed index method for assessing the development of regional towns is a conclusive proof thereof. Another factor in the disparities is the track record of industrial and agricultural production. The typical cases analysed above confirm this conclusion.
On the whole, most Latvia’s towns (44 out of 73) fall into the average performance ...
On the possibility of analytical detection of the TEMPEST signal in HDMI video interfaces
This paper presents the theory and the practical proof of the possibility of detecting the TEMPEST signal in digital video interfaces. A comparative analysis of the possibility of obtaining information from VGA and HDMI video interfaces by means of TEMPEST was carried out. In accordance with the ...
Space and Time as A Priori Forms in the Works of Hermann Cohen and Ivan Lapshin
... 1917. Logika otnoshenij i sillogizm. (Po povodu knigi privat-dotsenta S.I. Povarnina “Logika. Obshee uchenie o dokazatel’stve”) [Logic of Relations and Syllogism. (About the Book by Privat-Docent S.I. Povarnin “Logic. The General Doctrine of Proof”)]. Petrograd: Senatskaya typografia. (In Rus.)
Lapshin, I.I., 1922. Filosofia izobretenia i izobretenie v filosofii [The Philosophy of Invention and Invention in Philosophy]. Petrograd: Nauka i shkola. (In Rus.)
Lapshin, I. I., 2006. Neizdannij ...
The unexpected someone in Nobel history
... “death of the author” and that being is still “breaking through” into the narrative of modern culture. The work is relevant due to the scientific, literary and linguistic and cultural uniqueness of Handke, as well as the fact that it is a living proof of the connection between the cognitive potential of art and politics.
Gilmanov V.Kh.
Peter Handke, the Nobel Prize, language, power, SOMEONE, false movement, Other, structuralism, structuralism of Death, structuralism of Life
58-71
Review of the 13th International Kant Congress
The 13th International Kant Congress was held on August 6-9, 2019 in Oslo, Norway. The main tasks of this review are to analyse the central theme of the Congress, “The Court of Reason”, the related spheres of philosophical inquiry such as metaphilosophy and philosophical methodology, as well as to reveal the main approaches and development trends of transcendental philosophy in “theoretical” and “practical” fields and modern Kant studies, notably transcendental philosophy of language...
Criminalistic characteristics of organized credit fraudster groups
... science faces a serious problem of developing an effective method for investigating crimes of this nature. The method must include recommendations for identifying signs of complicity, defining the group of people involved in the theft, their arrest and proof of guilt. At the same time, the research of this kind is impossible without the study of typical groups of credit fraudsters, describing their main features, forming an idea of the characteristic features of their illegal activities. This ...
What is Kantian Philosophy of Mathematics? An Overview of Contemporary Studies
... 1992. Kant’s Philosophy of Mathematics. Dordrecht: Springer, pp. 43-79.
Parsons, C., 1992b. Arithmetic and the Categories. In: C. J. Posy, ed. 1992. Kant’s Philosophy of Mathematics. Dordrecht: Springer, pp. 135-158.
Peijnenburg, J., 1994. Formal Proof or Linguistic Process? Beth and Hintikka on Kant’s Use of ’Analytic’. Kant-Studien, 85(2), pp. 160-178.
Posy, C. J., 1983. Dancing to the Antinomy: A Proposal for Transcendental Idealism. American Philosophical Quarterly, 20(1), pp. 81-94....
The Emergence of Onto-Gnoseology among Russian Intuitivists as Criticism of Neo-Kantianism
... each of which is characterised by two aspects: the ontological, i.e. it is part of the unity of the world, and the gnoseological, i.e. it has an independent cognitive significance. Frank considers categories to be an organic part of the ontological proof of intuitivism. A common trend in the construction of categorial schemes by Lossky and Frank is their striving to combine gnoseological and ontological descriptions of categories. The key difference is the way an onto-gnoseological system as a whole ...
Deduction of Freedom vs Deduction of Experience in Kant’s Metaphysics
My aim is to demonstrate the specificities and differences between transcendental deduction of concepts and deduction of the fundamental principles of pure practical reason in Kant’s metaphysics. First of all it is necessary to examine Kant’s attitude to the metaphysics of his time and the problem of its new justification. Kant in his philosophy explicated not only the theoretical world of cognition, but also the practical world of freedom. Accordingly, the fundamental means of proving metaphysics’...
Moral und Dogma: Alois Riehls Neukantianismus im Spannungsfeld zwischen Religion und Politik
... In: V. L. Waibel, Hg. 2015. Umwege. Annäherungen an Immanuel Kant in Wien, in Österreich und in Osteuropa. Wien: University Press, S. 39-47.
Riehl, Kant, Neukantianism, Kulturkampf, Neurath-Haller thesis, postulates of pure practical reason, moral proof of God, immortality of soul
Martin Hammer, Josef Hlade
77-111
10.5922/0207-6918-2020-1-4
Consequences and Design in General and Transcendental Logic
... Figures. In: Kant, I. Theoretical Philosophy, 1755—1770. Transl. and ed. by D. Walford, R. Meerbote. Cambridge.
Kant, I. 1998, Critique of Pure Reason, transl. by P. Guyer, A. W. Wood, Cambridge.
King, P. 2001, Consequence as Inference. Medieval Proof Theory 1300—1350. In: Yrjönsuuri, M. (ed.), Medieval Formal Logic. Dordrecht, pp. 117—145.
Klima, G. 2004, Consequences of a Closed, Token-Based Semantics: The Case of John Buridan. In: History and Philosophy of Logic, vol. 25, no. 2, pp. 95—110....
On implementation of legal investigation in the Russian criminal process
... (дата обращения: 15.12.2018).
8. Проект общей части УПК РФ (подготовлен ГПУ Президента РФ) // Рос. юстиция. 1994. № 9.
Pankina I. Y.
defense function, preliminary investigation, proof process, powers of a defense lawyer, lawyer’s investigation
26-33
Kant versus Vladimir Solovyov: gnosiology with reflection and without it
... Вл. С. Соловьёва. Т. 2. М., 1913.
18. Эрн В. Ф. Гносеология В. С. Соловьёва // Сборник статей о В. Соловьёве. Брюссель, 1994. С. 167—264.
19. Westphal K. Kant's Transcendental Proof of Realism. Cambridge: Cambridge University Press, 2004.
Kant, Solovyov, reflection, transcendental reflection, self-consciousness, intuition, integral knowledge, truth, reasoning, cognition
Balanovsky V. V.
22-37
10.5922/0207-6918-2011-2-5
Moral inscrutability and self-constitution in Kant (translated from the English by V. Belonogova and D. Khizanishvili, edited by V. Chaly)
... on Radical Evil and Moral Regeneration. Cambridge University Press.18. Mill, J. S., 2002. The Basic Writings of J. S. Mill: On Liberty, the Subjection of Women, & Utilitarianism. New York: The Modern Library.19. Morgan, S., 2005. The Missing Formal Proof of Humanity’s Radical Evil in Kant's “Religion”. The Philosophical Review, 114(1), pp. 63—114.20. Muchnik, P., 2009. Kant’s Theory of Evil: An Essay on the Dangers of Self-Love and the Aprioricity of History. Lexington Books.21. Potter,...
A transcendental analysis of mathematics: The abstract nature of mathematical knowledge
... 73—89.14. Katrechko, S. L. 2014, Transcendental'nyy analiz matematicheskoy deiatel'nosti: abstraktnye (matematicheskie) ob'ekty, konstrukcii i dokazatel'stva [Transcendental analysis of mathematics: abstract (mathematical) objects, constructions and proofs]. In: Dokazatel's¬tvo: ochevidnost', dostovernost' i ubeditel'nost' v matematike [Proof: evidence, credibility and convincing sequences in mathematics. Moscow Study in the Philosophy of Mathematics], Moscow, s. 86—120.15. Katrechko, S. L. 2012,...
Steven Makin’s ontological argument: The concept of necessary exis¬ten¬ce of God
... consider that class of necessarily exemplified concepts as non-empty; 2) interchangeability of alethic modalities does not seem to be a valid argument; 3) there are additional complications that were not mentioned in earlier analyses. In particular, the proof does not take into account the multilevel structure of ontology, whose hier¬archy of levels determines, as a rule, what entities exist in ontology in the true sense of the word. In addition, Makin’s approach can be described in terms of Tichy’s ...
Kant’s transcendentalism and concept of the thing in itself
... Katrechko, S. L. 2014b, Transcendental'nyiy analiz matematicheskoiy dejatel'nosti: abstraktnye (matematicheskie) ob"ekty, konstrukcii i dokazatel'stva [Transcendental analysis of mathematical activity: abstract (mathematical) objects, structures and proofs], in: Dokazatel'stvo: ochevidnost', dostovernost' i ubeditel'nost' v matematike (Proceedings of the Moscow Seminar on the Philosophy of Mathematics). M. : «LIBROKOM», P. 86—120.
32. Katrechko, S. L. 2015, Transcendental Analysis of Mathematics: ...
Kant, Gödel, and the problem of synthetic a priori judgements
... mathematics, particularly, Martin-Löf type theory, the existence of synthetic a priori truths, is considered justified. Although it is based on different grounds than those mentioned above, it is nevertheless compatible with Gödel’s results. Analysing proofs of existence of synthetic a priori judgements helps demonstrate that a solution to this problem is determined by the implicitly or explicitly accepted image of logic, whose key parameter is the object of logic or, in other worlds, the ideas about ...
Kant’s appearance as an objective-objectual [gegenständlich] representation
... in transzendentalphilosophischer Sicht. München.
30. Sellars, W., 1968, Science and Metaphysics: Variations on Kantian Themes, Routledge & Kegan Paul Ltd; London, and The Humanities Press; New York.
31. Westphal, K. R., 2004, Kant’s Transcendental Proof of Realism, Cambridge : Cambridge University Press.
Kant’s transcendental philosophy (transcendentalism), thing-in-itself, appearance, representation, theory of two worlds, theory of two aspects, theory of appearance, theory of appearing
Katrechko ...
‘Back to Kant’ or ‘Back to Leibnitz’? A critical view from the history of Russian metaphysical personalism
... postulates of his Monadology — the principle of pre-established harmony. It is concluded that neo-Leibnizianism or metaphysical personalism has spiritual kinship with Russian religious philosophy (the case of A. S. Khomyakov and V. S. Soloviev is used as proof). On the contrary, neo-Kantianism and Kant’s ideas were in the state of terminal confrontation within this school of thought.
1. Alekseev (Askol'dov) S. A. 1912. Aleksey Aleksandrovich Kozlov. [Aleksey Aleksandrovich Kozlov], Moscow, VIII+223 ...
Family ethics and philosophy of love in Kant’s Lectures on Ethics
.... The collision between vital and moral love results in a need to examine under what conditions relations between the sexes are compatible with morality. Such an examination is taking the form of an ethical and legal deduction of matrimony. Kant’s proof of the moral unacceptability of concubinage given in the Lectures is based on the ethical (‘its purpose is merely that one party allows their person to the other for enjoyment’) rather than formal considerations (an allegedly unequal contract)....
Formalisation of cognition in a special proceeding trial
Criminal procedural cognition in special judicial proceedings is largely based on the provisions of the concept of formal (legal) evidence. The formalisation of evidence presupposes the availability of the necessary proofs and mandatory sources of evidence that create proper conditions for the implementation of the procedural norm of Chapter 40 of the Code of Criminal Procedure.
1. Александров А. С. Основание и условия для особого ...
Normalizations of hyperband
Mission and proof of existence theorem for hyperband m n SH A which carrier conjugated system (; * ) of planar elements are examined: the tangent subbundle of (; * ) -planes (-subbundle) and the tangent subbundle of lines (* -subbundle). Internal ...
Library collections and publishing according to Pliny the Younger
In Rome, libraries played the role of cultural centres and were closely linked with publishing. The latter was a subject of correspondence between Pliny the Younger and Suetonius. The way to the birth of a book is complicated: writing, recitation, reference-review, and proofreading. Donation was one of the ways to build up library collections. The copyright was not known to Rome. A book was treated as an intellectual value. Pliny the Younger became the founder of a society of devotees of certain...
The system of transfer pricing: approaches, models, and application in the public sector of economy
Transfer pricing proofs to be an effective organizational management mechanism under the new economic conditions. This article deals with the main transfer pricing formation models and the interaction of financial participants contributing to harmonizing their economics ...
On the methodological meaning of notion of isomorphic enclosure of formalisms
... embeddings of their elements into each other. The article considers some alternative notions of formalism and the definitions of isomorphic embeddings
corresponding to them. A number of new results concerning their interrelations are presented without proofs.
1.
Карпенко А.
С.
Предмет логики в свете основных тенденций ее развития
// Логические исследования. Вып. 11. М., 2004. С. 149—171.
2.
Смирнов ...
Moral theology and the cosmological argument. Comments and delibera¬tions on a little-known Reflection of Kant
... This small 8 x 6.3 cm sheet belonged to the manuscript collector Oskar Ulex (1852—1934), who appears to have bought it from a dealer in France. Writing covers both sides of the sheet, with moral theology discussed on one side, and the cosmological proof on the other. A transcription and description of the sheet is provided, followedby a “Question & Answer” with the goal of dating the notes describing the two separate arguments for the existence of God. The use of the expressions ‘Moraltheologie’ ...
Kant’s transcendentalism as a transcendental paradigm of philo¬so¬phiz¬ing
... March 2014).7. Katrechko, S. 2014, Transcendental'nyy analiz matematicheskoy deiatel'nosti: abstraktnye (matematicheskie) ob'ekty, konstrukcii i dokazatel'stva [Transcendental analysisof mathematics: abstract (mathematical) objects, constructions and proofs], Dokazatel'stvo: ochevidnost', dostovernost' i ubeditel'nost' v matematike [Proof: evidence, credibility and convincing sequences in mathematics], Moscow, pp. 86—120.8. Ogurcov, A. P. 2011, Filosofiia nauki: XX vek v 3 tomah [Philosophy of science: ...
The principle of sufficient reason in German philosophy of the Enlight-enment
... the end of the 17th century, a major dispute about it was triggered by Christian Wolff who had considerable influence on the German philosophy of Enlightenment. In German Metaphysic, he presented the “strong” definition of the principle and its proof. As a result, freedom was restricted, because the principle of sufficient reason implies the unlimited necessity of all things and excludes the possibility of any happenstance, at least in the real world. It had an adverse effect on philosophy in ...
Russia and the European Union: an elusive quest for common values?
... html (accessed 17 June 2012).
17. Malfliet, K., Parmentier, S. (eds.), 2010, Russia and the Council of Europa. Ten Years After, Basingstoke, UK, Palgrave Macmillan.
18. Smet, S. 2011, Khodorkovskiy v. Russia: European Court of Human Rights Rules “No Proof of Political Trial”, Strasbourg Observers, 16 June.
19. Titarenko, M. L. 2012, Foreign Relations Balance: Russia Shifts From Declining West To Rising East, China Daily, 6 March.
20. Toynbee, A. 1948, Civilization on Trial, New York, Oxford University ...