The early modern treatment of the subject derives from Antoine Arnauld and Pierre Nicole's "Logic", or "The Art of Thinking", better known as the "Port-Royal Logic", first published in 1662. Arnauld thought that a proposition or judgment consists of taking two different ideas and either putting them together or rejecting them: