ANTILOG_11Nov19a

###

ANTILOG_11Nov19a

###

2019-11-11 08:03:37

* The Formalization of Philosophy;
* In the name of the formalization of philosophy, I tried to encapsulate the philosophy of Deleuze and Guattari in a knowledge base in Prolog. I took the first chapter of What is Philosophy? by D+G and extracted the main statements. I then went over these statements and turned them into Facts in Prolog.I named the file after the title of the first chapter in D+G’s book, WhatIsAConcept.pl.;
* The knowledge base shown below is far from being complete. There were many statements in the chapter What is a Concept? in D+G’s book that I couldn’t fit in the syntax for Facts in Prolog, at least as I understand it. This is more of an experiment in a more formal/fornalized philosophy.;
* I learned about discursive formalization in the work of Michel Foucault. He mentions a few times how certain discourses can become more and more formalized, like mathematics and theoretical physics and so forth, which are highly formalized. Philosophy is not so formal/formalized, so it will take some work before we can fully make it so.;

	complex(concept).
	has(concept,components).
	defined_by(concept,components).
	has(concept,combination).
	multiplicity(concept).
	has(concept,irregular_contour).
	solution(concept,problem).
	function_of(concept,problems).
	has_history(concept).
	junction_of_problems(concepts,coexisting_concepts).
	concept(concept).
	relates_back_to(concept,other_concepts).
	accumulation(concept,its_own_components).
	traverses(conceptual_point,its_components).
	heterogenesis(concept).
	ordering_of(zones_of_neighborhood,its_components).
	incorporeal(concept).
	is_incarnated_in(concept,bodies).
	has(concept,intensive_ordinates).
	anenergetic(concept).
	speaks(concept,event).
	absolute(concept).
	relative(concept).
	relative_to(concept, its_own_components).
	relative_to(concept,other_concepts).
	through(infinite,survey).
	through(finite,movement).
	unites(constructivism,the_relative).
	unites(constructivism,the_absolute).
	self_referential(concept).
	center_of_vibration(concept).
	junctions(bridges).
	detours(bridges).
	movable_bridge(concept).
	must_be(planes,constructed).
	must_be(problems,posed).
	must_be(concepts,created).
	relate_to(new_concepts,problems).
	relate_to(new_concepts,our_history).
	relate_to(new_concepts,our_becomings).
	are_not(concepts,eternal).
	contour(concept).
	configuration(concept).
	constellation(concept).
	of(contour,event_to_come).
	obvious_knowledge(concept).
	creates(philosophy,concepts).
	shapes(concept,event).
	reshapes(concept,event).
	belongs_to(concept,philosophy).

view raw WhatIsAConcept.pl hosted with ❤ by GitHub