Authors/Ockham/Summa Logicae/Book III-3/Chapter 16 - Revision history

Ragnarr49 at 10:41, 26 April 2025

2025-04-26T10:41:35Z

← Older revision		Revision as of 05:41, 26 April 2025
Line 7:		Line 7:
	\|- valign = top		\|- valign = top
	\|CAP. 16. DE AEQUIPOLLENTIA PROPOSITIONUM DE IMPOSSIBILI.		\|CAP. 16. DE AEQUIPOLLENTIA PROPOSITIONUM DE IMPOSSIBILI.
	\|Chapter 16. On the equivalence of propositions ~~about the impossible~~.		\|Chapter 16. On the equivalence of propositions de impossibili.
	\|- valign = top		\|- valign = top
	\|Circa propositiones de impossibili est primo sciendum quod nulla earum est prima, quia quaelibet illarum aequipollet opposito alicuius propositionis de possibili, et ideo de qualibet quaerendum est cui aequipolleat.		\|Circa propositiones de impossibili est primo sciendum quod nulla earum est prima, quia quaelibet illarum aequipollet opposito alicuius propositionis de possibili, et ideo de qualibet quaerendum est cui aequipolleat.
	\|Regarding propositions ~~about the impossible~~, it must first be known that none of them is first, because each of them is equivalent to the opposite of some proposition ~~about the possible~~, and therefore we must inquire about each one to which it is equivalent.		\|Regarding propositions de impossibili, it must first be known that none of them is first, because each of them is equivalent to the opposite of some proposition de possibili, and therefore we must inquire about each one to which it is equivalent.
	\|- valign = top		\|- valign = top
	\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.		\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.
	\|And since it has been said that 'impossible' is equivalent to 'not possible', it can easily be known from the above to what the proposition ~~about the impossible~~ is equivalent, by putting 'not possible' in the place of that mode 'impossible'.		\|And since it has been said that 'impossible' is equivalent to 'not possible', it can easily be known from the above to what the proposition de impossibili is equivalent, by putting 'not possible' in the place of that mode 'impossible'.
	\|- valign = top		\|- valign = top
	\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.		\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.
Line 22:		Line 22:
	\|- valign = top		\|- valign = top
	\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.		\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.
	\|In the first case, namely when no negation denies the mode of impossibility, then that ~~of the impossible~~ is equivalent to one of necessity, just as that ~~of possibility~~, in which the mode is denied, is equivalent to one ~~of necessity~~.		\|In the first case, namely when no negation denies the mode of impossibility, then that de impossibili is equivalent to one of necessity, just as that de possibili, in which the mode is denied, is equivalent to one de necessario.
	\|- valign = top		\|- valign = top
	\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.		\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.
Line 34:		Line 34:
	\|- valign = top		\|- valign = top
	\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.		\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.
	\|By the above, and by that rule about the equivalences of propositions ~~of inherence~~ before <contradic>, after <contra>; and pre--post subordination, the equivalence of modal propositions can easily be known. And therefore, these things about their equivalences suffice.		\|By the above, and by that rule about the equivalences of assertoric propositions before <contradic>, after <contra>; and pre--post subordination, the equivalence of modal propositions can easily be known. And therefore, these things about their equivalences suffice.
	\|}		\|}
	==Notes==		==Notes==
	{{reflist}}		{{reflist}}
	[[Category:Untranslated]]		[[Category:Untranslated]]

Ragnarr49 at 23:16, 29 March 2025

2025-03-29T23:16:27Z

