I'm thinking about logic & logical programming. What are people using for logical programming & is anyone productively using it for argumentation/philosophy? Seems to me most arguments are either small (few propositions where the problems are not logic problems, but disagreements
with the truth value of axioms) or the logical problem is so large, it isn't the sort things people do in arg/philo, but are instead databases (think prolog) or circuitry (think how logic is used to simplify billions of transistors)
♡ 1 ↻ 0Also, just about all programming languages have the basic logical operators, just about no one is putting an argument in the form of python (or are they?)
♡ 0 ↻ 0