@longknowledge,
longknowledge;111432 wrote:Which Logic is that?
Combinatory Logic, Default Logic, Deontic Logic, Deviant Logic, Dynamic Logic, Epistemic Logic, Erotetic Logic, Formal Logic, Free Logic, Higher-Order Logic, Infinitary Logic, Informal Logic, Intensional Logic, Many-Valued Logic, Mathematical Logic, Modal Logic, Non-Monotonic Logic, Ordinal Logic, Pluralitive Logic, hsiloP gicoL, Predicate Logic, Quantum Logic, Relational Logic, Second-Order Logic, Symbolic Logic, Tense Logic, Terminist Logic and Three-Valued Logic
It appears that the Art of Logic has many Forms. Which one transcends our convention? Do they all?
And do they all have a close relationship with the world? Help me decide, because I don't want to waste my time with one that doesn't!
Anything that distinguishes between truth and falsity. But, I am not familiar with many of the types of logic you have posted. The kind of logic I was speaking about evaluates syllogisms with inference, and is a study of correct reasoning. I'll begin researching the ones I have never heard of and get back to you.*
But, if the word holds true in all of these cases (which it may not; the term may loosely be thrown, or have a different connotation), and is as I said in my last post, then yes, all.
Logic, itself, has nothing to do with convention. It just is. It is a grave mistake to believe that we conjure logical truths as a result of normative means. Do not mistake the logical semantics we use in language, the formal tools we use, with the conclusions we discover. Logic has nothing to do with opinion, we do not choose for something to be true or false, and just because we agree on methods to evaluate the world around us, it does not follow that those truths we discover do not have a close connection with the world around us. In other words, truths exist independent of our convention.
*EDIT: Yes. All of these evaluate reasoning and forms.
As an aside, it seems overly popular these days to reject anything as being true outside of our convention. It seems difficult for some to seperate reality from our subsequent experience of reality. The hold strong subjectivism and normative thinking have on some people is astounding - it amounts to some sort of harsh skepticism, where things are doubted for no good reason, and everything is assumed to be a result of norms. I don't understand this rejection of discovery. "It is because we say it is", is an epidemic of philosophical proportions.