← Older revision		Revision as of 18:16, 29 March 2025
Line 13:		Line 13:
	\|- valign = top		\|- valign = top
	\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.		\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.
	\|And since it has been said that `impossible' is equivalent to `not possible', it can easily be known from the above to what the proposition about the impossible is equivalent, by putting `not possible' in the place of that mode `impossible'.		\|And since it has been said that 'impossible' is equivalent to 'not possible', it can easily be known from the above to what the proposition about the impossible is equivalent, by putting 'not possible' in the place of that mode 'impossible'.
	\|- valign = top		\|- valign = top
	\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.		\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.
	\|It should therefore be known that sometimes this mode is affirmed, namely in such a way that the negation does not negate it; as here: `it is impossible for every animal to be a man', `it is impossible for any animal to be a man'.		\|It should therefore be known that sometimes this mode is affirmed, namely in such a way that the negation does not negate it; as here: 'it is impossible for every animal to be a man', 'it is impossible for any animal to be a man'.
	\|- valign = top		\|- valign = top
	\|Quandoque autem est negatus per aliam negationem, sicut hic: `non impossibile est omne animal esse hominem', `non impossibile est omnem hominem currere'.		\|Quandoque autem est negatus per aliam negationem, sicut hic: `non impossibile est omne animal esse hominem', `non impossibile est omnem hominem currere'.
	\|But sometimes it is negated by another negation, as here `it is not impossible for every animal to be a man', `it is not impossible for every man to run'.		\|But sometimes it is negated by another negation, as here 'it is not impossible for every animal to be a man', 'it is not impossible for every man to run'.
	\|- valign = top		\|- valign = top
	\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.		\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.
	\|In the first case, namely when no negation denies the mode of impossibility, then that of the impossible is equivalent to one of ~~the necessary~~, just as that of ~~the possible~~, in which the mode is denied, is equivalent to one of ~~the necessary~~.		\|In the first case, namely when no negation denies the mode of impossibility, then that of the impossible is equivalent to one of necessity, just as that of possibility, in which the mode is denied, is equivalent to one of necessity.
	\|- valign = top		\|- valign = top
	\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.		\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.
	\|Hence, `it is impossible for every animal to be a man' is equivalent to `it is necessary for some animal not to be a man'; and `it is impossible for no animal to be a man' is equivalent to `it is necessary for some animal to be a man'; and `it is impossible for any animal to be a man' is equivalent to `it is necessary for no animal to be a man'; and `it is impossible for any animal not to be a man' is equivalent to `it is necessary for every animal to be a man'.		\|Hence, 'it is impossible for every animal to be a man' is equivalent to 'it is necessary for some animal not to be a man'; and 'it is impossible for no animal to be a man' is equivalent to 'it is necessary for some animal to be a man'; and 'it is impossible for any animal to be a man' is equivalent to 'it is necessary for no animal to be a man'; and 'it is impossible for any animal not to be a man' is equivalent to 'it is necessary for every animal to be a man'.
	\|- valign = top		\|- valign = top
	\|Si autem modus impossibilitatis sit negatus, tunc mutabitur modus impossibilitatis in modum possibilitatis; sicut ista `non impossibile est omne animal esse hominem' aequipollet isti `possibile est aliquod animal esse hominem'.		\|Si autem modus impossibilitatis sit negatus, tunc mutabitur modus impossibilitatis in modum possibilitatis; sicut ista `non impossibile est omne animal esse hominem' aequipollet isti `possibile est aliquod animal esse hominem'.
Line 34:		Line 34:
	\|- valign = top		\|- valign = top
	\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.		\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.
	\|By the above, and by that rule about the equivalences of propositions ~~about essence~~ before <contradic>, after <contra>; and pre--post subordination, the equivalence of modal propositions can easily be known. And therefore these things about their equivalences suffice.		\|By the above, and by that rule about the equivalences of propositions of inherence before <contradic>, after <contra>; and pre--post subordination, the equivalence of modal propositions can easily be known. And therefore, these things about their equivalences suffice.
	\|}		\|}
	==Notes==		==Notes==
	{{reflist}}		{{reflist}}
	[[Category:Untranslated]]		[[Category:Untranslated]]

Ragnarr49 at 09:22, 19 February 2025

2025-02-19T09:22:30Z

← Older revision		Revision as of 04:22, 19 February 2025
Line 7:		Line 7:
	\|- valign = top		\|- valign = top
	\|CAP. 16. DE AEQUIPOLLENTIA PROPOSITIONUM DE IMPOSSIBILI.		\|CAP. 16. DE AEQUIPOLLENTIA PROPOSITIONUM DE IMPOSSIBILI.
	\|		\|Chapter 16. On the equivalence of propositions about the impossible.
	\|- valign = top		\|- valign = top
	\|Circa propositiones de impossibili est primo sciendum quod nulla earum est prima, quia quaelibet illarum aequipollet opposito alicuius propositionis de possibili, et ideo de qualibet quaerendum est cui aequipolleat.		\|Circa propositiones de impossibili est primo sciendum quod nulla earum est prima, quia quaelibet illarum aequipollet opposito alicuius propositionis de possibili, et ideo de qualibet quaerendum est cui aequipolleat.
	\|		\|Regarding propositions about the impossible, it must first be known that none of them is first, because each of them is equivalent to the opposite of some proposition about the possible, and therefore we must inquire about each one to which it is equivalent.
	\|- valign = top		\|- valign = top
	\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.		\|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.
	\|		\|And since it has been said that `impossible' is equivalent to `not possible', it can easily be known from the above to what the proposition about the impossible is equivalent, by putting `not possible' in the place of that mode `impossible'.
	\|- valign = top		\|- valign = top
	\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.		\|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.
	\|		\|It should therefore be known that sometimes this mode is affirmed, namely in such a way that the negation does not negate it; as here: `it is impossible for every animal to be a man', `it is impossible for any animal to be a man'.
	\|- valign = top		\|- valign = top
	\|Quandoque autem est negatus per aliam negationem, sicut hic `non impossibile est omne animal esse hominem', `non impossibile est omnem hominem currere'.		\|Quandoque autem est negatus per aliam negationem, sicut hic: `non impossibile est omne animal esse hominem', `non impossibile est omnem hominem currere'.
	\|		\|But sometimes it is negated by another negation, as here `it is not impossible for every animal to be a man', `it is not impossible for every man to run'.
	\|- valign = top		\|- valign = top
	\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.		\|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p\|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.
	\|		\|In the first case, namely when no negation denies the mode of impossibility, then that of the impossible is equivalent to one of the necessary, just as that of the possible, in which the mode is denied, is equivalent to one of the necessary.
	\|- valign = top		\|- valign = top
	\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.		\|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.
	\|		\|Hence, `it is impossible for every animal to be a man' is equivalent to `it is necessary for some animal not to be a man'; and `it is impossible for no animal to be a man' is equivalent to `it is necessary for some animal to be a man'; and `it is impossible for any animal to be a man' is equivalent to `it is necessary for no animal to be a man'; and `it is impossible for any animal not to be a man' is equivalent to `it is necessary for every animal to be a man'.
	\|- valign = top		\|- valign = top
	\|Si autem modus impossibilitatis sit negatus, tunc mutabitur modus impossibilitatis in modum possibilitatis; sicut ista `non impossibile est omne animal esse hominem' aequipollet isti `possibile est aliquod animal esse hominem'.		\|Si autem modus impossibilitatis sit negatus, tunc mutabitur modus impossibilitatis in modum possibilitatis; sicut ista `non impossibile est omne animal esse hominem' aequipollet isti `possibile est aliquod animal esse hominem'.
	\|		\|But if the mode of impossibility is denied, then the mode of impossibility will be changed into the mode of possibility; just as `it is not impossible for every animal to be a man' is equivalent to `it is possible for some animal to be a man'.
	\|- valign = top		\|- valign = top
	\|Ex quo enim modus possibilitatis, quando negatur, debet mutari in modum necessitatis, et modus necessitatis, quando negatur, debet mutari in modum possibilitatis affirmatum, necesse est quod impossibile, quando negatur, mutetur in modum possibilitatis.		\|Ex quo enim modus possibilitatis, quando negatur, debet mutari in modum necessitatis, et modus necessitatis, quando negatur, debet mutari in modum possibilitatis affirmatum, necesse est quod impossibile, quando negatur, mutetur in modum possibilitatis.
	\|		\|For since the mode of possibility, when denied, must be changed into the mode of necessity, and the mode of necessity, when denied, must be changed into the mode of possibility affirmed, it is necessary that the impossible, when denied, be changed into the mode of possibility.
	\|- valign = top		\|- valign = top
	\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.		\|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.
	\|		\|By the above, and by that rule about the equivalences of propositions about essence before <contradic>, after <contra>; and pre--post subordination, the equivalence of modal propositions can easily be known. And therefore these things about their equivalences suffice.
	\|}		\|}
	==Notes==		==Notes==
	{{reflist}}		{{reflist}}
	[[Category:Untranslated]]		[[Category:Untranslated]]

