Giuseppe Priestley (1733-1804) Un notevole erudito dell'Illuminismo, Joseph Priestley pubblicò quasi duecento opere sulla filosofia naturale, teologia, metafisica, filosofia politica, politica, istruzione, storia e linguistica. Ricordato oggi soprattutto come uno scienziato che isolò l'ossigeno, Priestley considerava la sua vocazione quella di teologo, e trascorse gran parte della sua vita lavorando come ministro e insegnante. Ha combinato la sua teologia unitaria con un

Paraconsistent Logic A paraconsistent logic is a way to reason about inconsistent information without lapsing into absurdity. In una logica non paraconsistente, l'incoerenza esplode nel senso che se prevale una contraddizione, poi tutto (qualunque cosa!) altrimenti ottiene, pure. Qualcuno che ragiona con una logica paraconsistente può iniziare con premesse incoerenti, ad esempio, un dilemma morale, un'antinomia kantiana, o un paradosso semantico, e tuttavia raggiungere conclusioni sensate, without completely exploding

The KK (Knowing that One Knows) Principle In its simplest form, the KK principle says that, for any proposition p, if one knows that p, then one knows that one knows it. More complex formulations say that if one knows that p, then one is in a position to know that one knows it, and this is fleshed out in a variety of ways. Uno

Eventi Gli eventi sono avvenimenti particolari, avvenimenti o cambiamenti, come Rob che beve l'espresso forte a mezzogiorno, la rielezione di Abraham Lincoln nel 1864 negli Stati Uniti, e così via. Almeno a prima vista, tutti gli eventi sembrano avere qualcosa in comune, metafisicamente parlando, e alcuni filosofi hanno indagato su quale sia questa natura comune. Lo scopo principale di una teoria degli eventi è quello di

Predicative and Impredicative Definitions The distinction between predicative and impredicative definitions is today widely regarded as an important watershed in logic and the philosophy of mathematics. A definition is said to be impredicative if it generalizes over a totality to which the entity being defined belongs. Otherwise the definition is said to be predicative. In the examples below, (2) e (4) are impredicative. Let π be