Edward Ockham at 13:45, 13 June 2015

2015-06-13T13:45:32Z

New page

{{Nextpage|[[../Chapter 15|Chapter 15]]|[[../Chapter 17|Chapter 17]]}}

{| border=1 cellpadding=10
!valign = top width=45%|Latin
!valign = top width=55%|English
|- valign = top
|CAP. 16. DE AEQUIPOLLENTIA PROPOSITIONUM DE IMPOSSIBILI.
|
|- valign = top
|Circa propositiones de impossibili est primo sciendum quod nulla earum est prima, quia quaelibet illarum aequipollet opposito alicuius propositionis de possibili, et ideo de qualibet quaerendum est cui aequipolleat.
|
|- valign = top
|Et cum dictum sit quod `impossibile' aequivalet isti `non possibile', faciliter potest sciri per praedicta cui aequipollet propositio de impossibili, ponendo `non possibile' loco istius modi `impossibile'.
|
|- valign = top
|Est igitur sciendum quod quandoque iste modus est affirmatus, ita scilicet quod negatio non negat eum; sicut hic `impossibile est omne animal esse hominem', `impossibile est aliquod animal esse hominem'.
|
|- valign = top
|Quandoque autem est negatus per aliam negationem, sicut hic `non impossibile est omne animal esse hominem', `non impossibile est omnem hominem currere'.
|
|- valign = top
|In primo casu, quando scilicet nulla negatio negat modum impossibilitatis, tunc illa de impossibili aequipollet uni de ne{{p|649}}cessario, sicut illa de possibili, in qua modus negatur, aequipollet uni de necessario.
|
|- valign = top
|Unde ista `impossibile est omne animal esse hominem' aequipollet isti `necesse est aliquod animal non esse hominem'; et ista `impossibile est nullum animal esse hominem' aequipollet isti `necesse est aliquod animal esse hominem'; et ista `impossibile est aliquod animal esse hominem' aequipollet isti `necesse est nullum animal esse hominem'; et ista `impossibile est aliquod animal non esse hominem' aequipollet isti `necesse est omne animal esse hominem'.
|
|- valign = top
|Si autem modus impossibilitatis sit negatus, tunc mutabitur modus impossibilitatis in modum possibilitatis; sicut ista `non impossibile est omne animal esse hominem' aequipollet isti `possibile est aliquod animal esse hominem'.
|
|- valign = top
|Ex quo enim modus possibilitatis, quando negatur, debet mutari in modum necessitatis, et modus necessitatis, quando negatur, debet mutari in modum possibilitatis affirmatum, necesse est quod impossibile, quando negatur, mutetur in modum possibilitatis.
|
|- valign = top
|Per praedicta, et per illam regulam de aequipollentiis propositionum de inesse prae contradic, post contra; prae-post que subalter potest faciliter aequipollentia propositionum modalium sciri. Et ideo ista de aequipollentis earum sufficiant.
|
|}
==Notes==
{{reflist}}
[[Category:Untranslated]]